обозначим точку пересечения секущей с m буквой о, а биссектрису большего угла буквой n.
оn делит его на два равных угла, и половина его с острым углом составляет
94 градуса.
отсюда вторая половина ( половина закрашенного розовым цветом угла) равна 180 - 94=86 градусов.
весь тупой угол равен 86*2=172 градуса.
с острым углом он составляет развернутый угол и поэтому
острый угол равен 8 градусов.
так как прямые m и n параллельны, секущая со второй прямой образует углы той же градусной меры.
т.е. тупые углы равны 172 градуса, острые - 8 градусов.
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
