Menu Close

Find-the-maximum-common-divisor-of-the-folllwing-polynomials-f-x-x-4-5x-3-4x-2-2x-and-g-x-3x-4-x-3-4x-2-in-Q-x-f-x-2x-2-2-and-g-x-x-4-3x-3-x-2-3x-2-in-R-x-




Question Number 49238 by cesar.marval.larez@gmail.com last updated on 04/Dec/18
Find the maximum common divisor  of the folllwing polynomials:  •f(x)=x^4 +5x^3 −4x^2 −2x and   g(x)=−3x^4 −x^3 +4x^2  in Q[x].  •f(x)=2x^2 −2 and g(x)=x^4 −3x^3 +x^2 +3x−2 in R[x]
$${Find}\:{the}\:{maximum}\:{common}\:{divisor} \\ $$$${of}\:{the}\:{folllwing}\:{polynomials}: \\ $$$$\bullet{f}\left({x}\right)={x}^{\mathrm{4}} +\mathrm{5}{x}^{\mathrm{3}} −\mathrm{4}{x}^{\mathrm{2}} −\mathrm{2}{x}\:{and}\: \\ $$$${g}\left({x}\right)=−\mathrm{3}{x}^{\mathrm{4}} −{x}^{\mathrm{3}} +\mathrm{4}{x}^{\mathrm{2}} \:{in}\:{Q}\left[{x}\right]. \\ $$$$\bullet{f}\left({x}\right)=\mathrm{2}{x}^{\mathrm{2}} −\mathrm{2}\:{and}\:{g}\left({x}\right)={x}^{\mathrm{4}} −\mathrm{3}{x}^{\mathrm{3}} +{x}^{\mathrm{2}} +\mathrm{3}{x}−\mathrm{2}\:{in}\:{R}\left[{x}\right] \\ $$
Commented by maxmathsup by imad last updated on 04/Dec/18
let f(x)=2x^2 −2 and g(x)=x^4 −3x^3  +x^2  +3x−2 ⇒  g(1) =1−3+1+3−2 =0 and g(−1) =1+3+1−3−2=0 ⇒x^2 −1 divide g(x) ⇒  g(x)=λ(x^2 −1)Q(x) with deg Q =2   we see that λ =1  Δ(f,g) =Δ(2(x^2 −1),(x^2 −1)Q(x)) =(x^2 −1)Δ(2,Q(x)) but  Q(x)=x^2  +ax +b =2((1/2)x^2  +(a/2)x +(b/2)) =2v(x)⇒Δ(2,Q(x))  =Δ(2,2v(x))=2Δ(1,v(x))=2 ⇒Δ(f,g)=2(x^2 −1)  another way all roots of f are roots of g ⇒ f divide g ⇒Δ(f,g)=f .
$${let}\:{f}\left({x}\right)=\mathrm{2}{x}^{\mathrm{2}} −\mathrm{2}\:{and}\:{g}\left({x}\right)={x}^{\mathrm{4}} −\mathrm{3}{x}^{\mathrm{3}} \:+{x}^{\mathrm{2}} \:+\mathrm{3}{x}−\mathrm{2}\:\Rightarrow \\ $$$${g}\left(\mathrm{1}\right)\:=\mathrm{1}−\mathrm{3}+\mathrm{1}+\mathrm{3}−\mathrm{2}\:=\mathrm{0}\:{and}\:{g}\left(−\mathrm{1}\right)\:=\mathrm{1}+\mathrm{3}+\mathrm{1}−\mathrm{3}−\mathrm{2}=\mathrm{0}\:\Rightarrow{x}^{\mathrm{2}} −\mathrm{1}\:{divide}\:{g}\left({x}\right)\:\Rightarrow \\ $$$${g}\left({x}\right)=\lambda\left({x}^{\mathrm{2}} −\mathrm{1}\right){Q}\left({x}\right)\:{with}\:{deg}\:{Q}\:=\mathrm{2}\:\:\:{we}\:{see}\:{that}\:\lambda\:=\mathrm{1} \\ $$$$\Delta\left({f},{g}\right)\:=\Delta\left(\mathrm{2}\left({x}^{\mathrm{2}} −\mathrm{1}\right),\left({x}^{\mathrm{2}} −\mathrm{1}\right){Q}\left({x}\right)\right)\:=\left({x}^{\mathrm{2}} −\mathrm{1}\right)\Delta\left(\mathrm{2},{Q}\left({x}\right)\right)\:{but} \\ $$$${Q}\left({x}\right)={x}^{\mathrm{2}} \:+{ax}\:+{b}\:=\mathrm{2}\left(\frac{\mathrm{1}}{\mathrm{2}}{x}^{\mathrm{2}} \:+\frac{{a}}{\mathrm{2}}{x}\:+\frac{{b}}{\mathrm{2}}\right)\:=\mathrm{2}{v}\left({x}\right)\Rightarrow\Delta\left(\mathrm{2},{Q}\left({x}\right)\right) \\ $$$$=\Delta\left(\mathrm{2},\mathrm{2}{v}\left({x}\right)\right)=\mathrm{2}\Delta\left(\mathrm{1},{v}\left({x}\right)\right)=\mathrm{2}\:\Rightarrow\Delta\left({f},{g}\right)=\mathrm{2}\left({x}^{\mathrm{2}} −\mathrm{1}\right) \\ $$$${another}\:{way}\:{all}\:{roots}\:{of}\:{f}\:{are}\:{roots}\:{of}\:{g}\:\Rightarrow\:{f}\:{divide}\:{g}\:\Rightarrow\Delta\left({f},{g}\right)={f}\:. \\ $$
Commented by cesar.marval.larez@gmail.com last updated on 05/Dec/18
thank u sir
$${thank}\:{u}\:{sir} \\ $$
Commented by maxmathsup by imad last updated on 05/Dec/18
you are welcome sir
$${you}\:{are}\:{welcome}\:{sir} \\ $$

Leave a Reply

Your email address will not be published. Required fields are marked *