Respuesta :

Proof by contradiction.

Let assume [tex] \sqrt6 [/tex] is rational. Therefore, it can be expressed as a fraction [tex] \dfrac{a}{b} [/tex], where [tex] \text{gcd}(a,b)=1 [/tex]

[tex] \sqrt6=\dfrac{a}{b}\\\\ 6=\dfrac{a^2}{b^2}\\\\ a^2=6b^2 [/tex]

This means that [tex] a^2 [/tex] must be even, and therefore also [tex] a [/tex] must be even.

So, [tex] a=2k, k\in\mathbb{Z} [/tex]

[tex] (2k)^2=6b^2\\\\ 4k^2=6b^2\\\\ 2k^2=3b^2 [/tex]

This means that [tex] 3b^2 [/tex] must be even. The only way for this to be even is when [tex] b^2 [/tex] is even and therefore also [tex] b [/tex] is even.

But if [tex]a[/tex] and [tex] b [/tex] were even, then earlier assumption that [tex] \text{gcd}(a,b)=1 [/tex] would be false. Therefore [tex] \sqrt6 [/tex] is irrational.