MathDB
16Q^3 >= 27r^4P

Source: IMO Shortlist 1989, Problem 6, ILL 14

September 18, 2008
geometrycircumcirclegeometric inequalityarea of a triangleIMO Shortlist

Problem Statement

For a triangle ABC, ABC, let k k be its circumcircle with radius r. r. The bisectors of the inner angles A,B, A, B, and C C of the triangle intersect respectively the circle k k again at points A,B, A', B', and C. C'. Prove the inequality
16Q327r4P, 16Q^3 \geq 27 r^4 P,
where Q Q and P P are the areas of the triangles ABC A'B'C' and ABCABC respectively.