Svar:
Se nedenfor.
Forklaring:
Røttene for
Røttene vil være sammenfallende og ekte hvis
eller
Nå løser
Tilstanden for komplekse røtter er
nå gjør
Avsluttende, hvis
Vi er gitt at ligningen:
# bx ^ 2- (a-3b) x + b = 0 #
har en ekte rot, derfor er diskriminanten av denne ligningen null:
# 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 # , eller# a = 5b #
Vi søker å vise ligningen:
# x ^ 2 + (a-b) x + (ab-b ^ 2 + 1) = 0 #
har ingen reelle røtter. Dette ville kreve en negativ diskriminant. Diskriminanten for denne ligningen er:
# 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 #
Og la oss nå vurdere de to mulige tilfellene som tilfredsstiller den første ligningen:
Sak 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 #
Sak 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 #
Derfor er betingelsene i den første ligningen slik at den andre ligningen alltid har en negativ diskriminant, og har derfor komplekse røtter (dvs. ingen reelle røtter), QED