MathDB
Circumcenter becomes orthocenter

Source: Kvant Magazine No. 1 2023 M2732

March 7, 2023
Kvantgeometry

Problem Statement

Let OO{} be the circumcenter of the triangle ABCABC. On the rays ACAC and BCBC consider the points CaC_a and CbC_b respectively, such that ACaAC_a and BCbBC_b are equal in length to ABAB. Let OcO_c{} be the circumcenter of the triangle CCaCbCC_aC_b. Define the points OaO_a{} and ObO_b{} similarly. Prove that OO{} is the orthocenter of the triangle OaObOcO_aO_bO_c.
Proposed by A. Zaslavsky