如图，三角形ABC三边上分别有点D,E,F，点A,B,C关于三角形DEF的正对应极点分别为T1,T2,T3，满足AT1,BT2,CT3共点于V，V关于三角形ABC的等角共轭点为U，三角形DEF的重心为G'，三角形ABC的外心、重心、共轭重心分别为O,G,K，G关于三角形ABC外接圆的反演点为G''，M为VG'无穷远点关于三角形ABC的等角共轭点，点W满足(有向角)∠WOG=∠MUG，∠WG''O=∠(OK,VG'). 设F1,F2是三角形DEF的内切Steiner椭圆的焦点，证明：WVF1F2是调和四边形.
_________
一直想把这个命题改得更好看但没成功
