Maths Olympiad Prep

Library / /470 of 520

Geometry Difficulty 7.5 National olympiad, round 2 Find the answer

In isosceles right-angled triangle ABCABC, CA=CB=1CA = CB = 1. PP is an arbitrary point on the sides of ABCABC. Find the maximum of PAPBPCPA \cdot PB \cdot PC.

A number or a short expression. Spacing and $ signs are ignored.

Solution

Given an isosceles right-angled triangle ABCABC with CA=CB=1CA = CB = 1, we need to find the maximum value of PAPBPCPA \cdot PB \cdot PC where PP is an arbitrary point on the sides of ABC\triangle ABC.

1. **Case 1: PBCP \in BC**

Let PC=xPC = x. Then PB=1xPB = 1 - x.

Using the Pythagorean theorem in CPA\triangle CPA:
PA2=PC2+CA2=x2+1    PA=x2+1 PA^2 = PC^2 + CA^2 = x^2 + 1 \implies PA = \sqrt{x^2 + 1}

Therefore, the product is:
PAPBPC=x(1x)x2+1 PA \cdot PB \cdot PC = x(1 - x)\sqrt{x^2 + 1}

We need to maximize the function h(x)=x(1x)x2+1h(x) = x(1 - x)\sqrt{x^2 + 1} for x[0,1]x \in [0, 1].

2. **Case 2: PABP \in AB**

Let PHACPH \perp AC with HACH \in AC. Let CH=xCH = x. Then HA=PH=1xHA = PH = 1 - x.

Using the Pythagorean theorem in CPH\triangle CPH:
PC2=CH2+PH2=x2+(1x)2=x2+12x+x2=2x22x+1 PC^2 = CH^2 + PH^2 = x^2 + (1 - x)^2 = x^2 + 1 - 2x + x^2 = 2x^2 - 2x + 1

Since PHA\triangle PHA is a 45-45-90 triangle:
PA=2HA=2(1x) PA = \sqrt{2} \cdot HA = \sqrt{2}(1 - x)
Similarly,
PB=2x PB = \sqrt{2} \cdot x

Therefore, the product is:
PAPBPC=2x(1x)2x22x+1 PA \cdot PB \cdot PC = 2x(1 - x) \sqrt{2x^2 - 2x + 1}

To find the maximum, we define:
f(x)=2x(1x),g(x)=2x22x+1 f(x) = 2x(1 - x), \quad g(x) = 2x^2 - 2x + 1

The product function is:
F(x)=f(x)g(x) F(x) = f(x) \sqrt{g(x)}

Notice that:
g(x)+f(x)=2x22x+1+2x(1x)=1    g(x)=1f(x) g(x) + f(x) = 2x^2 - 2x + 1 + 2x(1 - x) = 1 \implies g(x) = 1 - f(x)

Differentiating F(x)F(x):
F(x)=f(x)g(x)+f(x)g(x)2g(x) F'(x) = f'(x) \sqrt{g(x)} + f(x) \frac{g'(x)}{2\sqrt{g(x)}}
F(x)=f(x)g(x)f(x)f(x)2g(x) F'(x) = f'(x) \sqrt{g(x)} - f(x) \frac{f'(x)}{2\sqrt{g(x)}}
F(x)=f(x)[g(x)f(x)2g(x)] F'(x) = f'(x) \left[\sqrt{g(x)} - \frac{f(x)}{2\sqrt{g(x)}}\right]
F(x)=f(x)[2g(x)f(x)2g(x)] F'(x) = f'(x) \left[\frac{2g(x) - f(x)}{2\sqrt{g(x)}}\right]
F(x)=f(x)[2(1f(x))f(x)2g(x)] F'(x) = f'(x) \left[\frac{2(1 - f(x)) - f(x)}{2\sqrt{g(x)}}\right]
F(x)=f(x)[23f(x)2g(x)] F'(x) = f'(x) \left[\frac{2 - 3f(x)}{2\sqrt{g(x)}}\right]

Since 23f(x)2g(x)\frac{2 - 3f(x)}{2\sqrt{g(x)}} is always positive, we have:
F(x)=0    f(x)=0 F'(x) = 0 \implies f'(x) = 0

Solving f(x)=24x=0f'(x) = 2 - 4x = 0:
x=12 x = \frac{1}{2}

At x=12x = \frac{1}{2}:
f(12)=12,g(12)=12 f\left(\frac{1}{2}\right) = \frac{1}{2}, \quad g\left(\frac{1}{2}\right) = \frac{1}{2}

Therefore:
F(12)=1222=24 F\left(\frac{1}{2}\right) = \frac{1}{2} \cdot \frac{\sqrt{2}}{2} = \frac{\sqrt{2}}{4}

3. **Comparison of h(x)h(x) and F(x)F(x)**

We need to show h(x)<F(x)h(x) < F(x) for x(0,1)x \in (0, 1):
h(x)<F(x)    x(1x)x2+1<2x(1x)2x22x+1 h(x) < F(x) \implies x(1 - x)\sqrt{x^2 + 1} < 2x(1 - x) \sqrt{2x^2 - 2x + 1}
Dividing by the positive x(1x)x(1 - x):
x2+1<22x22x+1 \sqrt{x^2 + 1} < 2 \sqrt{2x^2 - 2x + 1}
Squaring both sides:
x2+1<4(2x22x+1) x^2 + 1 < 4(2x^2 - 2x + 1)
Simplifying:
x2+1<8x28x+4 x^2 + 1 < 8x^2 - 8x + 4
0<7x28x+3 0 < 7x^2 - 8x + 3

The discriminant of 7x28x+37x^2 - 8x + 3 is:
D=82473=6484=20<0 D = 8^2 - 4 \cdot 7 \cdot 3 = 64 - 84 = -20 < 0

Therefore, 7x28x+37x^2 - 8x + 3 is always positive, confirming h(x)<F(x)h(x) < F(x) for x(0,1)x \in (0, 1).

Hence, the maximum value of PAPBPCPA \cdot PB \cdot PC for all possible positions of PP is F(12)=24F\left(\frac{1}{2}\right) = \frac{\sqrt{2}}{4}.

The final answer is 24\boxed{\frac{\sqrt{2}}{4}}.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.