MathDB
BE + CF \geq 2EF

Source: 10.3 of XX Geometrical Olympiad in honour of I.F.Sharygin

August 7, 2024
geogeometryInequality

Problem Statement

Let BEBE and CFCF be the bisectors of a triangle ABCABC. Prove that 2EFBF+CE2EF \leq BF + CE.