𝑇𝑒𝑜𝑟𝑖𝑎 𝑑𝑒 𝑒𝑐𝑢𝑎𝑐𝑖𝑜𝑛𝑒𝑠

𝑴𝒂𝒙𝒊𝒎𝒐 𝒄𝒐𝒎𝒖𝒏 𝒅𝒊𝒗𝒊𝒔𝒐𝒓 𝒚 𝑷𝒐𝒍𝒊𝒏𝒐𝒎𝒊𝒐𝒔 𝒑𝒓𝒊𝒎𝒐𝒔 𝒓𝒆𝒍𝒂𝒕𝒊𝒗𝒐𝒔

Victor Daniel García Elacio

1. Sean 𝑓(𝑥), 𝑔(𝑥) ∈ 𝑪[𝒙] no ambos ceros, y sean 𝑎, 𝑏 ∈ 𝑪 ambos no cero, demostrar que 𝑑(𝑥) =
𝑚𝑐𝑑(𝑎𝑓(𝑥), 𝑏𝑔(𝑥)) si y solo si 𝑑(𝑥) = 𝑚𝑐𝑑(𝑓(𝑥), 𝑔(𝑥)).

Demostración

→
Como por hipótesis 𝑑(𝑥) = 𝑚𝑐𝑑(𝑎𝑓(𝑥), 𝑏𝑔(𝑥)), entonces 𝑑(𝑥)|af(x), d(x)|bg(x), pero
recordemos que si un polinomio divide a otro, este divide a cualquier múltiplo constante de este,
1 1
en particular 𝑑(𝑥)|af(x) ∙ 𝑎 y 𝑑(𝑥)|bf(x) ∙ 𝑏 por hipótesis 𝑎, 𝑏 ≠ 0. Entonces tenemos que
𝑑(𝑥)|f(x) y 𝑑(𝑥)|f(x) , además por definición de 𝑚𝑐𝑑 existe 𝑘(𝑥)|af(x), k(x)|bg(x) entonces
𝑑(𝑥)|f(x) y 𝑑(𝑥)|f(x) por lo dicho anteriormente, así 𝑘(𝑥)|d(x), por lo tanto 𝑑(𝑥) =
𝑚𝑐𝑑(𝑓(𝑥), 𝑔(𝑥)).

←
Como 𝑑(𝑥) = 𝑚𝑐𝑑(𝑓(𝑥), 𝑔(𝑥)) entonces 𝑑(𝑥)|f(x), d(x)|g(x) pero si esto pasa entonces 𝑑(𝑥)|a ∙
f(x), d(x)|b ∙ g(x) , para cualquier 𝑎, 𝑏 constantes que sean múltiplos de 𝑓(𝑥), 𝑔(𝑥), luego si
𝑝(𝑥)|f(x), p(x)|g(x), 𝑝(𝑥)|af(x), p(x)|bg(x), entonces 𝑝(𝑥)|d(x) así 𝑑(𝑥) = 𝑚𝑐𝑑(𝑎𝑓(𝑥), 𝑏𝑔(𝑥)).

4. Sean 𝑓(𝑥), 𝑔(𝑥), ℎ(𝑥) ∈ 𝑪[𝒙] demostrar que si 𝑓(𝑥), 𝑔(𝑥) son primos relativos , 𝑓(𝑥) divide a
ℎ(𝑥), 𝑔(𝑥) divide a ℎ(𝑥) entonces 𝑓(𝑥) ∙ 𝑔(𝑥) divide a ℎ(𝑥),

Demostración

Como 𝑓(𝑥), 𝑔(𝑥) son primos relativos entonces existen polinomios 𝑠(𝑥), 𝑡(𝑥) tal que

1 = 𝑓(𝑥)𝑠(𝑥) + 𝑔(𝑥)𝑡(𝑥)

De aquí multiplicando por ℎ(𝑥)

ℎ(𝑥) = ℎ(𝑥)𝑓(𝑥)𝑠(𝑥) + ℎ(𝑥)𝑔(𝑥)𝑡(𝑥)

luego sabemos que ℎ(𝑥) = 𝑓(𝑥)𝑞(𝑥) 𝑦 ℎ(𝑥) = 𝑔(𝑥)𝑟(𝑥), esto pues por hipótesis tanto
𝑓(𝑥), 𝑔(𝑥) dividen a ℎ(𝑥).

Entonces

ℎ(𝑥) = 𝑔(𝑥)𝑟(𝑥)𝑓(𝑥)𝑠(𝑥) + 𝑓(𝑥)𝑞(𝑥)𝑔(𝑥)𝑡(𝑥)

o bien
ℎ(𝑥) = 𝑔(𝑥)𝑓(𝑥)𝑟(𝑥)𝑠(𝑥) + 𝑓(𝑥)𝑔(𝑥)𝑞(𝑥)𝑡(𝑥)
factorizando 𝑓(𝑥)𝑔(𝑥) tendríamos que

ℎ(𝑥) = 𝑔(𝑥)𝑓(𝑥) (𝑟(𝑥)𝑠(𝑥) + 𝑞(𝑥)𝑡(𝑥))

de aquí 𝑔(𝑥)𝑓(𝑥) divide a ℎ(𝑥) que es lo que se quería demostrar.