Se tienen números distintos \(a_1,a_2,...,a_n\) y \(b_1,b_2...,b_m\) y dos polinomios \(r_1,r_2\in{\mathbb{R[X]}}\) tales que \(Gr(r_1)<{n},\;Gr(r_2)<{m}\). Se definen
Saludos!
Tema
Se tienen números distintos \(a_1,a_2,...,a_n\) y \(b_1,b_2...,b_m\) y dos polinomios \(r_1,r_2\in{\mathbb{R[X]}}\) tales que \(Gr(r_1)<{n},\;Gr(r_2)<{m}\). Se definen
Saludos!
llamado a la solidaridad!!, alguien que tenga ganas puede pensar este ejercicio? no sé como hacerlo tampoco...
Vayamos por partes...
Primero, probemos que existe algún polinomio. Luego veamos que es único. Puesto que \({a}_{1},{a}_{2},...,{a}_{n},{b}_{1},...,{b}_{m}\) son todos distintos por hipótesis, los polinomios mónicos \(X-{a}_{1},...X-{a}_{n},X-{b}_{1},...,X-{b}_{m}\) son coprimos dos a dos. En definitiva, \({p}_{1},\;{p}_{2}\) son coprimos. Aquí viene la gracia... reescribiendo lo que queremos ver, tenemos(cualquier parecido al teorema chino del resto no es pura coincidencia),
Planteamos también lo mismo, pero ahora con:
Con el mismo razonamiento anterior, llegás a que \({f}_{1}\eq={q}_{1}{p}_{2}\eq=({p}_{1}{k}_{1}+{r}_{1}G){p}_{2}\), donde \(G\) es ahora el inverso de \({p}_{2}\) módulo \({p}_{1}\). Ahora bien, considerando el polinomio:
es fácil verificar que satisface \(g\equiv {r}_{1}({p}_{1}),\;g\equiv {r}_{2}({p}_{2})\)(simplemente tomar módulo y observar lo que sucede). Y con respecto al grado \(gr(g)<n+m\), y la unicidad, se verifica por lo siguiente:
Y ahora ya casi estamos; si suponés que existe otra solución, digamos \(h\), por lo anterior, \(h\equiv {r}_{1}({p}_{1}),\;h\equiv {r}_{2}({p}_{2})\). Como \(g\equiv {r}_{1}({p}_{1}),\;g\equiv {r}_{2}({p}_{2})\), tenemos
O sea, siempre tenemos que el polinomio solución satisface la condición que impusimos. Como \(gr({p}_{1}{p}_{2})\eq=n+m\), concluímos que el polinomio con menor grado que puede satisfacer la última condición satisface \(gr(g)<n+m\). De aquí la unicidad.
Bueno, espero haber sido claro. No es difícil lo que hice; básicamente es demostrar el teorema chino del resto pero con polinomios, con lo que en realidad, fue un copy/paste casi lo que hice. Saludos.
I offer her that kernel of myself that I have saved, somehow; the central heart that deals not in words, traffics not with dreams and is untouched by time, by joy, by adversities
=D
buenisima resolución, gracias!!