Esame dell'equazione
---------------
Il sistema proposto
759) ((k + 2)*x^2 - 2*k*x - (k - 3) = 0) & (k != - 2)
equivale all'equazione monica
* x^2 - (2*k/(k + 2))*x - (k - 3)/(k + 2) = (x - X1)*(x - X2) = 0
che, con
* s = X1 + X2 = 2*k/(k + 2)
* p = X1 * X2 = - (k - 3)/(k + 2)
ha discriminante
* Δ = s^2 − 4*p = 8*(k + 3/2)*(k - 2)/(k + 2)^2
e radici
* X1 = (s - √Δ)/2 = k/(k + 2) - √((2*k^2 - k - 6)/(k + 2)^2)
* X2 = (s + √Δ)/2 = k/(k + 2) + √((2*k^2 - k - 6)/(k + 2)^2)
---------------
* Δ < 0 ≡ - 3/2 < k < 2
* Δ = 0 ≡ (k = - 3/2) oppure (k = 2)
* Δ > 0 ≡ (k < - 2) oppure (- 2 < k < - 3/2) oppure (k > 2)
-----------------------------
Risposte ai quesiti
---------------
a) "le radici sono discordi" ≡ p < 0 ≡ - (k - 3)/(k + 2) < 0 ≡ (k < - 2) oppure (k > 3)
---------------
b) "una radice è nulla" ≡ 0^2 - (2*k/(k + 2))*0 + (k - 3)/(k + 2) = 0 ≡ k = 3
---------------
c) "il prodotto delle radici è uguale al doppio della loro somma" ≡ p = 2*s ≡
≡ - (k - 3)/(k + 2) = 2*2*k/(k + 2) ≡ k = 3/5
NOTA #1
Il risultato atteso (k ∈ R) è clamorosamente errato, per due ottimi motivi:
1) 3/5 ∈ R è incontrovertibile;
2) 3/5 ∈ (- 3/2, 2), dove Δ < 0 e quindi le radici sono complesse coniugate, è un fatto che con la realtà di "k = 3/5" c'entra come i cavoli a merenda.
---------------
d) "|X1 - X2| = 6" ≡
≡ |k/(k + 2) + √((2*k^2 - k - 6)/(k + 2)^2) - (k/(k + 2) - √((2*k^2 - k - 6)/(k + 2)^2))| = 6 ≡
≡ √((2*k^2 - k - 6)/(k + 2)^2) = 3 ≡
≡ k = (- 37 ± √193)/14
---------------
e) "le radici sono negative" ≡ X2 < 0 ≡ k/(k + 2) - √((2*k^2 - k - 6)/(k + 2)^2) < 0 ≡
≡ (k < - 2) oppure (- 2 < k <= - 3/2) oppure (k > 3)
NOTA #2
Anche qui il risultato atteso è clamorosamente errato, ma qui non riesco nemmeno a immaginare la fonte dell'equivoco.