Maths Olympiad Prep

Library / /46 of 47

, 2025

Algebra Difficulty 4.2 AIME Prove it Canada

The functions ff and gg are defined by the tables of values
below:

xx
f(x)f(x)

11
55

22
33

33
44

44
11

55
22

xx
g(x)g(x)

11
33

22
11

33
44

44
55

55
22

The functions f1f^{-1} and g1g^{-1} are the inverse functions of ff and gg, respectively. If f1(g1(a))=3f^{-1}(g^{-1}(a)) = 3, what is the value
of aa?
Determine all pairs (x,y)(x,y) of real numbers that satisfy the
following system of equations: x28xy+16y2=0(log10x)2+2(log10x)(log10y)+(log10y)2=4\begin{align*} x^2 - 8xy + 16y^2 & = 0 \\ (\log_{10}x)^2 + 2(\log_{10}x)(\log_{10}y) + (\log_{10}y)^2 & = 4\end{align*}

Solution

Let b=g1(a)b = g^{-1}(a). Since
f1(b)=3f^{-1}(b) = 3, then b=f(3)=4b = f(3) = 4.

Since g1(a)=b=4g^{-1}(a) = b = 4, then a=g(4)=5a= g(4) = 5.
Solution 1:

The first equation can be rewritten as $(x
- 4y)^2 = 0,fromwhichweobtain, from which we obtain x
- 4y = 0or or x = 4y$.

The second equation can be rewritten as (log10x+log10y)2=4(\log_{10}x + \log_{10}y)^2 = 4, from
which we obtain $log10x+log10y=±\$\log_{10}x + \log_{10}y = \pm 2$.

Using logarithm rules, $log10(xy)=±\$\log_{10}(xy) = \pm
2andso and so xy = 10^2 = 100$
or $xy = 102=1100$.10^{-2} = \frac{1}{100}\$.

Since x=4yx = 4y, then 4y2=1004y^2 = 100 or 4y2=11004y^2 = \frac{1}{100}, which gives y2=25y^2 = 25 or y2=1400y^2 = \frac{1}{400}.

Since y>0y > 0 (because of the
domain of a logarithm), then y=5y = 5
or y=120y = \frac{1}{20}.

Since x=4yx = 4y, then x=20x = 20 or $x =
15$.\frac{1}{5}\$.

Therefore, (x,y)=(20,5)(x,y) = (20, 5) or (15,120)(\frac{1}{5}, \frac{1}{20}).

Solution 2:

The first equation can be rewritten as $(x
- 4y)^2 = 0,fromwhichweobtain, from which we obtain x
- 4y = 0or or x = 4y$.

The second equation can thus be rewritten successively as (log10x)2+2(log10x)(log10y)+(log10y)2=4(log104y)2+2(log104y)(log10y)+(log10y)2=4(log104+log10y)2+2(log104+log10y)(log10y)+(log10y)2=4(log104)2+2(log10y)(log104)+(log10y)2+2(log10y)2+2(log10y)(log104)+(log10y)2=44(log10y)2+4(log10y)(log104)+(log104)24=0\begin{align*} (\log_{10}x)^2 + 2(\log_{10}x)(\log_{10}y) + (\log_{10}y)^2 & = 4\\ (\log_{10}4y)^2 + 2(\log_{10}4y)(\log_{10}y) + (\log_{10}y)^2 & = 4\\ (\log_{10}4 + \log_{10}y)^2 + 2(\log_{10}4 + \log_{10}y)(\log_{10}y) + (\log_{10}y)^2 & = 4\\ (\log_{10}4)^2 + 2(\log_{10}y)(\log_{10}4) + (\log_{10}y)^2 + 2(\log_{10}y)^2 + 2(\log_{10}y)(\log_{10}4) + (\log_{10}y)^2 & = 4\\ 4(\log_{10}y)^2 + 4(\log_{10}y)(\log_{10}4) + (\log_{10}4)^2 - 4 & = 0 \\\end{align*} Let $a =
log10y\log_{10}yand and b =
log102\log_{10}2.Then. Then 2b = 2log102=log1022=log104$.2\log_{10}2 = \log_{10}2^2 = \log_{10}4\$.

We can rewrite the last equation above as 4a2+8ab+4b24=0a2+2ab+b2=1(a+b)2=1\begin{align*} 4a^2 + 8ab + 4b^2 - 4 & = 0 \\ a^2 + 2ab +b^2 & = 1\\ (a+b)^2 & = 1 \end{align*} and so a+b=1a + b = -1 or a+b=1a + b = 1

Thus, log10y+log102=1\log_{10}y + \log_{10}2 = -1
or log10y+log102=1\log_{10}y + \log_{10}2 = 1,
which simplify to give $log102y\$\log_{10}2y =
-1or or log102y\log_{10}2y =
1$.

This means that 2y=1102y = \frac{1}{10}
or 2y=102y = 10, and so y=120y = \frac{1}{20} or y=5y = 5.

Since x=4yx = 4y, then (x,y)=(20,5)(x,y) = (20, 5) or (15,120)(\frac{1}{5}, \frac{1}{20}).

Solution 3:

The first equation can be rewritten as $(x
- 4y)^2 = 0,fromwhichweobtain, from which we obtain x
- 4y = 0or or x = 4y$.

The second equation can thus be rewritten successively as (log10x)2+2(log10x)(log10y)+(log10y)2=4(log104y)2+2(log104y)(log10y)+(log10y)2=4(log104+log10y)2+2(log104+log10y)(log10y)+(log10y)2=4(log104)2+2(log10y)(log104)+(log10y)2+2(log10y)2+2(log10y)(log104)+(log10y)2=44(log10y)2+4(log10y)(log104)+(log104)24=0\begin{align*} (\log_{10}x)^2 + 2(\log_{10}x)(\log_{10}y) + (\log_{10}y)^2 & = 4\\ (\log_{10}4y)^2 + 2(\log_{10}4y)(\log_{10}y) + (\log_{10}y)^2 & = 4\\ (\log_{10}4 + \log_{10}y)^2 + 2(\log_{10}4 + \log_{10}y)(\log_{10}y) + (\log_{10}y)^2 & = 4\\ (\log_{10}4)^2 + 2(\log_{10}y)(\log_{10}4) + (\log_{10}y)^2 + 2(\log_{10}y)^2 + 2(\log_{10}y)(\log_{10}4) + (\log_{10}y)^2 & = 4\\ 4(\log_{10}y)^2 + 4(\log_{10}y)(\log_{10}4) + (\log_{10}4)^2 - 4 & = 0 \\\end{align*} Let $c =
log10y\log_{10}yand and d =
log104\log_{10}4. We can rewrite the last equation above as $4c2+4cd+d24=04c2+4cd+d2=4(2c+d)2=4\begin{align*} 4c^2 + 4cd + d^2 - 4 & = 0 \\ 4c^2 + 4cd + d^2 & = 4 \\ (2c+d)^2 & = 4\end{align*} and so 2c+d=22c + d = -2 or 2c+d=22c + d = 2

Thus, 2log10y+log104=22\log_{10}y + \log_{10}4 = -2
or $2log10y+log104\$2\log_{10}y + \log_{10}4 =
2$.

These simplify to give $log10(4y2)\$\log_{10}(4y^2) =
-2or or log10(4y2)\log_{10}(4y^2) =
2$.

This means that $4y^2 =
1100\frac{1}{100}or or 4y^2 =
100,andso, and so y = ±120\pm \frac{1}{20}or or y = ±\pm
5$.

Since y>0y > 0 and x=4yx = 4y, then (x,y)=(20,5)(x,y) = (20, 5) or (15,120)(\frac{1}{5}, \frac{1}{20}).

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

Source: CEMC, University of Waterloo, licensed CC-BY-NC-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.