Maths Olympiad Prep

Library / China Western Mathematical Olympiad /19 of 51

China Western Mathematical Olympiad

Geometry Difficulty 5.8 AIME, harder Prove it China

In an isosceles right angled triangle △ABC\triangle ABC, CA=CB=1CA = CB = 1, and PP is an arbitrary point on the perimeter of △ABC\triangle ABC. Find the maximum value of PA⋅PB⋅PCPA \cdot PB \cdot PC. (posed by Li Weigu)

Solution

(1) In the first diagram, if P∈ACP \in AC, we have PA⋅PC≤14PA \cdot PC \le \frac{1}{4} and PB≤2PB \le \sqrt{2}. Thus PA⋅PB⋅PC≤24PA \cdot PB \cdot PC \le \frac{\sqrt{2}}{4}. The equality is not valid, since the two equality signs cannot be valid at the same time. Therefore PA⋅PB⋅PC<24PA \cdot PB \cdot PC < \frac{\sqrt{2}}{4}.

Figure 1

(2) In the second diagram, if P∈ABP \in AB, write AP=x∈[0,2]AP = x \in [0, \sqrt{2}], then

Figure 2

Let t=x(2−x)t = x(\sqrt{2} - x), then t∈[0,12]t \in [0, \frac{1}{2}] and f(x)=g(t)=t2(1−t)f(x) = g(t) = t^2(1-t).

Note that g′(t)=2t−3t2=t(2−3t)g'(t) = 2t - 3t^2 = t(2 - 3t). Thus g(t)g(t) is increasing on [0,23][0, \frac{2}{3}] and f(x)≤g(12)=18f(x) \le g(\frac{1}{2}) = \frac{1}{8}. Therefore PA⋅PB⋅PC≤122=24PA \cdot PB \cdot PC \le \frac{1}{2\sqrt{2}} = \frac{\sqrt{2}}{4}. The equality is valid if and only if t=12t = \frac{1}{2} and x=22x = \frac{\sqrt{2}}{2}. So PP is the midpoint of ABAB.

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

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