Problème proposé par Pierre Renfer
Soient ABC un triangle scalène, O le centre de son cercle circonscrit et ω le centre de son cercle d’Euler.
Soient F₁ et F₂ les deux points de Fermat.
Montrer que les quatre points O, ω, F₁, F₂ sont cocycliques.

Nota:
1er point de Fermat: voir https://mathworld.wolfram.com/FirstFermatPoint.html
2ème point de Fermat: voir https://mathworld.wolfram.com/SecondFermatPoint.html

 Solution