Can 2z^n(z^n + x^n + y^n) Ever Be a Perfect Square for Prime n Greater Than 2?

  • Context: Graduate 
  • Thread starter Thread starter ramsey2879
  • Start date Start date
  • Tags Tags
    Extension
Click For Summary
SUMMARY

The discussion confirms that the expression 2zn(zn + xn + yn) cannot be a perfect square when n is a prime greater than 2, and x, y, z are coprime integers. It establishes that if all three variables are odd, the expression results in a non-square modulo 4. The analysis also highlights specific cases, such as x=2, y=3, z=5, demonstrating that while certain configurations yield perfect squares, they do not contradict the main assertion regarding primes greater than 2.

PREREQUISITES
  • Understanding of prime numbers and their properties
  • Familiarity with modular arithmetic, specifically modulo 4
  • Knowledge of coprime integers and their implications
  • Basic concepts of perfect squares in number theory
NEXT STEPS
  • Study the properties of perfect squares in modular arithmetic
  • Explore the implications of Fermat's Last Theorem on prime numbers
  • Investigate the behavior of coprime integers in algebraic expressions
  • Learn about advanced number theory concepts related to prime factorization
USEFUL FOR

This discussion is beneficial for mathematicians, number theorists, and students studying advanced algebra, particularly those interested in the properties of primes and perfect squares.

ramsey2879
Messages
841
Reaction score
3
Is it true that [tex]2z^n(z^n + x^n + y^n)[/tex] can never be a perfect square if n is a prime greater than 2 and x,y,z are prime to each other?
 
Physics news on Phys.org
If there is a perfect square of the form [itex]2x^p(x^p+y^p+z^p)[/itex] for p an odd prime, then [itex]2x(x^p+y^p+z^p)[/itex] is also a perfect square, so consider that instead.

Since x, y, and z are coprime, at most one can be odd. If all three were odd then [itex]2x(x^p+y^p+z^p)\equiv2\pmod4[/itex] and so it is not a perfect square. Thus exactly one of x, y, and z is even -- and without loss of generality, we can assume that z is odd.
 
ramsey2879: Is it true that [tex]2z^n(z^n + x^n + y^n)[/tex]
can never be a perfect square if n is a prime greater than 2 and x,y,z are prime to each other?


If x^p + y^p = z^p, then [tex]2z^p(z^p + x^p + y^p)[/tex]
=[tex]2z^p(2z^p)[/tex]

However, does this imply the converse? Not at all, consider this case of cubes:
x=2, y=3, z=5:

[tex](2)(5^3)(2^3+3^3+5^3)=250x 160 = 25(100)(16)=(200)^2[/tex]

Or look at: [tex](2)(19^3)(5^3+14^3+19^3) =(2)(19^4)(151+19^2)=(2^{10})(19^4)[/tex]
 
Last edited:

Similar threads

  • · Replies 17 ·
Replies
17
Views
7K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 15 ·
Replies
15
Views
5K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 11 ·
Replies
11
Views
6K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 17 ·
Replies
17
Views
3K