Sunday, August 20, 2017

number theory - Prove that $sqrt{5n+2}$ is irrational



I'm trying to follow this answer to prove that $\sqrt{5n+2}$ is irrational. So far I understand that the whole proof relies on being able to prove that $(5n+2)|x^2 \implies (5n+2)|x$ (which is why $\sqrt{4}$ doesn't fit, but $\sqrt{7}$ etc. does), this is where I got stuck. Maybe I'm overcomplicating it, so if you have a simpler approach, I'd like to know about it. :)




A related problem I'm trying to wrap my head around is: Prove that $\frac{5n+7}{3n+4}$ is irreducible, i.e. $(5n+7)\wedge(3n+4) = 1$.


Answer



Well, one way to say it is irrational is to see that $5n+2$ isn't an integer square for any $n\in\mathbb{Z}$ (it only finish in $2$ or $7$). The other way you're trying lets you the same ending $(p,q\in \mathbb{Z}, q\neq 0)$:
\begin{align*}
\sqrt{5n+2}=\frac{p}{q}&& \\
5n+2=\frac{p^2}{q^2} &&(1)\\
q^2(5n+2)=p^2 && (2)
\end{align*}



Let

$$p=p_1^{\alpha_1}p_2^{\alpha_2}\dots p_t^{\alpha_t}$$ $$q=q_1^{\beta_1}q_2^{\beta_2}\dots q_s^{\beta_s}$$



where $p_i,q_j$ are primes and $\alpha_i,\beta_j$ are positive integers.



From $(1)$, $p^2/q^2$ is an integer (is equal to $5n+2$), so you have that the $q_i$ are certain primes $p_j$. Renaming the prime factors in a way such that $q_i=p_i$, you can let you the fraction (considering that $t>s$)



$$\frac{p^2}{q^2}=\frac{p_1^{2\alpha_1}p_2^{2\alpha_2}\dots p_t^{2\alpha_t}}{q_1^{2\beta_1}q_2^{2\beta_2}\dots q_s^{2\beta_s}}=p_1^{2(\alpha_1-\beta_1)}p_2^{2(\alpha_2-\beta_2)}\dots p_t^{2(\alpha_s-\beta_s)}\dots p_t^{2\alpha_t}=5n+2$$



then this implies that $5n+2$ is a square, but by the original statement, it can't be.


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection $f \colon A \rightarrow B$ and I want to get bijection. Can I just resting codomain to $f(A)$? I know that every function i...