Алпысов А.Қ. Математиканы оқыту әдістемесі оқу құралы Павлодар, 2012

Әрбір теорема өзінің шартын (Р) және қорытындысын (Q) қамтиды. Мәселен, «Вертикаль бұрыштар тең» теоремасында «Вертикаль бұрыштар» - шарты, ал «тең» қорытындысы. Осы теоремаға «егер ... , онда ... » тіркестерін пайдаланып, тұжырымын басқаша, келісімді (силлогизм) түрде беруге болады, яғни «Егер бұрыштар вертикаль болса, онда олар тең болады». Бұл тұжырымның ерекшелігі, теореманың шарты (егер...) мен қорытындысы (онда ...) бір–бірінен ерекшеленіп тұрады. Кейбір жағдайларда теореманы

«Егер..., онда...» тіркестерінсіз тұжырымдауға болады. Мұндай тұжырымдарды кесімді тұжырымдау дейді. Кесімді тұжырымдау әдетте қысқа, ыңғайлы болып келеді. Теореманың тұжырымын логикалық тілде былай жазады: Р (шарт)  Q (қорытынды).

Ал теореманы дәлелдеу дегеніміз Р шартты ақиқат деп алып, Q қорытындының ақиқаттығын логикалық жолмен көрсету.

Теоремалар тура, кері, қарама - қарсы және кері теоремаға қарама –

қарсы теорема түрінде кездеседі. Алғашқы теореманы тура теорема (Р  Q)

деп алсаң, онда берілген теоремаға кері теорема деп тура теореманың шартын қорытындысымен, ал қорытындысын шартымен ауыстырудан

шыққан теореманы айтамыз (Q  P).

қорытындысын тікелей бекерге шығарудан алынған теорема (P  Q).

Қарама–қарсы теоремаға кері теорема деп оның шарты мен

қорытындысын бекерге шығарудан алынған теореманы айтамыз (Q  P) .

Жалпы алғанда, тура теорема дұрыс болғанда, оған кері теорема мен қарама–қарсы теорема әрдайым дұрыс бола бермейді. Келтірілген мысалда, тура теорема дұрыс та кері теорема жалған. Шынында, тік төртбұрыштың диагональдары тең. Бірақ ол тең бүйірлі трапеция емес. Сондай–ақ мысалдағы қарама–қарсы теорема да жалған, өйткені тік төртбұрыш тең бүйірлі трапеция бола алмайды, бірақ оның диагональдары тең. Ал кері теоремаға қарама–қарсы теорема әрдайым тура теоремамен мәндес болады. Осы сияқты, кері теорема мен қарама–қарсы теорема да мәндес болады. Кері және қарама–қарсы теоремаларды дәлелдеудің маңызы зор. Сондай–ақ

олардың дәлелдеуін игерудің мәні ерекше. Біз кері теореманы дәлелдеудің әр түрлі әдістеріне мысалдар келтірейік.

Дәлелдеудің бірінші тәсілі –кері теореманы тура дәлелдеу.