Triangle ABC has circumcircle (O,R), and orthocenter H. The symmedians through A,B,C meet the perpendicular bisectors of BC,CA,AB at D,E,F respectively. Let M,N,P be the perpendicular projections of H on the line OD,OE,OF. Prove that R2OH2=ODOM+OEON+OFOP
Đỗ Thanh Sơn geometrycircumcirclesymmedianperpendicular bisector