Maths Olympiad Prep

Library / /52 of 86

Number theory Difficulty 6.3 National olympiad Prove it Estonia

Find all positive integers kk for which there is a right triangle with legs of integral lengths and hypotenuse of length 888222\sqrt{88\ldots822\ldots2}, where the number under the root consists of exactly kk eights and exactly kk twos.

Solutions — 2

Solution 1

Let the lengths of legs be aa and bb. By the Pythagorean theorem,
a2+b2=888222. a^2 + b^2 = 88\ldots822\ldots2.
If k=1k=1 then one can choose a=9a=9 and b=1b=1 as 92+12=829^2 + 1^2 = 82. If k2k \ge 2 then 8882226(mod8)88\ldots822\ldots2 \equiv 6 \pmod{8} since 8226(mod8)822 \equiv 6 \pmod{8} and 2226(mod8)222 \equiv 6 \pmod{8}. On the other hand, the residues of a2a^2 and b2b^2 modulo 88 can be 00, 11, or 44. However, the sum of such two numbers can have residue 00, 11, 22, 44, or 55 modulo 88. Consequently, a2+b2=888222a^2 + b^2 = 88\ldots822\ldots2 cannot hold for k2k \ge 2.

Solution 2

Let the lengths of legs be aa and bb. By the Pythagorean theorem,
a2+b2=888222. a^2 + b^2 = 88\ldots822\ldots2.
If k=1k=1 then one can choose a=9a=9 and b=1b=1 as 92+12=829^2 + 1^2 = 82. Assume in the rest that k2k \ge 2. It is known that a positive integer is expressible as the sum of two squares of integers if and only if its canonical representation contains primes congruent to 33 modulo 44 only with even exponents. Note that 888222=244411188\ldots822\ldots2 = 2 \cdot 44\ldots411\ldots1, where only the odd second factor can be divisible by primes congruent to 33 modulo 44. If all such primes would occur with even exponents in the canonical representation of 44411144\ldots411\ldots1, this number itself would be congruent to 11 modulo 44, but actually 4441113(mod4)44\ldots411\ldots1 \equiv 3 \pmod{4}. This shows that right triangles with the required property cannot exist in the case k2k \ge 2.

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.