Теорема: если при пересечении двух прямых секущей накрест лежащие углы равны, то прямые параллельны пусть при пересечении прямых а и b секущей ав накрест лежащие углы равны. например, ∠ 4 = ∠ 6. докажем, что а || b. предположим, что прямые а и b не параллельны. тогда они пересекаются в некоторой точке м и, следовательно, один из углов 4 или 6 будет внешним углом треугольника авм. пусть для определенности ∠ 4 — внешний угол треугольника авм, а ∠ 6 — внутренний. из теоремы о внешнем угле треугольника следует, что ∠ 4 больше ∠ 6, а это противоречит условию, значит, прямые а и 6 не могут пересекаться, поэтому они параллельны.
Для доказательства равенства отрезков следует доказать равенство треугольников, образованных указанными отрезками, высотой равнобедренного треугольника,которая как раз соединяет вершину равнобедренного треугольника и середину основания, и сторонами равносторонних треугольников, построенных на сторонах равнобедренного треугольника. Доказательство проводится через признак равенства треугольников по двум сторонам и углу между ними. Стороны равны по условию и построению, а углы равны по условию и по тому, что высота в равнобедренном треугольнике является также и биссектрисой.
