This question was asked in Theorem 10.1
Why perpendicular is the smallest line in theorem 1 


Gurpreet Singh's image