Maths Olympiad Prep

Library / Philippine Mathematical Olympiad /110 of 114

Philippine Mathematical Olympiad

Algebra Difficulty 7.4 National Olympiad, round 2 Prove it Philippines

Problem:
How many real numbers xx satisfy the equation
(∣x2−12x+20∣log⁡x2)−1+log⁡x=∣x2−12x+20∣1+log⁡(1/x)? \left(\left|x^{2}-12 x+20\right|^{\log x^{2}}\right)^{-1+\log x}=\left|x^{2}-12 x+20\right|^{1+\log (1 / x)} ?

Solution

Solution:
Let A=∣x2−12x+20∣A = |x^2 - 12x + 20|.

The equation is:
(Alog⁡x2)−1+log⁡x=A1+log⁡(1/x) \left(A^{\log x^2}\right)^{-1 + \log x} = A^{1 + \log(1/x)}

First, A≥0A \geq 0 and x≠0x \neq 0 (since log⁡x2\log x^2 is defined for x≠0x \neq 0).

Also, log⁡x\log x is defined for x>0x > 0.

So, x>0x > 0.

Now, log⁡(1/x)=−log⁡x\log(1/x) = -\log x, so 1+log⁡(1/x)=1−log⁡x1 + \log(1/x) = 1 - \log x.

The equation becomes:
(Alog⁡x2)−1+log⁡x=A1−log⁡x \left(A^{\log x^2}\right)^{-1 + \log x} = A^{1 - \log x}

Recall that Alog⁡x2=A2log⁡x=(Alog⁡x)2A^{\log x^2} = A^{2 \log x} = (A^{\log x})^2.

So,
((Alog⁡x)2)−1+log⁡x=A1−log⁡x \left((A^{\log x})^2\right)^{-1 + \log x} = A^{1 - \log x}
(Alog⁡x)2(−1+log⁡x)=A1−log⁡x (A^{\log x})^{2(-1 + \log x)} = A^{1 - \log x}
A2(−1+log⁡x)log⁡x=A1−log⁡x A^{2(-1 + \log x) \log x} = A^{1 - \log x}

If A=0A = 0, then ∣x2−12x+20∣=0  ⟹  x2−12x+20=0  ⟹  x=2|x^2 - 12x + 20| = 0 \implies x^2 - 12x + 20 = 0 \implies x = 2 or x=10x = 10.

Check x=2x = 2:
A=0A = 0, log⁡x=log⁡2>0\log x = \log 2 > 0, log⁡x2=2log⁡2>0\log x^2 = 2 \log 2 > 0.

Left side: 0something0^{\text{something}} is 00 if exponent >0> 0, 11 if exponent =0= 0, undefined if exponent <0< 0.

But A=0A = 0, so 0something0^{\text{something}} is 00 if exponent >0> 0.

Right side: 01−log⁡20^{1 - \log 2}. 1−log⁡2<11 - \log 2 < 1, so exponent <1< 1.

But 0a=00^a = 0 for a>0a > 0, undefined for a≤0a \leq 0.

So, x=2x = 2 and x=10x = 10 do not give valid solutions.

Now, for A>0A > 0, A≠0A \neq 0:

Since A>0A > 0, AkA^k is defined for all real kk.

So, equate exponents:

If A≠1A \neq 1, then Ap=Aq  ⟹  p=qA^p = A^q \implies p = q.

So,
2(−1+log⁡x)log⁡x=1−log⁡x 2(-1 + \log x) \log x = 1 - \log x
Let y=log⁡xy = \log x (so x>0x > 0):

2(y−1)y=1−y2(y - 1)y = 1 - y

2y2−2y=1−y2y^2 - 2y = 1 - y

2y2−2y+y−1=02y^2 - 2y + y - 1 = 0

2y2−y−1=02y^2 - y - 1 = 0

2y2−y−1=02y^2 - y - 1 = 0

Solve for yy:

y=1±1+84=1±34y = \frac{1 \pm \sqrt{1 + 8}}{4} = \frac{1 \pm 3}{4}

So y=1y = 1 or y=−12y = -\frac{1}{2}.

So log⁡x=1  ⟹  x=10\log x = 1 \implies x = 10, log⁡x=−12  ⟹  x=10−1/2=1/10\log x = -\frac{1}{2} \implies x = 10^{-1/2} = 1/\sqrt{10}.

Recall A=∣x2−12x+20∣A = |x^2 - 12x + 20|.

If A=1A = 1, then Ap=AqA^p = A^q for any p,qp, q.

So, A=1  ⟹  ∣x2−12x+20∣=1A = 1 \implies |x^2 - 12x + 20| = 1.

x2−12x+20=1x^2 - 12x + 20 = 1 or x2−12x+20=−1x^2 - 12x + 20 = -1

x2−12x+19=0x^2 - 12x + 19 = 0

x=6±36−19=6±17x = 6 \pm \sqrt{36 - 19} = 6 \pm \sqrt{17}

x2−12x+21=0x^2 - 12x + 21 = 0

x=6±36−21=6±15x = 6 \pm \sqrt{36 - 21} = 6 \pm \sqrt{15}

But x>0x > 0.

So, possible xx values:
6+176 + \sqrt{17}, 6−176 - \sqrt{17}, 6+156 + \sqrt{15}, 6−156 - \sqrt{15}.

Check if these are positive:
17≈4.12\sqrt{17} \approx 4.12, 6−4.12=1.88>06 - 4.12 = 1.88 > 0
15≈3.87\sqrt{15} \approx 3.87, 6−3.87=2.13>06 - 3.87 = 2.13 > 0

So all four are positive.

Now, check if x=10x = 10 or x=1/10x = 1/\sqrt{10} gives A=1A = 1.

For x=10x = 10:
A=∣100−120+20∣=∣0∣=0≠1A = |100 - 120 + 20| = |0| = 0 \neq 1

For x=1/10x = 1/\sqrt{10}:
x2=1/10x^2 = 1/10, x2−12x+20=1/10−12/10+20x^2 - 12x + 20 = 1/10 - 12/\sqrt{10} + 20

This is not ±1\pm 1.

So, x=10x = 10 and x=1/10x = 1/\sqrt{10} are not among the A=1A = 1 solutions.

Now, check if A>0A > 0 for x=1/10x = 1/\sqrt{10}:
x=1/10x = 1/\sqrt{10}, x2=1/10x^2 = 1/10, x2−12x+20=1/10−12/10+20x^2 - 12x + 20 = 1/10 - 12/\sqrt{10} + 20

12/10≈12/3.16≈3.812/\sqrt{10} \approx 12/3.16 \approx 3.8

So 1/10−3.8+20≈0.1−3.8+20=16.31/10 - 3.8 + 20 \approx 0.1 - 3.8 + 20 = 16.3

So A>0A > 0.

So, x=1/10x = 1/\sqrt{10} is valid.

So, the solutions are:

- x=1/10x = 1/\sqrt{10}
- x=6+17x = 6 + \sqrt{17}
- x=6−17x = 6 - \sqrt{17}
- x=6+15x = 6 + \sqrt{15}
- x=6−15x = 6 - \sqrt{15}

Total: 55 real numbers xx.

Answer: 5\boxed{5}

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.