>>32
完成
https://i.imgur.com/6SD0vOj.png

垂線の足の長さを出す関数もRでは自作したがWolframには
PointLineDistanceというのがそれに相当。