Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Тіктөртбұрыш дегеніміз - төртбұрыш тең және бұрыштары тең және параллель қарама-қарсы жақтары.
Сондықтан диагональ осы геометриялық пішінді екі бұрышты үшбұрышқа бөледі. Бұл сегменттің мәнін тіктөртбұрыштың тиісті жақтарының квадраттарының қосындысының квадрат түбірі арқылы табуға болатындығы белгілі болды (Пифагор теоремасы бойынша).
Тіктөртбұрыштың диагоналы кішкентай латынша d немесе екі үлкен әріптермен, диагоналды қосатын шыңдармен белгіленеді.
Шеңбер сипатталған тіктөртбұрыштың диагональ ұзындығы осы шеңбердің диаметріне тең.
