I need to prove the cube root is irrational. I followed the proof because that the square source of $2$ but I ran into a problem I wasn"t sure of. Below are mine steps:

By contradiction, speak $ \sqrt<3>2$ is rationalthen $ \sqrt<3>2 = \frac ab$ in the shortest form, wherein $a,b \in \aramuseum.orgbbZ, b \neq 0$$2b^3 = a^3 $$b^3 = \fraca^32$therefore, $a^3$ is eventherefore, $2\mid a^3$,therefore, $2\mid a$$\exists k \in \aramuseum.orgbbZ, a = 2k$ sub in: $2b^3 = (2k)^3$$b^3 = 4k^3$, because of this $2|b$ Contradiction, $a$ and also $b$ have common factor the two

My trouble is with step 6 and 7. Deserve to I say the if $2\mid a^3$ , climate $2\mid a$. If so, I"m gonna need to prove it. How??



The fundamental Theorem the Arithmetic tells us that every hopeful integer $a$ has actually a distinct factorization into primes $p_1^\alpha_1p_2^\alpha_2 \ldots p_n^\alpha_n$.

You are watching: Prove the cube root of 2 is irrational

You have $ 2 \mid a^3$, therefore $2 \mid (p_1^\alpha_1p_2^\alpha_2 \ldots p_n^\alpha_n)^3 = p_1^3\alpha_1p_2^3\alpha_2 \ldots p_n^3\alpha_n$.

Since primes are numbers that are just divisible through 1 and also themselves, and also 2 divides among them, among those primes (say, $p_1$) must be $2$.

So we have actually $2 \mid a^3 = 2^3\alpha_1p_2^3\alpha_2 \ldots p_n^3\alpha_n$, and also if you take the cube source of $a^3$ to gain $a$, it"s $2^\alpha_1p_2^\alpha_2 \ldots p_n^\alpha_n$. This has actually a factor of 2 in it, and therefore it"s divisible by 2.


This is not, probably, the many convincing or explanatory proof, and also this definitely does no answer the question, yet I love this proof.

Suppose the $ \sqrt<3>2 = \frac ns q $. Then $ 2 q^3 = p^3 $. This method $ q^3 + q^3 = p^3 $. The last equation has actually no nontrivial integer solutions due to Fermat"s critical Theorem.


If $p$ is prime, and also $p\mid a_1a_2\cdots a_n$ then $p\mid a_i$ for some $i$.

Now, let $p=2$, $n=3$ and also $a_i=a$ for every $i$.


Your proof is fine, when you know that action 6 suggests step 7:

This is just the fact odd $\times$ odd $=$ odd. (If $a$ to be odd, then $a^3$ would be odd.)

Anyway, girlfriend don"t need to assume the $a$ and also $b$ room coprime:

Consider $2b^3 = a^3$. Currently count the variety of factors of $2$ on each side: ~ above the left, you obtain an variety of the form $3n+1$, if on the ideal you get an a number of the type $3m$. These numbers cannot be equal since $3$ does not divide $1$.

For the benefits of contradiction, assume $ \sqrt<3>2$ is rational.

We can thus say $ \sqrt<3>2 = a/b$ whereby $a,b$ room integers, and also $a$ and also $b$ room coprime (i.e. $a/b$ is totally reduced).


$2b^3 = a^3$

Hence $a$ is an also integer.

Like all also integers, we have the right to say $a=2m$ where $m$ is one integer.

2$b^3 = (2m)^3$

$2b^3 = 8m^3$

$b^3 = 4m^3$

So $b$ is also even. This completes the contradiction whereby we presume $a$ and also $b$ to be coprime.

Hence, $ \sqrt<3>2$ is irrational.

A different method is utilizing polynomials and also the rational root theorem. Due to the fact that $\sqrt<3>2$ is a source of $f(x)=x^3-2$, it is enough to present that if $f(x)$ has actually no rational roots, then $\sqrt<3>2$ is irrational.

By the rational root theorem, possible roots space $x=\pm 1$ or $x=\pm2$

Next examine that $f(-2)$, $f(-1)$, $f(1)$, $f(2)$ ,$\not= 0$

$$f(-2)=-10\not= 0$$$$f(-1)=-3\not= 0$$$$f(1)=-1\not= 0$$$$f(2)=6\not= 0$$

So since none the these feasible rational roots are equal to zero, $\sqrt<3>2$ is irrational.

Thanks for contributing an answer to aramuseum.orgematics ridge Exchange!

Please be sure to answer the question. Administer details and share her research!

But avoid

Asking because that help, clarification, or responding to various other answers.Making statements based upon opinion; earlier them up with referrals or an individual experience.

Use aramuseum.orgJax to layout equations. Aramuseum.orgJax reference.

See more: How Many Cups In A 2 Lb Bag Of Powdered Sugar, How Many Cups In A Pound Of Powdered Sugar

To find out more, check out our advice on writing great answers.

article Your answer Discard

By clicking “Post your Answer”, you agree come our regards to service, privacy policy and cookie plan

Not the price you're feather for? Browse other questions tagged discrete-aramuseum.orgematics proof-verification or questioning your very own question.

Prove the adhering to statement by prove its contrapositive: if $r$ is irrational, then $ r ^ \frac 1 5 $ is irrational
site architecture / logo design © 2021 stack Exchange Inc; user contributions licensed under cc by-sa. Rev2021.9.24.40305

your privacy

By click “Accept every cookies”, girlfriend agree stack Exchange can store cookies on your maker and disclose info in accordance with our Cookie Policy.