nisbatan proporsional bo'laklarga bo'lsa, и holda bu kesma shu burchak
bissektrisasidir.
Agar biz to 'g 'ri teoremaning shartini
r
va uning xulosasim
q
desak, u holda
yuqoridagi teorema turlari uchun quyidagi simvolik ifodalar o' rinlidir:
1)
r
=>
q
(to'g'ri teorema);
2) q
=>
r
(teskari teorema);
3)
p ~> q
(to'g'ri teoremaga qarama-qarshi teorema);
4
) q => p
(teskari teoremaga qarama-qarshi teorema).
Quyidagi teoremani to 'g 'ri teorema deb olib, unga nisbatan yuqoridagi
teoremaning turlarini qo'llasak, bunday teoremalar hosil bo'ladi:
1)
Agar to'rtburchak paralellogramm bo'lsa, uning diagonali kesishish
nuqtasida teng ikkiga bo linadi, ya ’n ip -> q .
2)
Agar to rtburchanning diagonallari kesishish nuqtasida teng ikkiga bo 'linsa,
и holda bu to 'rtburchakparalellogrammdir, ya ’ni p=> q
3)
A gar to'rtburchak paralellogramm bo'lmasa, uning diagonallari kesishish
nuqtasida teng ikkiga bo linmaydi, ya ni p
=>
q .
4)
Agar to'rtburchakning diogonali kesishib
,
teng ikkiga bo'Iinmasa, и holda
bunday to 'rtburchakparalelogramm emas, ya ni q => p .
Bu misoldan к о 'rinadiki, agar to 'g 'ri teoremani shart Va xulosalarga ajratish
mumkin bo'lsa, u holda ana shu to 'g 'ri teoremaga
teskari, qarama-qarshi hamda
to 'g 'ri teoremadan hosil qilingan teskari teoremaga qarama-qarshi teoremalami
hosil qilish mumkin.
