Associated Topics || Dr. Math Home || Search Dr. Math

### Coprimes in Fermat's Last Theorem

```
Date: 06/03/99 at 07:07:38
From: oliver
Subject: Coprime in Fermat's Theorem n = 2

Hi!

I was wondering, in Fermat's Conjecture of n = 2

x^2 + y^2 = z^2

which can be rearranged to:

(y/2)^2 = (z-x)/2 * (z+x)/2

(z-x)/2 and (z+x)/2 are coprime? I have done some examples to convince
myself, but I can't find a book anywhere on this. I also can't find
what topic it would come under.

Is this very easy and am I being stupid? PLease help and point me in
the right direction.

Thanks,
Oliver
```

```
Date: 06/03/99 at 12:12:17
From: Doctor Rob
Subject: Re: Coprime in Fermat's Theorem n = 2

(z-x)/2 and (z+x)/2 do not have to be coprime. For example, x = 300,
y = 400, and z = 500 gives a solution to the equation, and
(z-x)/2 = 100 and (z+x)/2 = 400 have a common factor of 100.

What is true is that if x, y, and z have no factor in common, and y is
even, then (z-x)/2 and (z+x)/2 also have no factor in common.

Proof: Suppose that d divided both (z-x)/2 and (z+x)/2. Then d would
divide their sum, z, and their difference, x. If d divided both z and
x, then d^2 would divide z^2 - x^2 = y^2, so d would divide y, and d
would be a factor in common among x, y, and z. Thus d = 1.

- Doctor Rob, The Math Forum
http://mathforum.org/dr.math/
```
Associated Topics:
High School Discrete Mathematics
High School Number Theory

Search the Dr. Math Library:

 Find items containing (put spaces between keywords):   Click only once for faster results: [ Choose "whole words" when searching for a word like age.] all keywords, in any order at least one, that exact phrase parts of words whole words

Submit your own question to Dr. Math
Math Forum Home || Math Library || Quick Reference || Math Forum Search

Ask Dr. MathTM
© 1994- The Math Forum at NCTM. All rights reserved.
http://mathforum.org/dr.math/