Построение сводится к проведению перпендикуляра из точки к прямой.
Из вершины А, как из центра, раствором циркуля, равным АС, делаем насечку на стороне ВС. Обозначим эту точку К.
∆ КАС- равнобедренный с равными сторонами АК=АС.
Разделив КС пополам, получим точку М, в которой медиана ∆ КАС пересекается с основанием КС. Т.к. в равнобедренном треугольнике медиана=биссектриса=высота, отрезок АМ будет искомой высотой.
Для этого из точек К и С, как из центра, одним и тем же раствором циркуля ( больше половины КС) проведем две полуокружности. Соединим точки их пересечения с А.
Отрезок АМ разделил КС пополам и является искомой высотой ∆ АВС из вершины угла А.
Две прямые, параллельные третьей, параллельны.
Это свойство называется транзитивностью параллельности прямых.
Доказательство
Пусть прямые a и b одновременно параллельны прямой c. Допустим, что a не параллельна b, тогда прямая a пересекается с прямой b в некоторой точке A, не лежащей на прямой c по условию. Следовательно, мы имеем две прямые a и b, проходящие через точку A, не лежащую на данной прямой c, и одновременно параллельные ей. Это противоречит аксиоме 3.1. Теорема доказана.
аксиома 3.1Через точку, не лежащую на данной прямой, можно провести прямую, параллельную данной, и притом только одну.
