一个证明垂直的几何题。如何用解析几何方法做？

TSC999

一个平几证明题如下图。如何用解析几何方法做？ 可以借助于 mathematica 进行符号计算。