# Proving that cube root 7 is irrational

1. Sep 29, 2007

### TalonStriker

Hi guys,

How would you prove that $$\sqrt[3]{7}$$ is irrational without using the unique factorization thrm? I tried proving that $$\sqrt[3]{7}$$ is rational but it didn't seem to get me anywhere...

Thanks

EDIT: Looks like I posted this in the wrong forum.

Last edited: Sep 29, 2007
2. Sep 29, 2007

### HallsofIvy

Staff Emeritus
I would be inclined to mimic the classic Euclid proof that $\sqrt{2}$ is irrational.

Assume that $\sqrt{7}$ is rational. That is, assume $\sqrt{7}= \frac{m}{n}$ for integers m and n, reduced to lowest terms. Then, cubing both sides, $7= \frac{m^3}{n^3}$ so 7n3= m3. That tells us that m3 is a multiple of 7. Can you use that to prove that m itself must be a multiple of 7? Remember that in proving that if m2 is even, the m must be even, we have to show that the square of an odd number is always odd. Here, you will have to look at numbers that are not multiples of 7. Is it possible for the third power of a number that is not a multiple of 7 to be a multiple of 7? You will have to look at 6 different cases.

Last edited: Oct 1, 2007
3. Sep 30, 2007

### TalonStriker

Yes I can prove that m$$^{3}$$ mod 7 = 0 implies mod 7 = 0. I assume that the next step would be set m=7k. Then plug it in to the previous formula which would yield something like

$$7n^{3} = 7 * 49k^{3}$$ using this I can prove that n % 7 = 0. So m/n has a common factor, which contracts one of the premises.

And that would be the proof, correct?

4. Oct 1, 2007

### HallsofIvy

Staff Emeritus
Yes, that was exactly what I meant.

5. Oct 2, 2007

### TalonStriker

thanks!

Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?