MathDB
AD + DC>= AB if CD = BC = BE and ABCD is convex with E =AC\cap BD

Source: 2023 IGO Elementary P4

January 18, 2024
geometrygeometric inequality

Problem Statement

Let ABCDABCD be a convex quadrilateral. Let EE be the intersection of its diagonals. Suppose that CD=BC=BECD = BC = BE. Prove that AD+DCABAD + DC\ge AB.
Proposed by Dominik Burek - Poland