Teorema dell’esistenza e dell’unicità della perpendicolare