Prove: If an Integer is a Sum of Squares, its Square is Also a Sum of Squares

  • Context: High School 
  • Thread starter Thread starter anemone
  • Start date Start date
  • Tags Tags
    2016
Click For Summary
SUMMARY

The discussion centers on the mathematical proof that if an integer \( a \) can be expressed as a sum of squares of three positive integers, then its square \( a^2 \) can also be expressed as a sum of squares of three positive integers. This is a significant result in number theory, demonstrating the preservation of the sum of squares property under squaring. The proof involves leveraging properties of integers and their representations as sums of squares.

PREREQUISITES
  • Understanding of integer properties and number theory
  • Familiarity with the concept of sums of squares
  • Basic knowledge of mathematical proofs and logic
  • Experience with positive integers and their operations
NEXT STEPS
  • Study the properties of sums of squares in number theory
  • Explore the implications of the Lagrange's Four Square Theorem
  • Investigate the relationship between integer representations and quadratic forms
  • Learn about advanced proof techniques in mathematics, such as induction and contradiction
USEFUL FOR

Mathematicians, students of number theory, and anyone interested in the properties of integers and their representations as sums of squares.

anemone
Gold Member
MHB
POTW Director
Messages
3,851
Reaction score
115
Here is this week's POTW:

-----

Suppose $a$ is an integer that is a sum of squares of three positive integers. Prove that $a^2$ is also a sum of squares of three positive integers.

-----

Remember to read the http://www.mathhelpboards.com/showthread.php?772-Problem-of-the-Week-%28POTW%29-Procedure-and-Guidelines to find out how to http://www.mathhelpboards.com/forms.php?do=form&fid=2!
 
Physics news on Phys.org
No one answered last week problem. :(

You can see the proposed solution as follows:

Let $a=p^2+q^2+r^2$.

Therefore

$\begin{align*}a^2&=(p^2+q^2+r^2)^2\\&=p^4+q^4+r^4+2p^2q^2+2q^2r^2+2r^2p^2\\&=(p^4+q^4+r^4+2p^2q^2-2q^2r^2-2r^2p^2)+4q^2r^2+4r^2p^2\\&=(p^2+q^2-r^2)^2+(2pr)^2+(2qr)^2\end{align*}$

Without loss of generality, we may assume $p^2 \ge q^2\ge r^2$, so we have $p^2+q^2-r^2\ge 0$ and this completes the proof.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K