Proof of foot of perpendicular, image and length of perpendicular

 Proof of foot of perpendicular of a point to a line, image of a point with respect to line and length of perpendicular from a point to a line.