高一数学必修四三角恒等变换设a∈[0,2π],向量0P1=(cosa,sina),向量OP2=(3-cosa,4-sin