Twierdzenie o prostopadłości najkrótszego odcinka łączącego punkt z prostą

Najkrótszy odcinek łączący punkt $P$P z prostą $k$k jest do niej prostopadły.