Olympiad Maths Prep

Track / Stage 6 / 117 of 400 #1117 of 2000

Problem 1117

National olympiad, first round
Geometry Difficulty 6.1 Prove it

1. The lengths of the sides of a rectangle are odd numbers. Prove that in this rectangle, there does not exist a point whose distance to each vertex is equal to a natural number.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Solution. Let the odd numbers aa and bb be the lengths of the sides of a given rectangle. Suppose there is a point TT inside the rectangle such that the distance from TT to each vertex of the rectangle is an integer. Let x1x_{1} and x2x_{2} be the distances from point TT to the sides of length bb, and y1y_{1} and y2y_{2} be the distances from point TT to the sides of length aa. Then a=x1+x2,b=y1+y2a=x_{1}+x_{2}, b=y_{1}+y_{2}, and the numbers

dij=xi2+yj2,i,j{1,2} d_{i j}=\sqrt{x_{i}^{2}+y_{j}^{2}}, i, j \in\{1,2\}

are integers. We introduce the notations: ai=abxi,bj=abyja_{i}=a b x_{i}, b_{j}=a b y_{j}, where i,j{1,2}i, j \in\{1,2\} and

A1=a1a2,A2=a1+a2,B1=b1b2,B2=b1+b2 A_{1}=a_{1}-a_{2}, A_{2}=a_{1}+a_{2}, B_{1}=b_{1}-b_{2}, B_{2}=b_{1}+b_{2}

Then

A1=ab(x1x2)=b(x12x22)=b((x12+y12)(x22+y12))A2=ab(x1+x2)=a2bB1=ab(y1y2)=a(y12y22)=a((x12+y12)(x22+y22))B2=ab(y1+y2)=ab2 \begin{aligned} & A_{1}=a b\left(x_{1}-x_{2}\right)=b\left(x_{1}^{2}-x_{2}^{2}\right)=b\left(\left(x_{1}^{2}+y_{1}^{2}\right)-\left(x_{2}^{2}+y_{1}^{2}\right)\right) \\ & A_{2}=a b\left(x_{1}+x_{2}\right)=a^{2} b \\ & B_{1}=a b\left(y_{1}-y_{2}\right)=a\left(y_{1}^{2}-y_{2}^{2}\right)=a\left(\left(x_{1}^{2}+y_{1}^{2}\right)-\left(x_{2}^{2}+y_{2}^{2}\right)\right) \\ & B_{2}=a b\left(y_{1}+y_{2}\right)=a b^{2} \end{aligned}

so A1A_{1} and B1B_{1} are integers, and A2A_{2} and B2B_{2} are odd numbers.

Suppose each of the numbers a1,a2,b1,b2a_{1}, a_{2}, b_{1}, b_{2} is an integer. Since A2A_{2} and B2B_{2} are odd numbers, we get that exactly one of the numbers a1,a2a_{1}, a_{2} and exactly one of the numbers b1,b2b_{1}, b_{2} is odd. Let, for example, a1a_{1} and b1b_{1} be odd numbers. Then

a121(mod4),b121(mod4)a12+b12a2b2(x12+y12)=(dijab)22(mod4) \begin{aligned} & a_{1}^{2} \equiv 1(\bmod 4), b_{1}^{2} \equiv 1(\bmod 4) \\ & a_{1}^{2}+b_{1}^{2} \equiv a^{2} b^{2}\left(x_{1}^{2}+y_{1}^{2}\right)=\left(d_{i j} a b\right)^{2} \equiv 2(\bmod 4) \end{aligned}

which is a contradiction. Therefore, at least one of the numbers a1,a2,b1,b2a_{1}, a_{2}, b_{1}, b_{2} is not an integer. Since

2a1=A1+A2,2a2=A2A1,2b1=B1+B2,2b2=B2B1, 2 a_{1}=A_{1}+A_{2}, 2 a_{2}=A_{2}-A_{1}, 2 b_{1}=B_{1}+B_{2}, 2 b_{2}=B_{2}-B_{1},

we conclude that at least one of the numbers 2a1,2a2,2b1,2b22 a_{1}, 2 a_{2}, 2 b_{1}, 2 b_{2} is odd. Let, for example, 2a12 a_{1} be an odd number. Then

(2a1)2+(2b1)2=4(a12+b12)=4a2b2(x12+y12)=4a2b2d112 \left(2 a_{1}\right)^{2}+\left(2 b_{1}\right)^{2}=4\left(a_{1}^{2}+b_{1}^{2}\right)=4 a^{2} b^{2}\left(x_{1}^{2}+y_{1}^{2}\right)=4 a^{2} b^{2} d_{11}^{2}

i.e.

(2b1)2=4a2b2d112(2a1)21(mod4) \left(2 b_{1}\right)^{2}=4 a^{2} b^{2} d_{11}^{2}-\left(2 a_{1}\right)^{2} \equiv-1(\bmod 4)

which is a contradiction. Finally, from the obtained contradiction, the statement of the problem follows.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.