Theorem 13.1.4 ,math 9th class

Hy!
Steemit friends!

I am sharing the solution of theorem 13.1.4.The statement of theorem is
From a point outside a line,the perpendicular is a shortest distance from the point to the line.

The solution is

Thanks...