Prove that if $p$ is a prime number, then $\sqrt{p}$is an irrational number.

Wade Bullock
2022-07-15
Answered

Prove that if $p$ is a prime number, then $\sqrt{p}$is an irrational number.

You can still ask an expert for help

Elijah Benjamin

Answered 2022-07-16
Author has **10** answers

By way of contradiction, assume $\sqrt{p}$ is rational. Then there exist $a,b\in \mathbb{Z}$ with $b\ne 0$ such that $\sqrt{p}=\frac{a}{b}$. Without loss of generality, we may assume $\text{gcd}(a,b)\ne 1$

We can make this assumption, because we still lose no generality.

Now using $\text{gcd}(a,b)=d\ne 1$. Then we can write $a=d\cdot {a}^{\prime}$and $b=d\cdot {b}^{\prime}$, for some relatively prime integers ${a}^{\prime}$and ${b}^{\prime}$.

Hence

$\sqrt{p}=\frac{a}{b}=\frac{d{a}^{\prime}}{d{b}^{\prime}}=\frac{{a}^{\prime}}{{b}^{\prime}},$

So we have shown that $\sqrt{p}$ is a ratio of two relatively prime integers.

We can make this assumption, because we still lose no generality.

Now using $\text{gcd}(a,b)=d\ne 1$. Then we can write $a=d\cdot {a}^{\prime}$and $b=d\cdot {b}^{\prime}$, for some relatively prime integers ${a}^{\prime}$and ${b}^{\prime}$.

Hence

$\sqrt{p}=\frac{a}{b}=\frac{d{a}^{\prime}}{d{b}^{\prime}}=\frac{{a}^{\prime}}{{b}^{\prime}},$

So we have shown that $\sqrt{p}$ is a ratio of two relatively prime integers.

asked 2021-02-20

Integers that are not whole numbers

asked 2022-05-20

From the fact that $\frac{1}{5}(3+4i)$ has infinite order in $(\mathbb{C},\cdot )$, I'm supposed to infer that $\frac{1}{\pi}\mathrm{arctan}\frac{4}{3}$ is irrational. Proving a $\mathrm{arctan}\frac{4}{3}$ is irrational.

asked 2022-07-09

Prove: For every rational number $x$ and every irrational number $y$, $xy$ is irrational.

asked 2022-08-12

$\frac{\sqrt{7}+\sqrt{3}}{\sqrt{7}-\sqrt{3}}$

asked 2022-07-12

If $x$ and $y$ are irrational numbers then $x$ to the power of $y$ is irrational I am asked to prove or disprove this statement.

asked 2022-05-28

Proving either ${x}^{2}$ or ${x}^{3}$ is irrational if $x$ is irrational

asked 2022-06-10

Prove that 2.101001000100001... is an irrational number.