Yuqoridagi ta’rifdan ko'rinadiki, isbotlashning
bilvosita usulida biz oldin
teorema tasdiqlagan fikrga qarama-qarshi fikmi to 'g 'ri deb faraz qilamiz: shundan
keyin aksiomalar va oldin isbotlangan teoremalarga asoslanib
mulohazalar yuritish
yo'li bilan teorema shartiga zid keladigan yoki biror aksiomaga yoki ilgari
isbotlangan biror teoremaga zid keladigan xulosaga kelamiz. Shunga ko'ra farazimiz
noto'g'ri bo'ladi. Natijada teoremadagi yoki berilgan masaladagi da’vo to 'g 'ri
degan
xulosaga kelamiz.
Bilvosita isbotlash ikki xil usul bilan amalga oshiriladi:
1) Apagogik usul.
2) Ajratish usul.
Apagogik usul ko'pincha teskarisidan faraz qilish metodi deb ham yuritiladi
Quyidagi teoremani apagogik -
