Notes - Departament d'Àlgebra i Geometria - Universitat de Barcelona
Notes - Departament d'Àlgebra i Geometria - Universitat de Barcelona
Notes - Departament d'Àlgebra i Geometria - Universitat de Barcelona
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
la siguiente igualdad matricial<br />
⎡<br />
k!ak 0 0 . . . 0<br />
⎢<br />
(k − 1)!<br />
⎢<br />
⎣<br />
k−1<br />
k−1<br />
ak−1 (k − 1)! (k − 2)!<br />
k<br />
k−1<br />
ak 0 . . . 0<br />
k−2<br />
k−2<br />
ak−2 (k − 2)! k−1<br />
k−2<br />
ak−1 (k − 1)! ⎤ ⎡<br />
.<br />
.<br />
k<br />
k−2<br />
ak<br />
.<br />
. . .<br />
. ..<br />
0<br />
.<br />
⎥ ⎢<br />
⎥ ⎢<br />
⎥ ⎢<br />
⎥ ⎢<br />
⎥ ⎢<br />
⎥ ⎢<br />
⎥ ⎢<br />
⎥ ⎢<br />
⎥ ⎢<br />
⎥ ⎢<br />
⎥ ⎢<br />
⎥ ⎢<br />
⎥ ⎢<br />
⎦ ⎣<br />
a0 a1 a2 . . . ak<br />
1<br />
x0<br />
.<br />
x k−1<br />
0<br />
El <strong>de</strong>terminante <strong>de</strong> la matriz cuadrada es una cierta constante no nula por<br />
ak, que asumimos que era distinto <strong>de</strong> cero, así que el sistema homogéneo asociado<br />
<strong>de</strong>bería tener solución única (la solución trivial). Por otro lado, el enunciado nos<br />
dice que el vector (1, x0, . . . , x k 0) también es solución (no trivial) <strong>de</strong>l sistema,<br />
así que hemos llegado a una contradicción. El absurdo proviene <strong>de</strong> suponer que<br />
existe ak = 0, así que se <strong>de</strong>be <strong>de</strong> tener aj = 0 ∀j = 0, . . . , n.<br />
Ejercicio 5.5. Demostrar que para todo j = 0, . . . , k, si p(x) = k<br />
ℓ=0 akx k ,<br />
p (j) (x) =<br />
k<br />
ℓ(ℓ − 1) . . . (ℓ − j + 1)aℓx ℓ−j<br />
ℓ=0<br />
j = 0, 1, . . . , k<br />
Veamos ahora algunas propiedas <strong>de</strong> la <strong>de</strong>rivada que nos serán útiles más<br />
a<strong>de</strong>lante.<br />
Proposición 5.6. Si p1(x), p2(x) ∈ R[x], entonces<br />
D [p1 + p2] = D[p1] + D[p2],<br />
D [p1 p2] = D[p1] p2 + p1 D[p2].<br />
Demostración. Supongamos n := máx{<strong>de</strong>g(p1), <strong>de</strong>g(p2)}. Entonces escribimos<br />
p1(x) :=<br />
n<br />
ajx j , p2(x) :=<br />
j=0<br />
n<br />
bjx j<br />
haciendo aj := 0 o bj := 0 para valores gran<strong>de</strong>s <strong>de</strong> j si fuera necesario. Luego,<br />
D [p1 p2] =<br />
n D j=0 (aj + bj)xj <br />
= n j=0 j(aj + bj)xj−1 = n j=0 jajxj−1 + n j=0 jbjxj−1 = D[p1] + D[p2],<br />
j=0<br />
así que la primer parte <strong>de</strong>l enunciado sale elementalmente.<br />
18<br />
x k 0<br />
⎤ ⎡ ⎤<br />
0<br />
⎥ ⎢ ⎥<br />
⎥ ⎢ ⎥<br />
⎥ ⎢<br />
⎥ ⎢ 0 ⎥<br />
⎥ ⎢ ⎥<br />
⎥ ⎢ ⎥<br />
⎥ ⎢<br />
⎥ = ⎢ .<br />
⎥<br />
⎥ ⎢ . ⎥ .<br />
⎥<br />
⎥ ⎢ ⎥<br />
⎥ ⎢ ⎥<br />
⎥ ⎢<br />
⎥ ⎢ 0 ⎥<br />
⎦ ⎣ ⎦<br />
0