RU-ALLRUSSIAN 1973 Problem 9
ABC is an acute- angled triangle. D is the reflection of A in BC, E is the reflection of B in AC, and F is the reflection of C in AB. Show that the circumcircles of DBC, ECA, FAB meet at a point and that the lines AD, BE, CF meet at a point.
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.