Построение с циркуля и линейки.
а) биссектрисы АК.
Применим известный метод построения срединного перпендикуляра ( деления отрезка пополам).
Из вершины А,как из центра, на сторонах АВ и АС отмечаем циркулем равные отрезки АЕ и АТ.
Из т.т. Е и Т как из центров проводим полуокружности. Соединим точки их пересечения прямой. Они пройдут через А и пересекут ВС в точке К.
АК - биссектриса, т.к. треугольник АЕТ - равнобедренный по построению, АК - срединный перпендикуляр, для равнобедренного треугольника он медиана и биссектриса.
б) медианы ВМ
Для построения медианы ВМ по вышеописанному методу находим середину АС и соединяем с вершиной В.
в) высоты СН.
Для построения высоты находим точку О - середину АС. Из нее как из центра проводим окружность радиусом АО. АО=ОС, АС - диаметр. Точка пересечения окружности с АВ - основание высоты СН, т.к. вписанный угол АНС опирается на диаметр и равен 90°.
Высота построена.
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
