MathDB
Show inequality in triangle

Source: 51 Polish MO 2000 Second Round - Problem 2

April 23, 2018
geometrycircumcircleGeometry inequalitygeometric inequalityPoland

Problem Statement

Bisector of angle BACBAC of triangle ABCABC intersects circumcircle of this triangle in point DAD \neq A. Points KK and LL are orthogonal projections on line ADAD of points BB and CC, respectively. Prove that ADBK+CLAD \ge BK + CL.