Difference between revisions of "1977 USAMO Problems/Problem 3"

Latest revision as of 21:46, 20 September 2022

If $a$ and $b$ are two of the roots of $x^4+x^3-1=0$ , prove that $ab$ is a root of $x^6+x^4+x^3-x^2-1=0$ .

Given the roots $a,b,c,d$ of the equation $x^{4}+x^{3}-1=0$ .

First, Vieta's relations give $a+b+c+d = -1 , ab+ac+ad+bc+bd+cd=0, abc+abd+acd+bcd=0, abcd = -1$ .

Then $cd=-\frac{1}{ab}$ and $c+d=-1-(a+b)$ .

The other coefficients give $ab+(a+b)(c+d)+cd = 0$ or $ab+(a+b)[-1-(a+b)]-\frac{1}{ab}=0$ .

Let $a+b=s$ and $ab=p$ .

Thus, $0=ab+ac+ad+bc+bd+cd=p+s(-1-s)-\frac{1}{p}$ . (1)

Also, $0=abc+abd+acd+bcd=p(-1-s)-s/p$ .

Solving this equation for $s$ , $s= \frac{-p^2}{p^2+1}$ .

Substituting into (1): $\frac{p^{6}+p^{4}+p^{3}-p^{2}-1}{p(p^2+1)^2}=0$ .

Conclusion: $p =ab$ is a root of $x^{6}+x^{4}+x^{3}-x^{2}-1=0$ .

@@ Line 1: / Line 1: @@
 == Problem ==
-If <math> a</math> and <math> b</math> are two of the roots of <math> x^4\plus{}x^3\minus{}1\equal{}0</math>, prove that <math> ab</math> is a root of <math> x^6\plus{}x^4\plus{}x^3\minus{}x^2\minus{}1\equal{}0</math>.
+If <math> a</math> and <math> b</math> are two of the roots of <math> x^4+x^3-1=0</math>, prove that <math> ab</math> is a root of <math> x^6+x^4+x^3-x^2-1=0</math>.
-== Solution ==
+==Solution==
-{{solution}}
+Given the roots <math>a,b,c,d</math> of the equation <math>x^{4}+x^{3}-1=0</math>.
+First, Vieta's relations give <math>a+b+c+d = -1 , ab+ac+ad+bc+bd+cd=0, abc+abd+acd+bcd=0, abcd = -1</math>.
+Then <math>cd=-\frac{1}{ab}</math> and <math>c+d=-1-(a+b)</math>.
+The other coefficients give <math>ab+(a+b)(c+d)+cd = 0</math> or <math>ab+(a+b)[-1-(a+b)]-\frac{1}{ab}=0</math>.
+Let <math>a+b=s</math> and <math>ab=p</math>.
+Thus, <math>0=ab+ac+ad+bc+bd+cd=p+s(-1-s)-\frac{1}{p}</math>. &nbsp; (1)
+Also, <math>0=abc+abd+acd+bcd=p(-1-s)-s/p</math>.
+Solving this equation for <math>s</math>, <math>s= \frac{-p^2}{p^2+1}</math>.
+Substituting into (1): <math>\frac{p^{6}+p^{4}+p^{3}-p^{2}-1}{p(p^2+1)^2}=0</math>.
+Conclusion: <math>p =ab</math> is a root of <math>x^{6}+x^{4}+x^{3}-x^{2}-1=0</math>.
 == See Also ==
 {{USAMO box|year=1977|num-b=2|num-a=4}}
+{{MAA Notice}}
 [[Category:Olympiad Algebra Problems]]

1977 USAMO (Problems • Resources)
Preceded by Problem 2	Followed by Problem 4
1 • 2 • 3 • 4 • 5
All USAMO Problems and Solutions