У колі з радіусами АО і ОВ пряма а проходить через середини радіусів так, що ОЕ = ОА/4. Оскільки відстань - це перпендикуляр, маємо прямокутний трикутник КОЕ та РОЕ. З прямокутного трикутника КОЕ: ОК = ОА/2, ОЕ = ОА/4. Тобто, катет ОЕ у два рази менший за гіпотенузу ОК. Катет, що дорівнює половині гіпотенузи, лежить проти кута 30 градусів. Тобто, кут ОКЕ = 30 градусів. Кут КОЕ = 90 - 30 = 60 градусів. Трикутники КОЕ та РОЕ рівні за прямим кутом та гіпотенузою, тобто кути КОЕ та РОЕ рівні і дорівнюють по 60 градусів. Кут АОВ = <KOE + <POE = 60 + 60 = 120 градусів.
Из любой точки, не лежащей на данной прямой, можно опустить на эту прямую перпендикуляр, и притом только один.
Доказательство: предположим, что на плоскости, которой принадлежат и прямая, и точка, таких перпендикуляров существует два. Поскольку точка вне прямой принадлежит обоим перпендикулярам, получаем треугольник с вершиной в этой точке и основанием, расположенном на прямой. Так как оба перпендикуляра составляют с прямой углы по 90° (углы при основании треугольника) плюс угол при вершине, то сумма внутренних углов такого треугольника получается больше 180°, - а это на плоскости осуществить невозможно. Следовательно, наше предположение о том, что через одну точку к данной прямой на плоскости можно провести больше одного перпендикуляра, - не верно и такой перпендикуляр существует только один. Теорема доказана.
PS построения не сложные. - прямая, 2 точки на ней, одна точка вне прямой и два отрезка, соединяющие эту точку с точками на прямой..))) Но, если очень надо, - то файлик внизу с рисунком..)) И еще. Упоминание о том, что все это происходит на плоскости, - желательно. Дело в том, что всем нам с детства знакомы меридианы на географической сетке Земного шара. Так вот каждый меридиан перпендикулярен экватору, и все меридианы сходятся аж в двух точках : в Северном и Южном полюсах
