[Risolto] mate 3

@penh

E DUE

Esercizio #1
Tutti e soli i punti C(k, k + 2) appartengono, per definizione, alla retta
* r ≡ y = x + 2
e distano r(k), il raggio delle circonferenze descritte, dalla retta
* s ≡ y = 3*x - 2
con
* r(k) = |(3*k - 2 - (k + 2))|/√(3^2 + 1) = (2/√10)*|(k - 2)|
che risulta minore di √10 nell'insieme soluzione della disequazione
* r(k) = (2/√10)*|(k - 2)| < √10 ≡
≡ |(k - 2)| < 5 ≡
≡ (- 5 < k - 2 < 5) ≡
≡ (2 - 5 < k < 2 + 5) ≡
≡ - 3 < k < 7
QED
------------------------------
Esercizio #2
Dalla data forma normale canonica del fascio Γ(k) per completamento dei quadrati se ne ricava la forma normale standard dalla quale si leggono le coordinate del centro e il quadrato del raggio che, se si può minimizzare, ottempera alla seconda consegna.
Per la prima occorre che tutt'e tre le espressioni risultino reali per ogni k reale e inoltre, per il quadrato del raggio, occorre anche che non sia negativo (se è zero si tratta di circonferenza reale sì, ma degenere sul suo centro).
Con
* x^2 + (3*k - 2)*x = (x + (3*k - 2)/2)^2 - ((3*k - 2)/2)^2
* y^2 + (4*k + 2)*y = (y + (4*k + 2)/2)^2 - ((4*k + 2)/2)^2
si ha
* Γ(k) ≡ x^2 + y^2 + (3*k - 2)*x + (4*k + 2)*y - 24*(k + 2) = 0 ≡
≡ (x + (3*k - 2)/2)^2 - ((3*k - 2)/2)^2 + (y + (4*k + 2)/2)^2 - ((4*k + 2)/2)^2 - 24*(k + 2) = 0 ≡
≡ (x + (3*k - 2)/2)^2 + (y + (4*k + 2)/2)^2 = (25/4)*(k^2 + 4*k + 8)
Da cui si leggono
* centro C(1 - (3/2)*k, - (2*k + 1)), reale per ogni k reale
* raggio r(k) = (25/4)*(k^2 + 4*k + 8) >= r(- 2) = 25
QED
------------------------------
DETTAGLI
---------------
La distanza del punto P(u, v) dalla retta y = m*x + q è
* d(u, v, m, q) = |(m*u + q - v)|/√(m^2 + 1)
---------------
Eliminare un modulo vuol dire sdoppiare la dis/equazione che lo conteneva in due altre di cui l'originale rappresentava o l'unione o l'intersezione.
1) |a| <= b ≡ (- b <= a <= b) ≡ (- b <= a) & (a <= b) [intersezione]
2) |a| = b ≡ (a = ± b) ≡ (a = - b) || (a = + b) [unione]
3) |a| >= b ≡ (a <= - b) || (b <= a) [unione]
e analoghe per le diseguaglianze strette.
---------------
Il completamento del quadrato è l'identità
* u^2 + 2*c*u = (u + c)^2 - c^2