Raudvara: defineerimine ja tõestamine
2) viiakse läbi arutlus kasutades vajadusel aksioome või varem tõestatud teoreeme;
3) arutluse tulemusel jõutakse järelduseni, et väite eitamine on võimatu, sest viib
vastuollu kas teoreemi eelduse või tuntud tõdedega;
4) tehakse kokkuvõte, et kuna väite eitus ei kehti, siis kehtib väide ise.
5.kahe sirge lõikamine sirgega ja sirgete paralleelsuse tunnused.
Kaht nurka, mille sisepiirkonnad on ühel pool
lõikajat nimetatakse sisenurkkadeks näiteks nurgad 4 ja 5. Lähisnurkkadeks nimetatakse
nurkki, mille sisepiirkonnad asuvad uhel ja samal pool lõikajat näiteks: nurgad 1 ja 2.
Kaasnurkkadeks nimetatakse nurkki mis on ühel ja samal pool nurgapoolitajat ja on võrdsed.
Kaasnurgad on näiteks nurgad 2 ja 6. Kui poolitada kaks sirget s ja t tekib nende vahel 8
nurkka . Põiknurgad asetevad nurgapoolitajast erinrvatel pooltel. Kui põiknurgad on võrded,
on sirged paralleelsed
annaabi.ee 
