Defineerimine ja tõestamine
väide on tõene.
Teoreem : Kui punkt asetseb lõigu keskristsirgel, siis see punkt on lõigu otspunktidest
võrdsetel kaugustel.
Eeldus: Lõik AB, keskristsirge KO ja sellel
punkt O
Väide: AO = OB
4. PÖÖRDTEOREEM
* Lauset, mis saadakse eelduse ja väite vahetamisel antud lauses nimetatakse selle
lause pöördteoreemiks.
Teoreem: Kui nelinuga küljed on võrdsed, siis selle nelinurga diagonaalid ristuvad.
Eeldus: Nelinurga küljed on võrdsed.
Väide: Nelinurga diagonaalid ristuvad.
Pöördteoreem: Kui nelinurga diagonaalid ristuvad, siis selle nelinurga kõik küljed
on võrdsed.
- See lause pole tõene, sest leidub selliseid nelinurki, mille diagonaalid ristuvad,
kuid küljed ei ole võrdsed. Seega see lause ei ole teoreem.
6