Om биссектриса угла o, сторона ma перпендикулярна стороне oa, а сторона mb перпендикулярна стороне ob. доказать что сторона ma равна стороне mb

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

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

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