Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
1) Сумма углов треугольника 180°. В ∆ АВС угол В=180°-50°-60°=70°. В ∆ А1В1С1 угол А1=180°-708-608=50°. Треугольники АВС и А1В1С1 подобны по равенству всех углов.
2) По условию АС║BD, АВ и СD - секущие. Образовавшиеся при пересечении секущими параллельных прямых накрестлежащие углы равны. ⇒ ∠СAО=∠DBO=61°. Треугольники АОС и BOD подобны по равенству накрестлежащих углов, а стороны, содержащие вертикальные углы при О - пропорциональны. k=АО:ВО=12:4=3, k=СО:DO=30:10=3. Отношение площадей подобных фигур равно квадрату коэффициента их подобия. S(AOC):S(BOD)=k²=3²=9
