1) Прямая АС касается окружности с центром О в точке А. Найдите угол BAC, если угол AOB=108 градусом 2) Прямые АС и AB касаются окружности с центром О в точках С и В соответственно. Найдите угол ВАС, если угол СОВ=122 градусом
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Периметр треугольника равен сумме длин всех трех сторон, т. к. треугольник равносторонний, то каждая из сторон равна 6/3=2. Высота равностороннего прямоугольника делит его на два равных прямоугольных треугольника. Гипотенуза получившегося прямоугольного треугольника равна стороне исходного (равностороннего треугольника) =2. Один из катетов получившегося треугольника = высоте, другой=2/2.По теореме Пифагора находим неизвестный катет (высоту исходного треугольника) =корень квадратный из (2*2+1*1)=корень квадратный из (3).Высота равна корень квадратный из (3)
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.