Дана правильная четырехугольная пирамида

. Её боковое ребро равно

, основание -

.

- середина

. Как найти расстояние от

до

?

Я думал решать это так: провести перпендикуляр из

на плоскость

. У нас правильная пирамида, и аналогичный перпендикуляр из

попадет в точку пересечения диагоналей. Судя по всему (построил в геогебре) перпендикуляр из

тоже попадает на середину отрезка AF на диагонали. Далее мы из середины AF проводим перпендикуляр на

, получаем треугольник (красный), он прямоугольный, из планиметрии можем найти две его стороны, отсюда находим расстояние.
Как доказать, что перпендикуляр из
на плоскость попадет на диагональ?