定义在区间(0,π/2)上的函数y=2cosx的图像与y=3tanx的图像的交点为P,过点P做PP1⊥x轴与点P1,直线