280. Common roots of two polynomial equations.
by Virgil Nicula, May 24, 2011, 2:19 PM
Lemma. If the equations
have at least a common root 
and in this case the common root is
.
Proof 1. I denoted
. Solve the linear system
and
obtain
and
. In conclusion,
.
Proof 2. Let the equations
, where
.
These equations has at least a common root



.
PP1. If
and
are the roots of
, then find the equation with roots
,
.
Proof. Denote
. The equations
have at least a common root 
, i.e. the equation in
is
.
PP2. Ascertain
so that the equation
has at least a real root and in this case solve the given equation.
Proof. Our equation is equivalently with
. If this equation has at least a real root, then exists
so that the
equations with real coefficients
have at least a common real root. Apply upper lemma :
,
i.e. the equation in
is

from where obtain
. The initial equation becomes
which has the roots
and
.
Another examples. Ascertain
so that the following equations have at least a real root and in this case solve these:



PP3. Ascertain
so that the equations
have at least two common roots.
Proof.



![\[\mathrm{Upper\ equations\ have\ two\ common\ roots}\]](//latex.artofproblemsolving.com/7/c/8/7c883c1ba883855d308fb4f630501680275776fe.png)
![\[\frac {2n+2}{3}=\frac {m+2n+12}{2n+5}=\frac {6n}{m+2n}\]](//latex.artofproblemsolving.com/3/7/8/378b936e150d3f3b2da3e969b32b19a05976e78a.png)
![\[\begin{array}{c}
(2n+2)(2n+5)=3(m+2n+12)\\\\
(2n+2)(m+2n)=18n\end{array}\]](//latex.artofproblemsolving.com/a/e/2/ae2249415fe9cc09436cb287cf86d2fb6cb08de6.png)
![\[\begin{array}{c}
4\cdot \underline n^2+8\cdot \underline n-(3m+26)=0\\\\
4\cdot \underline n^2+2(m-7)\cdot \underline n+2m=0\end{array}\ (*)\]](//latex.artofproblemsolving.com/4/2/6/426ed081c0a2c0e5ba46c7b2c0a8fd6007ddfb53.png)
![\[\mathrm{Upper\ equations\ have\ at\ least\ a\ common\ root\ in\ variable\ \underline n}\ :\]](//latex.artofproblemsolving.com/8/c/f/8cf38779f41e53b498f1c0df6fe7afa061f57c90.png)
![\[n_{com}=-\frac {\left|\begin{array}{cc}
4 & -(3m+26)\\\
4 & 2m\end{array}\right|}{\left|\begin{array}{cc}
4 & 8\\\
4 & 2(m-7)\end{array}\right|}=-\frac {5m+26}{2(m-11)}\]](//latex.artofproblemsolving.com/8/9/8/8984755a3f4f3652d64f204e86415a76753a1de4.png)
![\[\left|\begin{array}{cc}
4 & -(3m+26)\\\
4 & 2m\end{array}\right|^2=\left|\begin{array}{cc}
4 & 8\\\
4 & 2(m-7)\end{array}\right|\cdot\left|\begin{array}{cc}
8 & -(3m+26)\\\
2(m-7) & 2m\end{array}\right|\]](//latex.artofproblemsolving.com/8/5/a/85a17c4e20a3afcee26f0faab27c23090e40d8f6.png)
![\[\left|\begin{array}{cc}
1 & -(3m+26)\\\
1 & 2m\end{array}\right|^2=\left|\begin{array}{cc}
1 & 4\\\
1 & m-7\end{array}\right|\cdot\left|\begin{array}{cc}
4 & -(3m+26)\\\
m-7 & 2m\end{array}\right|\]](//latex.artofproblemsolving.com/5/0/7/5078060ca9bbf73c0af51795025e64a284834e79.png)
![\[(5m+26)^2=(m-11)(3m^2+13m-182)\]](//latex.artofproblemsolving.com/0/5/b/05bae7df3557c309f7b9865764527509740df79a.png)
![\[m^3-15m^2-195m+432=0\]](//latex.artofproblemsolving.com/6/3/0/6308b899be022033e88047f3f34aff17eed2ae30.png)
![\[(m-2)(m^2-13m-221)=0\]](//latex.artofproblemsolving.com/6/e/f/6ef753b92809e315b740d2506766ab286eaeb88c.png)
![\[\boxed{\ m=n=2\ }\]](//latex.artofproblemsolving.com/2/6/8/26834e2b851191d22bf5fe2a64d77ac11b6c45a2.png)
Otherwise, can eliminate
between the equations from
and obtain
, i.e.
a.s.o.
In this case
, i.e. the common roots are
and
.
PP4. The real numbers
satisfy
,
and
. Find the value of
.
Proof 1.

. In conclusion
.
Remark.
.
Proof 2. For
I"ll show that
. Indeed,
and 
. Particular case.
and
.
PP5. If
has a factor of the form
, then prove that
.
Proof. If
we have
has a factor
, i.e.
,
and the statement is true. Now let's see the
case when
. Thus,
![$ax\left[-p^2(px+1)+2px+1\right]-b(px+1)+c\stackrel{f}{\equiv}$](//latex.artofproblemsolving.com/1/6/3/163467095c3f8e85af61ac600ba9c635c1a4a88e.png)
. Therefore,
has a factor of the form
the equations
in the variable
have at least a common root, i.e.
. In conclusion,
and
, i.e.
.
Example. For
,
and
obtain that
.
PP6. Find the relation between
such that the equations
have at least a common root.
Proof.
.
PP7. Let
be real numbers so that
. Show that the equations
have at least a common root if and only if
.
Proof. The equations from
have at least a common root (denote it by
)
the homogeneous system

has at least a nonzero solution

or
.
PP8. Let
nonzero real numbers. If the equations
and 
have only one common root, then prove that the other roots verify the equation
.
Proof. The equations
have only one common root
and

because
and
. The common root is
,
i.e.
, because
. Therefore, other rooots are
,
and
, i.e. these roots verify the equation
.






Proof 1. I denoted


obtain



Proof 2. Let the equations


These equations has at least a common root






PP1. If





Proof. Denote






PP2. Ascertain


Proof. Our equation is equivalently with


equations with real coefficients


i.e. the equation in





from where obtain

![$(z-1)\cdot[(1+2i)\cdot z+(3+i)]=0$](http://latex.artofproblemsolving.com/f/6/b/f6b4c840a76e3c534378ae4b3f7d14a0744ad30f.png)


Another examples. Ascertain




PP3. Ascertain


Proof.




![\[\mathrm{Upper\ equations\ have\ two\ common\ roots}\]](http://latex.artofproblemsolving.com/7/c/8/7c883c1ba883855d308fb4f630501680275776fe.png)
![\[\frac {2n+2}{3}=\frac {m+2n+12}{2n+5}=\frac {6n}{m+2n}\]](http://latex.artofproblemsolving.com/3/7/8/378b936e150d3f3b2da3e969b32b19a05976e78a.png)
![\[\begin{array}{c}
(2n+2)(2n+5)=3(m+2n+12)\\\\
(2n+2)(m+2n)=18n\end{array}\]](http://latex.artofproblemsolving.com/a/e/2/ae2249415fe9cc09436cb287cf86d2fb6cb08de6.png)
![\[\begin{array}{c}
4\cdot \underline n^2+8\cdot \underline n-(3m+26)=0\\\\
4\cdot \underline n^2+2(m-7)\cdot \underline n+2m=0\end{array}\ (*)\]](http://latex.artofproblemsolving.com/4/2/6/426ed081c0a2c0e5ba46c7b2c0a8fd6007ddfb53.png)
![\[\mathrm{Upper\ equations\ have\ at\ least\ a\ common\ root\ in\ variable\ \underline n}\ :\]](http://latex.artofproblemsolving.com/8/c/f/8cf38779f41e53b498f1c0df6fe7afa061f57c90.png)
![\[n_{com}=-\frac {\left|\begin{array}{cc}
4 & -(3m+26)\\\
4 & 2m\end{array}\right|}{\left|\begin{array}{cc}
4 & 8\\\
4 & 2(m-7)\end{array}\right|}=-\frac {5m+26}{2(m-11)}\]](http://latex.artofproblemsolving.com/8/9/8/8984755a3f4f3652d64f204e86415a76753a1de4.png)
![\[\left|\begin{array}{cc}
4 & -(3m+26)\\\
4 & 2m\end{array}\right|^2=\left|\begin{array}{cc}
4 & 8\\\
4 & 2(m-7)\end{array}\right|\cdot\left|\begin{array}{cc}
8 & -(3m+26)\\\
2(m-7) & 2m\end{array}\right|\]](http://latex.artofproblemsolving.com/8/5/a/85a17c4e20a3afcee26f0faab27c23090e40d8f6.png)
![\[\left|\begin{array}{cc}
1 & -(3m+26)\\\
1 & 2m\end{array}\right|^2=\left|\begin{array}{cc}
1 & 4\\\
1 & m-7\end{array}\right|\cdot\left|\begin{array}{cc}
4 & -(3m+26)\\\
m-7 & 2m\end{array}\right|\]](http://latex.artofproblemsolving.com/5/0/7/5078060ca9bbf73c0af51795025e64a284834e79.png)
![\[(5m+26)^2=(m-11)(3m^2+13m-182)\]](http://latex.artofproblemsolving.com/0/5/b/05bae7df3557c309f7b9865764527509740df79a.png)
![\[m^3-15m^2-195m+432=0\]](http://latex.artofproblemsolving.com/6/3/0/6308b899be022033e88047f3f34aff17eed2ae30.png)
![\[(m-2)(m^2-13m-221)=0\]](http://latex.artofproblemsolving.com/6/e/f/6ef753b92809e315b740d2506766ab286eaeb88c.png)
![\[\boxed{\ m=n=2\ }\]](http://latex.artofproblemsolving.com/2/6/8/26834e2b851191d22bf5fe2a64d77ac11b6c45a2.png)
Otherwise, can eliminate




In this case



PP4. The real numbers





Proof 1.










Remark.




Proof 2. For














PP5. If



Proof. If





case when


![$ax\left[-p^2(px+1)+2px+1\right]-b(px+1)+c\stackrel{f}{\equiv}$](http://latex.artofproblemsolving.com/1/6/3/163467095c3f8e85af61ac600ba9c635c1a4a88e.png)













Example. For




PP6. Find the relation between


Proof.



PP7. Let




Proof. The equations from





has at least a nonzero solution




![$\left[(a+b+c)+d\right]\cdot \left(\sum a^2-\sum bc\right)=0\iff$](http://latex.artofproblemsolving.com/5/a/d/5adac761a7ebceca9dd1c2fd3b47917740100550.png)


PP8. Let



have only one common root, then prove that the other roots verify the equation

Proof. The equations










i.e.






This post has been edited 80 times. Last edited by Virgil Nicula, Nov 22, 2015, 6:46 AM