Maths Olympiad Prep

Library / /3 of 15

Geometry Difficulty 4.5 AIME Prove it United States

Problem:

In triangle ABCA B C, the bisector of B\angle B meets the circumcircle of ABC\triangle A B C at DD. Prove that
BD2>BABC B D^{2}>B A \cdot B C

Solution

Solution:

In the diagram, ABD=DBC\angle A B D = \angle D B C (angle bisector) and BAC=BDC\angle B A C = \angle B D C (both intercept arc BCB C), so BAEBDC\triangle B A E \sim \triangle B D C. We get
BABE=BDBCBDBE=BABC, \begin{aligned} \frac{B A}{B E} & = \frac{B D}{B C} \\ B D \cdot B E & = B A \cdot B C, \end{aligned}
from which the desired inequality follows since BE<BDB E < B D.

Figure 1

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.