Answer:
Explanation:
Hello,
Basically, we need to prove that
is irrational
Let s assume that
is rational
it means that we can find p and q (q different from 0) two integers with no common factors other than 1
so that
![√(2)=(p)/(q)](https://img.qammunity.org/2021/formulas/mathematics/high-school/7v44x79t450z7zgil1r2trrevqwtvg63r8.png)
And then we can write that
![2=(p^2)/(q^2)\\<=> p^2=2q^2](https://img.qammunity.org/2021/formulas/mathematics/high-school/pysyalkh5y5a2xsdlm1br2rocimo5wtfcw.png)
So
is even so it means that p is even
so
is divisible by 2*2=4
as
it means that
is even, meaning q is even
wait, p and q are then even !? but by definition they have no common factors. This is not possible.
so our assumption that
is rational is false
So it means that this is irrational
and then
is irrational too
Hope this helps