0

prove that $b^2-ac$ and $b_1^2-a_1c_1$ are perfect squares.

The only way I could work around this problem was assuming the roots would be rational, which would the discriminat would be a perfect square. Indeed, it is the right way to solve it, but the are the roots rational? I got the answer intuitively, but I would like a proper explanation to it.

Thanks!

Aditya
  • 6,191

1 Answers1

1

@Aditya you can begin by noting that if $x_0$ is the common root then one has

$$ ax_0^2 + b x_0 + c = a_1 x_0^2 + b_1 x_0 + c \iff ax_0^2 + b x_0 = a_1 x_0^2 + b_1 x_0 \iff ax_0 + b = a_1 x_0 + b_1 $$, where in the last equality we have considered that $x_0 \neq 0$.

  • So, looking at the above equality we have $x_0 = \frac{b_1 - b}{a - a_1} \in \mathbb{Q}$. Thus, the common root is rational. – Marcelo Ng Nov 22 '19 at 14:47
  • I am sorry, the second equation was written slightly wrong. It has been corrected now – Aditya Nov 22 '19 at 14:51