Maths Olympiad Prep

Library / CEMC Euclid /222 of 224

CEMC Euclid, 2025

Algebra Difficulty 4.2 AIME Prove it Canada

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

xxf(x)f(x)
1155
2233
3344
4411
5522

xxg(x)g(x)
1133
2211
3344
4455
5522

The functions f−1f^{-1} and g−1g^{-1} are the inverse functions of ff and gg, respectively. If f−1(g−1(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: x2−8xy+16y2amp;=0(log⁡10x)2+2(log⁡10x)(log⁡10y)+(log⁡10y)2amp;=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=g−1(a)b = g^{-1}(a). Since
f−1(b)=3f^{-1}(b) = 3, then b=f(3)=4b = f(3) = 4.

Since g−1(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(x - 4y)^2 = 0, from which we obtain x−4y=0x - 4y = 0 or x=4yx = 4y.

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

Using logarithm rules, log⁡10(xy)=±2\log_{10}(xy) = \pm 2 and so xy=102=100xy = 10^2 = 100
or xy=10−2=1100xy = 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 gt; 0\text{y gt; 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=15x = \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(x - 4y)^2 = 0, from which we obtain x−4y=0x - 4y = 0 or x=4yx = 4y.

The second equation can thus be rewritten successively as (log⁡10x)2+2(log⁡10x)(log⁡10y)+(log⁡10y)2amp;=4(log⁡104y)2+2(log⁡104y)(log⁡10y)+(log⁡10y)2amp;=4(log⁡104+log⁡10y)2+2(log⁡104+log⁡10y)(log⁡10y)+(log⁡10y)2amp;=4(log⁡104)2+2(log⁡10y)(log⁡104)+(log⁡10y)2+2(log⁡10y)2+2(log⁡10y)(log⁡104)+(log⁡10y)2amp;=44(log⁡10y)2+4(log⁡10y)(log⁡104)+(log⁡104)2−4amp;=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=log⁡10ya = \log_{10}y and b=log⁡102b = \log_{10}2. Then 2b=2log⁡102=log⁡1022=log⁡1042b = 2\log_{10}2 = \log_{10}2^2 = \log_{10}4.

We can rewrite the last equation above as 4a2+8ab+4b2−4amp;=0a2+2ab+b2amp;=1(a+b)2amp;=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, log⁡10y+log⁡102=−1\log_{10}y + \log_{10}2 = -1
or log⁡10y+log⁡102=1\log_{10}y + \log_{10}2 = 1,
which simplify to give log⁡102y=−1\log_{10}2y = -1 or log⁡102y=1\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(x - 4y)^2 = 0, from which we obtain x−4y=0x - 4y = 0 or x=4yx = 4y.

The second equation can thus be rewritten successively as (log⁡10x)2+2(log⁡10x)(log⁡10y)+(log⁡10y)2amp;=4(log⁡104y)2+2(log⁡104y)(log⁡10y)+(log⁡10y)2amp;=4(log⁡104+log⁡10y)2+2(log⁡104+log⁡10y)(log⁡10y)+(log⁡10y)2amp;=4(log⁡104)2+2(log⁡10y)(log⁡104)+(log⁡10y)2+2(log⁡10y)2+2(log⁡10y)(log⁡104)+(log⁡10y)2amp;=44(log⁡10y)2+4(log⁡10y)(log⁡104)+(log⁡104)2−4amp;=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=log⁡10yc = \log_{10}y and d=log⁡104d = \log_{10}4. We can rewrite the last equation above as 4c2+4cd+d2−4amp;=04c2+4cd+d2amp;=4(2c+d)2amp;=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, 2log⁡10y+log⁡104=−22\log_{10}y + \log_{10}4 = -2
or 2log⁡10y+log⁡104=22\log_{10}y + \log_{10}4 = 2.

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

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

Since y gt; 0\text{y gt; 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,604 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.