Vastaus:
Katso alempaa.
Selitys:
Juuret
Juuret ovat sattumaa ja todellisia, jos
tai
Nyt ratkaiseminen
Monimutkaisten juurien ehto on
nyt
Lopuksi, jos
Meille annetaan, että yhtälö:
# bx ^ 2- (a-3b) x + b = 0 #
on yksi todellinen juuri, joten tämän yhtälön syrjivä on nolla:
# Delta = 0 #
# => (- (a-3b)) ^ 2 - 4 (b) (b) = 0 #
#:. (a-3b) ^ 2 - 4b ^ 2 = 0 #
#:. a ^ 2-6ab + 9b ^ 2 - 4b ^ 2 = 0 #
#:. a ^ 2-6ab + 5b ^ 2 = 0 #
#:. (a-5b) (a-b) = 0 #
#:. a = b # , tai# a = 5b #
Pyrimme näyttämään yhtälön:
# x ^ 2 + (a-b) x + (ab-b ^ 2 + 1) = 0 #
ei ole todellisia juuria. Tämä edellyttäisi negatiivista syrjintää. Tämän yhtälön syrjivä tekijä on:
# Delta = (a-b) ^ 2 - 4 (1) (ab-b ^ 2 + 1) #
# a ^ 2-2ab + b ^ 2 -4ab + 4b ^ 2-4 #
# = a ^ 2-6ab + 5b ^ 2-4 #
Tarkastellaan nyt kahta mahdollista tapausta, jotka täyttävät ensimmäisen yhtälön:
Tapaus 1:
# Delta = a ^ 2-6ab + 5b ^ 2-4 #
# = (b) ^ 2-6 (b) b + 5b ^ 2-4 #
# b ^ 2-6b ^ 2 + 5b ^ 2-4 #
# = -4 #
# # 0
Tapaus 2:
# Delta = a ^ 2-6ab + 5b ^ 2-4 #
# = (5b) ^ 2-6 (5b) b + 5b ^ 2-4 #
# 25b ^ 2-30b ^ 2 + 5b ^ 2-4 #
# = -4 #
# # 0
Näin ollen ensimmäisen yhtälön olosuhteet ovat sellaiset, että toisella yhtälöllä on aina negatiivinen syrjivä ja siksi sillä on monimutkaisia juuria (eli ei todellisia juuria), QED