MathDB
Area inequality

Source: Kvant Magazine No. 10 2022 M2720

March 8, 2023
Kvantgeometryareas

Problem Statement

Let Ω\Omega be the circumcircle of the triangle ABCABC. The points Ma,MbM_a,M_b and McM_c are the midpoints of the sides BC,CABC, CA and ABAB{}, respectively. Let Al,BlA_l, B_l and ClC_l be the intersection points of Ω\Omega with the rays McMb,MaMcM_cM_b, M_aM_c and MbMaM_bM_a respectively. Similarly, let Ar,BrA_r, B_r and CrC_r be the intersection points of Ω\Omega with the rays MbMc,McMaM_bM_c, M_cM_a and MaMbM_aM_b respectively. Prove that the mean of the areas of the ​​triangles AlBlClA_lB_lC_l and ArBrCrA_rB_rC_r is not less than the area of the ​​triangle ABCABC.
Proposed by L. Shatunov and T. Kazantseva