Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Полученный теуг-к АМВ- прямоугольный (Угол АМВ=90). Угол АВМ является смежным данному углу АВС, значит АВМ=180-120=60. Угол МАВ=180-(60+90)=30. А в прямоугольном треуг-ке катет, лежащий против угла 30 градусов равен половине гипотенузы, значит, ВМ=1/2АВ=1/2 *18=9
ответ: ВМ=9см.