Euclid's Elements
Book VII
Proposition 27

If two numbers are relatively prime, and each multiplied by itself makes a certain number, then the products are relatively prime; and, if the original numbers multiplied by the products make certain numbers, then the latter are also relatively prime.
Let A and B be two relatively prime numbers, let A multiplied by itself make C, and multiplied by C make D, and let B multiplied by itself make E, and multiplied by E make F.
java applet or image I say that C and E are relatively prime, and that D and F are relatively prime.
Since A and B are relatively prime, and A multiplied by itself makes C, therefore C and B are relatively prime. VII.25
Since, then, C and B are relatively prime, and B multiplied by itself makes E, therefore C and E are relatively prime.

Again, since A and B are relatively prime, and B multiplied by itself makes E, therefore A and E are relatively prime.

Since, then, the two numbers A and C are relatively prime to the two numbers B and E, both to each, therefore the product of A and C is relatively prime to the product of B and E. And the product of A and C is D, and the product of B and E is F. VII.26
Therefore D and F are relatively prime.
Therefore, if two numbers are relatively prime, and each multiplied by itself makes a certain number, then the products are relatively prime; and, if the original numbers multiplied by the products make certain numbers, then the latter are also relatively prime.
Q.E.D.

Guide

The proposition states that if two numbers are relatively prime, then their powers are also relatively prime. Explicitly, it only says that their squares are relatively prime, and their cubes are relatively prime, but the way it is used in VIII.2, any powers need to be relatively prime.

The proof of this proposition uses the last two propositions. Assume that a and b are relatively prime. Then applying VII.25 twice, we first get a2 and b relatively prime, then we get a2 and b2 relatively prime.

Again, by VII.25, a and b2 are relatively prime. Now, a is relatively prime to b2, and b is relatively prime to a2, so by VII.26, a3 is relatively prime to b3.

Likewise, higher powers of a and b can be shown to be relatively prime.

Use of this proposition

This proposition is used in VIII.2 and VIII.3.


Next proposition: VII.28

Previous: VII.26

Book VII introduction

   

© 1996, 2002
D.E.Joyce
Clark University