Svar:
Se nedenunder.
Forklaring:
Rødderne til
Rødderne vil være sammenfaldende og virkelige hvis
eller
Nu løses
Tilstanden for komplekse rødder er
nu gør
Afsluttende, hvis
Vi får at ligningen:
# bx ^ 2- (a-3b) x + b = 0 #
har en rigtig rod, derfor er diskriminanten af denne ligning nul:
# 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øger at vise ligningen:
# x ^ 2 + (a-b) x + (ab-b ^ 2 + 1) = 0 #
har ingen reelle rødder. Dette ville kræve en negativ diskriminant. Diskriminanten for denne ligning 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 lad os nu overveje de to mulige sager, der opfylder den første ligning:
Sag 1:
# Delta = a ^ 2-6ab + 5b ^ 2-4 #
# = (b) ^ 2-6 (b) b + 5b ^ 2-4 #
# = b ^ 2-6b ^ 2 + 5b ^ 2-4 #
# = -4 #
# lt 0 #
Sag 2:
# Delta = a ^ 2-6ab + 5b ^ 2-4 #
# = (5b) ^ 2-6 (5b) b + 5b ^ 2-4 #
# 25b ^ 2-30b ^ 2 + 5b ^ 2-4 #
# = -4 #
# lt 0 #
Derfor er betingelserne i den første ligning sådan, at den anden ligning altid har en negativ diskriminant og derfor har komplekse rødder (dvs. ingen reelle rødder), QED