[Math] Prove that if $a, b, c$ are positive odd integers, then $b^2 – 4ac$ cannot be a perfect square.

discrete mathematicselementary-number-theorysquare-numbers

Prove that if $a, b, c$ are positive odd integers, then $b^2 – 4ac$ cannot be a perfect square.

What I have done:

This has to either be done with contradiction or contraposition, I was thinking contradiction more likely.

Best Answer

If $b^2-4ac$ was a perfect square then the polynomial $ax^2+bx+c$ would have some rationals $\frac {p_1}{q_1}, \frac {p_2}{q_2}$ as roots($\frac{p_i}{q_i}=\frac{-b\pm\sqrt{b^2-4ac}}{2a}$). Therefore $(q_1x-p_1)(q_2x-p_2)=ax^2+bx+c$.
So $q_1,q_2,p_1,p_2$ are odd integers (since $q_1q_2=a,p_1p_2=c$) and $q_1p_2+q_2p_1=-b\Rightarrow\Leftarrow.$