пусть m – точка пересечения диагоналей ac и bd четырёхугольника abcd. применим неравенство треугольника к треугольникам abc, adc, bad и bcd: ac < ab + bc, ac < da + dc, bd < ab + ad, bd < cb + cd. сложив эти четыре неравенства, получим: 2(ac + bd) < 2(ab + bc + cd + ad).
запишем неравенства треугольника для треугольников amb, bmc, cmd и amd: am + mb > ab, bm + mc > bc, mc + md > cd, ma + md > ad. сложив эти неравенства, получим: 2(ac + bd) > ab + bc + cd + ad.
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.