定义在区间(0,π2)上的函数y=6cosx的图象与y=5tanx的图象的交点为P,过点P作PP1⊥x轴于点P1,直线P