1. ## Quadratic Equations

Standard form of quadratic equations is ax^2+bx+c=0

if a=1 , b and c are integers and the roots are rational numbers

then prove that roots must be integers?

2. Originally Posted by jarman007
Standard form of quadratic equations is ax^2+bx+c=0

if a=1 , b and c are integers and the roots are rational numbers

then prove that roots must be integers?

Suppose $\displaystyle \frac{r}{s}$ is a root of $\displaystyle x^2+bx+c=0$ , and that $\displaystyle (r,s)=1$ (this means: the fraction $\displaystyle \frac{r}{s}$ is reduced) , then

$\displaystyle \frac{r^2}{s^2}+b\frac{r}{s}+c=0\Longrightarrow r^2+brs+cs^2=0$ (multiplication by common denominator). As $\displaystyle s|(brs+cs^2)$ then also $\displaystyle s|r^2\Longleftrightarrow s|r$ , which is possible (by the reduced fraction assumption) iff $\displaystyle s=\pm 1$ ... end now the argument

Tonio

3. Tonio,
what does "|" symbol mean?

4. Originally Posted by crossbone
Tonio,
what does "|" symbol mean?

"|" = divide : $\displaystyle a|b\Longrightarrow \exists c\in\mathbb{Z}\,\,\,s.t.\,\,\,b=ac$

Tonio

5. how you get from the equation? i'm just trying to follow your thought process and argument.

6. Originally Posted by crossbone
how you get from the equation? i'm just trying to follow your thought process and argument.

$\displaystyle brs+cs^2=s(br+cs)$ ,and everything's integer here, of course.

Tonio

7. A slightly different proof. Let $\displaystyle \frac{m}{n}$ and $\displaystyle \frac{p}{q}$ be the rational roots (m, n, p, and q integer, of course), reduced to lowest terms. Then we must have $\displaystyle \left(x- \frac{m}{n}\right)\left(x- \frac{p}{q}\right)= 0$. Multiplying that out, $\displaystyle x^2- \left(\frac{m}{n}- \frac{p}{q}\right)x+ \frac{mp}{nq}$$\displaystyle = x^2- \frac{mq- np}{nq}x+ \frac{mp}{nq}= x^2+ bx+ c= 0. Since b and c are integers, we must have nq= 1. Since n and q are integers, we must have \displaystyle n= \pm 1 and \displaystyle q= \pm 1. Then the roots \displaystyle \frac{m}{n} and \displaystyle \frac{p}{q} are integer. 8. Hi, Originally Posted by HallsofIvy A slightly different proof. Let \displaystyle \frac{m}{n} and \displaystyle \frac{p}{q} be the rational roots (m, n, p, and q integer, of course), reduced to lowest terms. Then we must have \displaystyle \left(x- \frac{m}{n}\right)\left(x- \frac{p}{q}\right)= 0. Multiplying that out, \displaystyle x^2- \left(\frac{m}{n}- \frac{p}{q}\right)x+ \frac{mp}{nq}$$\displaystyle = x^2- \frac{mq- np}{nq}x+ \frac{mp}{nq}= x^2+ bx+ c= 0$.

Since b and c are integers, we must have nq= 1. Since n and q are integers, we must have $\displaystyle n= \pm 1$ and $\displaystyle q= \pm 1$. Then the roots $\displaystyle \frac{m}{n}$ and $\displaystyle \frac{p}{q}$ are integer.
Why the sentence in red ?
We could have nq|(mq-np) and nq|(mp) without nq being 1 (or -1)

9. Originally Posted by Moo
Hi,

Why the sentence in red ?
We could have nq|(mq-np) and nq|(mp) without nq being 1 (or -1)

Not if the fractions are reduced:

$\displaystyle nq\mid(mq-np)\Longrightarrow mq-np=xnq$

$\displaystyle nq\mid mp\Longrightarrow mp =ynq$

multiply the first eq. above by m and the second one by n:

$\displaystyle m^2q-mnp=xmnq$

$\displaystyle mnp=yn^2q$ , and now add these two eq's:

$\displaystyle m^2q=(xm+yn)nq\Longrightarrow m^2=(xm+yn)n$ .Since n divides the right hand n divides the left hand as well, contradicting the fact that $\displaystyle \frac{m}{n}$ is reduced...unless $\displaystyle n=\pm 1$ ,and the same for q, of course.

Tonio

10. Originally Posted by jarman007
Standard form of quadratic equations is ax^2+bx+c=0

if a=1 , b and c are integers and the roots are rational numbers

then prove that roots must be integers?
Another alternative: We wish to show that the roots of $\displaystyle x^2 + bx + c = 0$ are integers. By the quadratic formula, it suffices to show that the expression $\displaystyle \frac {-b \pm \sqrt{b^2 - 4c}}2$ is always an integer provided it is rational (which means $\displaystyle b^2 - 4c$ is a perfect square, call it $\displaystyle k^2$) and $\displaystyle b,c \in \mathbb{Z}$.

It suffices to show that $\displaystyle -b \pm \sqrt{b^2 - 4c}$ is even. We consider two cases: (1) $\displaystyle b$ is even and (2) $\displaystyle b$ is odd. (Notice that the parity of $\displaystyle c$ is immaterial, since $\displaystyle 4c$ would be even whether $\displaystyle c$ is even or odd).

case 1: $\displaystyle b$ is even.

Then, $\displaystyle b^2$ is even, so that $\displaystyle k^2 = b^2 - 4c$ is even (since it is the difference of two even integers), which implies $\displaystyle k$ is even. But then, $\displaystyle -b \pm \sqrt{b^2 - 4c} = -b \pm k$ is even, since it is the sum of two even integers.

case 2 is no worse and will be left to the OP.

11. Originally Posted by tonio
$\displaystyle brs+cs^2=s(br+cs)$ ,and everything's integer here, of course.

Tonio
the original equation is $\displaystyle r^2+brs+cs^2=0$
why did you ignore $\displaystyle r^2$?

12. Originally Posted by crossbone
the original equation is $\displaystyle r^2+brs+cs^2=0$
why did you ignore $\displaystyle r^2$?
he didn't. you asked about one part though, so he answered that part. he did state that $\displaystyle s|r^2$...

13. that's the problem. i'm trying to understand his logic from going from $\displaystyle r^2+brs+cs^2=0$ to $\displaystyle s/(brs+cs^2)$. it's like some leap of logic unless he's using some mathematical properties of polynomial coefficients that I'm missing. btw, I'm new here so quite curious why is everybody using "|" instead of "/" to signify division? there's no using the shift key to choose the latter.

14. Originally Posted by crossbone
that's the problem. i'm trying to understand his logic from going from $\displaystyle r^2+brs+cs^2=0$ to $\displaystyle s/(brs+cs^2)$. it's like some leap of logic unless he's using some mathematical properties of polynomial coefficients that I'm missing.
actually, he was applying basic properties of integers that you can learn about in a number theory or abstract algebra class.

showing that $\displaystyle s|r$ was important to tonio's argument. he could show that $\displaystyle s|r$ by showing that $\displaystyle s|r^2$

we have
$\displaystyle r^2 + brs + cs^2 = 0$

$\displaystyle \Rightarrow r^2 = -(brs + cs^2)$

by dividing through by $\displaystyle s$, we have

$\displaystyle \frac {r^2}s = -(br + cs)$

since the right side is an integer (because $\displaystyle s|(brs + cs^2)$), the left side must be also, because we have equality here. but $\displaystyle \frac {r^2}s$ is an integer if and only if $\displaystyle s|r^2$

btw, I'm new here so quite curious why is everybody using "|" instead of "/" to signify division? there's no using the shift key to choose the latter.
they are actually quite different symbols. "|" means "divides" while "/" means "divided by".

the difference?

2|4 means that 4 = 2k for some integer k. it means that 2 divides into 4 without leaving a remainder. while,

2/4 = 1/2 = 0.5

see the difference? one is making a statment about the relationship, namely a divisibility relationship, between two integers, while the other signifies performing and arithmetical operation, namely division, on two integers.

15. Originally Posted by Jhevon
actually, he was applying basic properties of integers that you can learn about in a number theory or abstract algebra class.

showing that $\displaystyle s|r$ was important to tonio's argument. he could show that $\displaystyle s|r$ by showing that $\displaystyle s|r^2$

we have
$\displaystyle r^2 + brs + cs^2 = 0$

$\displaystyle \Rightarrow r^2 = -(brs + cs^2)$

by dividing through by $\displaystyle s$, we have

$\displaystyle \frac {r^2}s = -(br + cs)$

since the right side is an integer (because $\displaystyle s|(brs + cs^2)$), the left side must be also, because we have equality here. but $\displaystyle \frac {r^2}s$ is an integer if and only if $\displaystyle s|r^2$

they are actually quite different symbols. "|" means "divides" while "/" means "divided by".

the difference?

2|4 means that 4 = 2k for some integer k. it means that 2 divides into 4 without leaving a remainder. while,

2/4 = 1/2 = 0.5

see the difference? one is making a statment about the relationship, namely a divisibility relationship, between two integers, while the other signifies performing and arithmetical operation, namely division, on two integers.
i've never encountered the use of | in my high school math. i know the stuff here are all pre-calc but isn't the use of these esoteric explanation beyond the average high-school student?

Page 1 of 2 12 Last