用极坐标法证明两条直线垂直

由平面直角坐标和极坐标的互化公式x=ρcosθ、y=ρsinθ,可得极坐标系中两点P_1(ρ_1,θ_1)、P_2(ρ_2,θ_2)所决定的直线的斜率公式为: K_(p_1P_2)=(ρ_2sinθ_2)-ρ_1sinθ_1)/(ρ_2cosθ_2)-ρ_1cosθ_1)。本文拟应用这一公式来证明平面几何中有关直线互相垂直的一些问题。