Propietà rette perpendicolari