4836 nice but quintic(own) - 纯几何吧

level 13

◆qzc◆ 楼主

已知P,Q是三角形ABC的一对等角共轭点，Q_aQ_bQ_c为点Q关于三角形ABC的垂足三角形，R为Q关于三角形Q_aQ_bQ_c的等角共轭点，epsilon_Q为三角形Q_aQ_bQ_c的欧拉线，QR交epsilon_Q于点T，设O,K为三角形ABC的外心,陪位重心，Q/P为塞瓦商
证明：Q/P,O,P共线等价于T,K,P共线

2020年11月22日 03点11分 1