Intereting Posts

Evaluate $\int_{0}^{\pi }\theta ^{3}\log^{3}\left ( 2\sin\frac{\theta }{2} \right )\mathrm{d}\theta $
Any great *Introductory* books for Finite (Element/Difference) Methods
Combinatorial proof of the identity ${n+1\choose k+1}={k\choose k}+{k+1\choose k}+…+{n-1\choose k}+{n\choose k}$
Derivative of ${x^{x^2}}$
Decimal Fibonacci Number?
Commutators in a group
What is the result of infinity minus infinity?
Young's inequality without using convexity
uniqueness of the smooth structure on a manifold obtained by gluing
Proving left-invariance (and proof-verification for right-invariance) for metric constructed from left-invariant Haar measure
half space is not homeomorphic to euclidean space
About Collatz 3n+3?
Pointwise but not Uniformly Convergent
Integral $\int_0^\infty\frac{1}{\sqrt{x}}\left(1+\log\frac{1+e^{x-1}}{1+e^x}\right)dx$
Cumulative Distribution Function of Sum two Weibull random variables

If $n = a^2 + b^2 + c^2$ for positive integers $a$, $b$,$c$, show that there exist positive integers $x$, $y$, $z$ such that $n^2 = x^2 + y^2 + z^2$.

I feel that the problem basically uses algebraic manipulation even though it’s in a Number Theory textbook. I don’t realize how to show $(a^2+b^2+c^2)^2$ as the sum of three squares. I have tried algebraic manipulation but this is the stage I have reached.

$$(b^2 + c^2)^2 + a^2(a^2 + b^2 + c^2 + b^2 + c^2)$$

- If p $\equiv$ 3 (mod 4) with p prime, prove -1 is a non-quadratic residue modulo p.
- Use Euclid's algorithm to find the multiplicative inverse $11$ modulo $59$
- Infinite intersection between a arbitrary set of integers and a set of floor powers
- Number of Relatively Prime Factors
- Show that $x^2+y^2+z^2=999$ has no integer solutions
- Find all integer solutions to $x^2+4=y^3$.

Could you give me some hints on how to proceed with this question?

Thanks.

- Frobenius element in cyclotomic extension
- Is there an intuitionist (i.e., constructive) proof of the infinitude of primes?
- Ring of $p$-adic integers $\mathbb Z_p$
- Congruence Modulo with large exponents
- chameleon puzzle- modified one
- Positive integers x,y,z such that $x!+y!=z!$
- How to prove Chebyshev's result: $\sum_{p\leq n} \frac{\log p}{p} \sim\log n $ as $n\to\infty$?
- Are there surprisingly identical binomial coefficients?
- If a product of relatively prime integers is an $n$th power, then each is an $n$th power
- A triangular representation for the divisor summatory function, $D(x)$

If:

$$x=2ac$$

$$y=2bc$$

$$z=a^2+b^2-c^2$$

$$n=a^2+b^2+c^2$$

Then:

$$x^2+y^2+z^2=n^2$$

A theoretical and easy proof for $n$ odd.

According to a theorem of Gauss the positive integer $n$ is a sum of three squares if and only if $n$ is not of the form $4^a(8b-1)$; $a,b\in \mathbb Z$.

If $n^2=8B-1$ then $n^2\equiv -1 \pmod8$. This is not possible because $-1$ is not a square modulo $8$.

Thus the odd integer $n^2$ is **always** a sum of three squares, in particular when $n$ is itself a sum of three squares.

It should not be very hard the proof for n even, but I do not try because the constructive and nice proof of @individ above.

This can be generalized a bit. it happens that **every** positive integer $n$ is the sum of four squares, $n = A^2 + B^2 + C^2 + D^2.$ The we get, from manipulating quaternions with integer coefficients,

$$ n^2 = (A^2 + B^2 – C^2 – D^2)^2 + (-2AC +2BD)^2 + (-2AD-2BC)^2 $$

https://en.wikipedia.org/wiki/Lagrange%27s_four-square_theorem

https://en.wikipedia.org/wiki/Euler%27s_four-square_identity

I rewrote the version I had to agree with the Euler four square formula in the beginning of the Wikipedia article, with substitutions

$$ a_1 = A, b_1 = A, a_2 = B, b_2 = B, a_3 = C, b_3 = -C, a_4 = D, b_4 = -D $$

so that the second of the four terms cancels out to zero. I think this formula is associated with Lebesgue, let me see if i can find that. It plays a big part in Jones and Pall (1939).

Yes, https://en.wikipedia.org/wiki/Pythagorean_quadruple

Well, I requested the 1951 number theory book by Trygve Nagell, evidently it is one source of the idea that Lebesgue was involved.

Hmmm; Euler’s four square identity 1748, then Lagrange four square theorem 1770, then Hamilton invents quaternions 1843. The (Henri) Lebesgue we know about lived 1875-1941.

NO, on page 266 of Volume II of Dickson’s History of the Theory of Numbers, we find the statement that one V. A. Lebesgue, in 1874, proved the the square of a sum of three squares is again the sum of three squares in a nontrivial manner, as

$$ (\alpha^2 + \beta^2 + \gamma^2)^2 = (\alpha^2 + \beta^2 – \gamma^2)^2 + (2\alpha \gamma)^2 + (2 \beta \gamma)^2. $$

This is formula (4) on that page.

Who is V. A. Lebesgue?

Victor-Amédée Lebesgue, sometimes written Le Besgue, (2 October 1791,

Grandvilliers (Oise) – 10 June 1875, Bordeaux (Gironde)) was a

mathematician working on number theory.

Evidently the precise reference is V. A. Lebesgue, Sur un identite qui conduit a toutes les solutions

de l’equation $t^2 = x^2 + y^2 + z^2,$ Compte Rendus de l`Academie des Sciences de Paris **66** (1868), 396-398.

A 1962 article by Spira gives a short elementary proof that all primitive solutions can be found using this formula. He says that the first correct proof of such completeness was Dickson in 1920, with another by Skolem in 1941. Spira adapts the proof of Skolem to give an algorithm for finding at least one set $A,B,C,D$ from a given primitive Pythagorean quadruple.

- Understanding Euler's Sums of Cubes Substitution:
- Estimating the number of integers relatively prime to $6$ between $1$ and some integer $x$?
- Maximum area of a triangle
- Proof of transitivity in Hilbert Style
- Elementary proof that $3$ is a primitive root of a Fermat prime?
- How to use the method of “Hensel lifting” to solve $x^2 + x -1 \equiv 0\pmod {11^4}$?
- Lebesgue measurable but not Borel measurable
- Get the equation of a circle when given 3 points
- Simplify a combinatorial sum
- Why does $\lim_{n\to\infty}(1+\frac{1}{n})^n = e$ instead of $1$?
- Show $(A^o)^c=\overline{A^c}$
- If $f(x)$ is uniformly continuous at $(0,1)$ then is it bounded at $(0,1)$?
- Uniform thickness border around skewed ellipse?
- Holomorphic Parameter Integral
- Summation involving totient function: $\sum_{d\mid n} \varphi(d)=n$