设O为坐标原点,P1(x1,y1)和P2(x2,y2)为单位圆上两点,且∠P1OP2=θ,求证:x1x2+y1y2=co