Из центра O правильного шестиугольника ABCDEF восстановлен перпендикуляр OK к его плоскости. Точка K соединена с серединой M стороны BC шестиугольника. Докажите, что прямые KM и AD перпендикулярны.​

Для доказательства того, что прямые KM и AD перпендикулярны, нам потребуется использовать свойства и особенности правильного шестиугольника.

Давайте рассмотрим шестиугольник ABCDEF с центром O. Восстановим перпендикуляр OK из центра O к его плоскости. Затем проведем отрезок KM, соединяющий точку K (которая лежит на перпендикуляре OK) с серединой M стороны BC шестиугольника.

Для начала, обратим внимание на свойство правильного шестиугольника, которое гласит, что все его стороны равны между собой. В нашем случае это значит, что AB = BC = CD = DE = EF = FA.

Также, из свойства правильного шестиугольника следует, что все его углы равны между собой. Это обозначает, что угол BAC = угол CBD = угол CDE = угол DEF = угол EFA = угол FAB. Мы обозначим этот угол как α.

Поскольку M - это середина стороны BC, то BM = MC. Теперь давайте рассмотрим треугольник BKM, в котором у нас есть две равные стороны: BM = MC и угол BKM, который равен 90 градусам (так как KM - перпендикуляр к стороне BC). Следовательно, треугольник BKM является прямоугольным.

Теперь давайте рассмотрим треугольник AMD. Как мы знаем, угол BAC = α. Также, поскольку шестиугольник правильный, угол ADC также равен α. Таким образом, углы BAD и BAC также равны α (как внутренние углы на параллельных прямых AD и BC, пересекаемых прямой AB).

Затем рассмотрим треугольник AMD. У нас есть две пары равных углов: BAD = BAC = α и угол ADM = угол ADC = α (так как угол ADC является внешним углом для треугольника ADM). Таким образом, треугольник AMD является прямоугольным.

Теперь обратимся к треугольникам BKM и AMD. Мы доказали, что оба треугольника являются прямоугольными. Кроме того, у них есть общий угол α. Но в прямоугольном треугольнике с общим углом, остальные углы будут суммироваться до 90 градусов.

Таким образом, углы BKM и AMD суммируются до 90 градусов. Но это означает, что прямые KM и AD перпендикулярны.

Таким образом, мы доказали, что прямые KM и AD перпендикулярны друг другу.