使用变换投影面法求点K到ΔDEF之间的距离，需要经过二次变换，把ΔDEF变换为投影面的垂直面