Tangent lines and perpendicularity