Prove that perpendicular is the shortest distance