Maths Olympiad Prep

Library / /91 of 101

Geometry Difficulty 7.4 National olympiad, round 2 Prove it Estonia

A beetle is creeping on the coordinate plane, starting from point (0;1)(0; -1), along a straight line until reaching the xx-axis at point (x;0)(-x; 0) where xx is a positive real number. After that it turns 9090^\circ to the right and creeps again along a straight line until reaching the yy-axis. Then it again turns right by 9090^\circ and creeps along a straight line until reaching the xx-axis, where it once more turns right by 9090^\circ and creeps along a straight line until reaching the yy-axis.

a) Can it happen that both the length of the beetle's journey and the distance between its initial and final point are rational numbers?

b) Can it happen that both the length of the beetle's journey and the distance between its initial and final point are integers?

Solution

Let OO be the origin of coordinates. Let A0A_0 be the starting point of the beetle's journey, A1A_1 the first turning point, A2A_2 the second turning point, A3A_3 the third turning point and A4A_4 the endpoint (see figure below).

Figure 1

The right triangles OA0A1OA_0A_1 and OA1A2OA_1A_2 are similar with ratio xx because OA1A2=90OA1A0=OA0A1\angle OA_1A_2 = 90^\circ - \angle OA_1A_0 = \angle OA_0A_1 and OA1OA0=x\frac{OA_1}{OA_0} = x. So are the triangles OA1A2OA_1A_2 and OA2A3OA_2A_3 similar with ratio xx since OA2OA1=x\frac{OA_2}{OA_1} = x by similarity of the triangles OA0A1OA_0A_1 and OA1A2OA_1A_2. Analogously, the triangles OA2A3OA_2A_3 and OA3A4OA_3A_4 are similar with ratio xx. Consequently, OA2=x2OA_2 = x^2, OA3=x3OA_3 = x^3 and OA4=x4OA_4 = x^4.

By the Pythagorean theorem, the length of the beetle's journey is 1+x2+x2+x4+x4+x6+x6+x8\sqrt{1+x^2} + \sqrt{x^2+x^4} + \sqrt{x^4+x^6} + \sqrt{x^6+x^8}, or equivalently, (1+x+x2+x3)1+x2(1+x+x^2+x^3)\sqrt{1+x^2} which equals (x41)x2+1x1(x^4-1) \cdot \frac{\sqrt{x^2+1}}{x-1} if x1x \neq 1. On the other hand, the distance between A0A_0 and A4A_4 is x41|x^4-1|.

a) Taking x=43x = \frac{4}{3}, the number x41x^4 - 1 is rational, since xx is rational. As 1+x2=1+169=53\sqrt{1+x^2} = \sqrt{1+\frac{16}{9}} = \frac{5}{3}, the number (x41)x2+1x1(x^4-1) \cdot \frac{\sqrt{x^2+1}}{x-1} is also rational.

b) Assume that the distance between A0A_0 and A4A_4 is an integer; then x4x^4 is an integer. Suppose that (x41)x2+1x1(x^4-1) \cdot \frac{\sqrt{x^2+1}}{x-1}, the length of the beetle's journey, is also an integer (one can assume x1x \neq 1 since otherwise the length of the journey is 424\sqrt{2} that is not an integer). As x41x^4 - 1 is an integer, the number x2+1x1\frac{\sqrt{x^2+1}}{x-1} must be rational. Consider three cases.

1) If xx is an integer then x1x-1 is integer whence x2+1\sqrt{x^2+1} must be rational and x2+1x^2+1 must be a perfect square. This is impossible as two consecutive positive integers cannot be perfect squares.

2) Suppose that xx is irrational and x2x^2 is an integer. As x2+1(x1)2\frac{x^2+1}{(x-1)^2} is the square of a rational number, so is also (x1)2x2+1\frac{(x-1)^2}{x^2+1}. Hence 2xx2+1\frac{2x}{x^2+1} must be rational. But this is impossible, since 2x2x is irrational and x2+1x^2+1 is an integer.

3) Let x2x^2 be irrational. Similarly to the previous case we see that 2xx2+1\frac{2x}{x^2+1} is rational. Hence 4x2(x2+1)2\frac{4x^2}{(x^2+1)^2} is the square of a rational number, implying that (x2+1)24x2\frac{(x^2+1)^2}{4x^2} is rational. The latter in turn implies that x4+14x2\frac{x^4+1}{4x^2} must be rational. This is impossible as 4x24x^2 is irrational and x4+1x^4+1 is a positive integer.

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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.