Maths Olympiad Prep

Library / /12 of 14

Number theory Difficulty 6.9 National olympiad Prove it Greece

(α) Write the expression A=k4+4A = k^4 + 4, where kk is a positive integer, as a product of two factors each of them being a sum of two squares of integers.

(β) Simplify the expression
K=(24+14)(44+14)(64+14)((2n)4+14)(14+14)(34+14)(54+14)((2n1)4+14) K = \frac{\left(2^4 + \frac{1}{4}\right)\left(4^4 + \frac{1}{4}\right)\left(6^4 + \frac{1}{4}\right) \cdots \left((2n)^4 + \frac{1}{4}\right)}{\left(1^4 + \frac{1}{4}\right)\left(3^4 + \frac{1}{4}\right)\left(5^4 + \frac{1}{4}\right) \cdots \left((2n-1)^4 + \frac{1}{4}\right)}
and write it as a sum of the squares of two successive integers.

Solution

(α) We have
k4+4=(k2)2+4k2+224k2=(k2+2)2(2k)2=(k2+22k)(k2+2+2k)=[(k1)2+12][(k+1)2+12]. \begin{aligned} k^4 + 4 &= (k^2)^2 + 4k^2 + 2^2 - 4k^2 = (k^2 + 2)^2 - (2k)^2 \\ &= (k^2 + 2 - 2k)(k^2 + 2 + 2k) = [(k-1)^2 + 1^2][(k+1)^2 + 1^2]. \end{aligned}

(β) We multiply both terms of the fraction by (24)n(2^4)^n, to receive:
K=(24+14)(44+14)(64+14)[(2n)4+14](14+14)(34+14)(54+14)[(2n1)4+14]=(32+1)(52+1)(72+1)(92+1)(112+1)[(4n3)2+1][(4n1)2+1][(4n+1)2+1](12+1)(32+1)(52+1)(72+1)(92+1)(112+1)(132+1)[(4n3)2+1][(4n1)2+1]=(4n+1)2+112+1=8n2+4n+1=4n2+4n2+4n+1=(2n)2+(2n+1)2. \begin{aligned} K &= \frac{\left(2^4 + \frac{1}{4}\right)\left(4^4 + \frac{1}{4}\right)\left(6^4 + \frac{1}{4}\right) \cdots \left[(2n)^4 + \frac{1}{4}\right]}{\left(1^4 + \frac{1}{4}\right)\left(3^4 + \frac{1}{4}\right)\left(5^4 + \frac{1}{4}\right) \cdots \left[(2n-1)^4 + \frac{1}{4}\right]} \\ &= \frac{(3^2 + 1)(5^2 + 1)(7^2 + 1)(9^2 + 1)(11^2 + 1) \cdots [(4n-3)^2 + 1][(4n-1)^2 + 1][(4n+1)^2 + 1]}{(1^2 + 1)(3^2 + 1)(5^2 + 1)(7^2 + 1)(9^2 + 1)(11^2 + 1)(13^2 + 1) \cdots [(4n-3)^2 + 1][(4n-1)^2 + 1]} \\ &= \frac{(4n+1)^2 + 1}{1^2 + 1} = 8n^2 + 4n + 1 = 4n^2 + 4n^2 + 4n + 1 = (2n)^2 + (2n+1)^2. \end{aligned}

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.