定义在区间上的函数y=6cosx的图像与y=5tanx的图像的交点为P，过点P作PP₁⊥x轴于点P₁，直线PP₁与y=sinx的图像交于点P₂,则线段P₁P₂的长为___________。

科目 数学   题型 填空题   难度 中等

知识点： 多面角及多面角的性质