Maths Olympiad Prep

Track / Stage 7 / 48 of 300 #1448 of 1964

Problem 1448

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.1 Prove it

15. Let DD be a point inside an acute ABC\triangle ABC. Prove that: DADBAB+DBDCBC+DCDACAABBCCAD A \cdot D B \cdot A B + D B \cdot D C \cdot B C + D C \cdot D A \cdot C A \geqslant A B \cdot B C \cdot C A, equality holds if and only if DD is the orthocenter of ABC\triangle ABC. (1998 CMO

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

ADEFA D E F are all parallelograms.

Connecting BFB F and AEA E, it is clear that BCAFB C A F is also a parallelogram, thus, \square
AF=ED=BC,EF=AD,EB=CD,BF=ACA F=E D=B C, E F=A D, E B=C D, B F=A C

In quadrilaterals ABEFA B E F and AEBDA E B D, by Ptolemy's inequality we get
ABEF+AFBEAEBFBDAE+ADBEABED\begin{array}{l} A B \cdot E F+A F \cdot B E \geqslant A E \cdot B F \\ \quad B D \cdot A E+A D \cdot B E \geqslant A B \cdot E D \end{array}

That is
ABAD+BCCDAEACBDAE+ADCDABBC\begin{array}{l} A B \cdot A D+B C \cdot C D \geqslant A E \cdot A C \\ B D \cdot A E+A D \cdot C D \geqslant A B \cdot B C \end{array}

Thus, from equations (1) and (2) we can obtain
DADBAB+DBDCBC+DCDACA=DB(ABAD+BCCD)+DCDACADBAEAC+DCDAAC=AC(BDAE+ADCD)ACABBC\begin{array}{l} D A \cdot D B \cdot A B+D B \cdot D C \cdot B C+D C \cdot D A \cdot C A= \\ D B(A B \cdot A D+B C \cdot C D)+D C \cdot D A \cdot C A \geqslant \\ D B \cdot A E \cdot A C+D C \cdot D A \cdot A C= \\ A C(B D \cdot A E+A D \cdot C D) \geqslant \\ A C \cdot A B \cdot B C \end{array}

Therefore, the inequality is proved, and the equality holds if and only if the equalities in equations (1) and (2) hold simultaneously, i.e., the equality holds if and only if ABEFA B E F and AEBDA E B D are both cyclic quadrilaterals. This means the equality holds if and only if AFEBDA F E B D is a cyclic pentagon. Since AFEDA F E D is a parallelogram, the condition is equivalent to AFEDA F E D being a rectangle (i.e., ADBCA D \perp B C) and ABE=ADE=90\angle A B E=\angle A D E=90^{\circ}, which is also equivalent to ADBCA D \perp B C and CDABC D \perp A B. Therefore, the necessary and sufficient condition for the equality in the original inequality to hold is that DD is the orthocenter of ABC\triangle A B C.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.