Esistenza e unicità della perpendicolare condotta di un punto