请输入要查询的词条内容：
三角形ABC外接圆O，取圆O上任意异于A B C的一点P，过P做三边的垂线（或延长线的垂线）PG PF PE，则（离P最近的一边长/此边到P距离）=（另一边的边长/另一边到P的距离）+（第3边的边长/第3边到P的距离）
西姆线定理_在线百科全书查询
