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!