250 в параллелограмме abcd проведены параллельные прямые ae и cf. будет ли четырёхугольник aecf параллелограммом? ​

Проведем из вершины  отрезки  , где точка  пересечение с окружностью. Обозначим точку перпендикуляра  с    . 
Получим  четырехугольник  , который вписан  в окружность. 
По теореме Птолемея , так как        лежит  на центре    , то треугольники   прямоугольные. 
. 
Откуда  при подстановке получаем соотношение 
. 
Так как 
Четырехугольник прямоугольник. 
Заметим что  - высота прямоугольного треугольника 
, тогда 
.
Откуда по Теореме Пифагора 
  , так как   является высотой  прямоугольного  треугольника   , то 
  
 тогда 
  

Доказательство утверждения  проводится следующим образом. Сначала принимают предположение, что утверждение  неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .

В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.