Waste less time on Facebook — follow Brilliant.
×

Algebra (Thailand Math POSN 2nd round)

Write a full solution,

  1. Find all roots of \(x^{5}+x^{4}+x^{3}-x^{2}-x-1 = 0\).

  2. Prove that \(\displaystyle \left(\frac{1+\sin\theta+i\cos\theta}{1+\sin\theta-i\cos\theta}\right)^{n} = \cos\left(\frac{n\pi}{2}-n\theta\right)+i\sin\left(\frac{n\pi}{2}-n\theta\right)\)

  3. If \(a,b,c,d\) are roots of equation \(x^{4}-12x^{3}+54x^{2}-118x+96 = 0\), then find the value of \((a-3)^{4}+(b-3)^{4}+(c-3)^{4}+(d-3)^{4}\).

  4. Let \(P(x),Q(x)\) be polynomial with real coefficients such that \(\deg(P(x)) > \deg(Q(x))\). Find all solutions \((P(x),Q(x))\) that satisfy \(P(x)^{2}+Q(x)^{2} = x^{6}+1\).

This note is a part of Thailand Math POSN 2nd round 2015

Note by Samuraiwarm Tsunayoshi
2 years, 5 months ago

No vote yet
1 vote

Comments

Sort by:

Top Newest

Solution for Q-3:

Using binomial theorem, one can note that,

\[P(x)=(x-3)^4-10x+15\]

We have, using Remainder-Factor Theorem and the fact that \(a,b,c,d\) are roots of \(P(x)\) that,

\[P(x)=(x-3)^4-10x+15=0~\forall~x\in\{a,b,c,d\}\implies (x-3)^4=10x-15~\forall~x\in\{a,b,c,d\}\]

Using the last result, we have the sum as,

\[\sum_{x\in\{a,b,c,d\}} (x-3)^4=\sum_{x\in\{a,b,c,d\}} (10x-15)\]

Using Vieta's formulas, we have,

\[\displaystyle \sum_{x\in\{a,b,c,d\}} (x) = 12\\ \implies \sum_{x\in\{a,b,c,d\}} (10x)=120\]

Hence, the required sum evaluates as,

\[\sum_{x\in\{a,b,c,d\}} (x-3)^4=\sum_{x\in\{a,b,c,d\}} (10x-15)=\left\{\left(\sum_{x\in\{a,b,c,d\}} (10x)\right)-\left(\sum_{x\in\{a,b,c,d\}} (15)\right)\right\}=120-15\times 4=120-60=\boxed{60}\] Prasun Biswas · 2 years, 5 months ago

Log in to reply

@Prasun Biswas Nicely done. Calvin Lin Staff · 2 years, 5 months ago

Log in to reply

@Calvin Lin Your hint did most of the work. So, the credit actually goes to you. :) Prasun Biswas · 2 years, 5 months ago

Log in to reply

A more straightforward solution for Q-2 using Calvin's hint:

We first modify the expression of LHS by multiplying numerator and denominator of the expression inside brackets by \((1+\sin\theta+i\cos\theta)\).

\[\textrm{LHS}=\left(\frac{1+\sin\theta+i\cos\theta}{1+\sin\theta-i\cos\theta}\right)^n=\left(\frac{(1+\sin\theta+i\cos\theta)^2}{(1+\sin\theta)^2-(i\cos\theta)^2}\right)^n\\ \implies \textrm{LHS}=\left(\frac{1-\cos^2\theta+\sin^2\theta+2\sin\theta+2i\cos\theta+2i\cos\theta\sin\theta}{1+\sin^2\theta+\cos^2\theta+2\sin\theta}\right)^n\\ \implies \textrm{LHS}=\left(\frac{2\sin\theta+2\sin^2\theta+2i\cos\theta+2i\cos\theta\sin\theta}{2+2\sin\theta}\right)^n\\ \implies \textrm{LHS}=\left(\frac{2(1+\sin\theta)(\sin\theta+i\cos\theta)}{2(1+\sin\theta)}\right)^n=(\sin\theta+i\cos\theta)^n\\ \implies \textrm{LHS}=\bigg(\cos\left(\frac{\pi}{2}-\theta\right)+i\sin\left(\frac{\pi}{2}-\theta\right)\bigg)^n\]

Using Euler's formula \(e^{i\theta}=\cos\theta+i\sin\theta\) and laws of indices, we can modify LHS as,

\[\textrm{LHS}=\large \left(e^{\left(\frac{\pi}{2}-\theta\right)}\right)^n=e^{n\left(\frac{\pi}{2}-\theta\right)}=e^{\left(\frac{n\pi}{2}-n\theta\right)}=\cos\left(\frac{n\pi}{2}-n\theta\right)+i\sin\left(\frac{n\pi}{2}-n\theta\right)=\textrm{RHS}\]

\[\therefore\quad \left(\frac{1+\sin\theta+i\cos\theta}{1+\sin\theta-i\cos\theta}\right)^{n} = \cos\left(\frac{n\pi}{2}-n\theta\right)+i\sin\left(\frac{n\pi}{2}-n\theta\right)\]

And we are done. \(_\square\)


Elementary identities used:

  • \(\cos^2\theta+\sin^2\theta=1\)
  • \((a+b+c)^2=a^2+b^2+c^2+2(ab+bc+ca)\)
  • \(\cos\left(\frac{\pi}{2}-\theta\right)=\sin\theta\)
  • \(\sin\left(\frac{\pi}{2}-\theta\right)=\cos\theta\)
Prasun Biswas · 2 years, 5 months ago

Log in to reply

@Prasun Biswas I also noticed that one can directly get the RHS form without going into Euler's formula by directly using De Moivre's Theorem. Prasun Biswas · 2 years, 5 months ago

Log in to reply

4) \( \deg(P^2) = 2 \deg(P) > 2 \deg Q = \deg(Q^2) \).

\(6 = \deg(x^6 + 1) = \deg(P^2 + Q^2) = \deg(P^2) = 2\deg(P) \).

\(\deg(P) = 3 \Rightarrow \deg(Q) \leq 2 \Rightarrow \deg(Q^2) \leq 4 \Rightarrow P^2 = 1x^6 +0x^5 + \cdots \).

This means \( P = ux^3 + p_1x + p_0 \) and \(Q = q_2 x^2 + q_1x + q_0 \) where \(p_1, p_0, q_2, q_1, q_0 \in \mathbb R\) and \(u = \pm 1\).

From \(P^2 + Q^2 = x^6 + 1 \) we get the following equations

\[ \displaystyle{ \cases{ p_0^2 + q_0^2 = 1 \\ \ \\ p_0p_1 + q_0q_1 = 0 \\ \ \\ p_1^2 + q_1^2 +2q_0q_2 = 0\\ \ \\ up_0 + q_1q_2 = 0 \\ \ \\ 2up_1 + q_2^2 = 0 } } \]

The first one tell us there is \(\alpha \in [0, 2\pi) \) such that

\[ (p_0, q_0) = (\cos \alpha, \sin \alpha) \]

The second equation states that

\[ (p_0, q_0) \perp (p_1, q_1) \]

so must exist \( \rho \in \mathbb R \) such that

\[ (p_1, q_1) = (-\rho \sin \alpha, \rho \cos \alpha) \]

Assuming \( \cos\alpha \not= 0\) the fourth equation becomes

\[ q_2 = -\frac{u}{\rho} \]

Assuming \( \sin\alpha \not= 0\) the fifth and the third equations become

\[ q_2^2 = 2u\rho\sin\alpha \\ q_2 = - \frac{\rho^2}{2\sin\alpha} \]

Squaring the latter we get

\[ \frac{\rho^4}{4\sin^2\alpha} = q_2^2 = 2u\rho\sin\alpha\]

and so

\[ \rho^3 = 8u\sin^3\alpha \]

By the iniectivity of the function \(f(x) = x^3\) and by the obvious fact that \(u^3 = u\) we get

\[ \rho = 2u\sin\alpha\]

Using this equality into

\[ q_2 = -\dfrac{u}{\rho} \quad \textrm{ and } \quad q_2 = - \dfrac{\rho^2}{2\sin\alpha} \]

we see that

\[ q_2 = -2\sin\alpha \quad \textrm{ and } \quad \sin^2\alpha = \dfrac{1}{4} \]

So we find \(\sin\alpha = \pm \dfrac{1}{2}\) and the possible values for \( \alpha \) are

\[\alpha = \dfrac{\pi}{6}, \dfrac{5\pi}{6}, \dfrac{7\pi}{6}, \dfrac{11\pi}{6}\]

and the following identities

\[ \displaystyle{ \cases{ p_0 = \cos\alpha \\ \ \\ q_0 = \sin\alpha \\ \ \\ p_1 = -2u\sin^2\alpha = -2uq_o^2\\ \ \\ q_1 = 2u\sin\alpha\cos\alpha = 2uq_0p_0 \\ \ \\ q_2 = -2\sin\alpha = -2q_0 } } \]

Putting in the possible values for \(\alpha\) we get the following 8 couples of polynomials (each vale giving two polynomials depending on \(u\) being \(1\) or \(-1\) ) that we can write in short in the following way.

Define

\[ A =x^3 - \dfrac{x}{2} + \dfrac{\sqrt 3}{2} \quad \textrm{ and } \quad B = x^2 - \dfrac{\sqrt3}{2}x - \dfrac{1}{2} \] \[ C =x^3 - \dfrac{x}{2} - \dfrac{\sqrt 3}{2} \quad \textrm{ and } \quad D = x^2 + \dfrac{\sqrt3}{2}x - \dfrac{1}{2} \]

then the following are solution of our problem

\[ (P,Q) =\cases{ (\pm A , \pm B) \\ \ \\ (\pm C , \pm D) } \]

This solution left out the cases in which \(\cos \alpha \cdot \sin \alpha = 0 \). These cases lead to trivial solutions as we can easily find out.

If \(\cos\alpha = 0\) then \(p_0 = 0\) and \(q_0 = v = \pm1\), and we immediately get \(q_1 = 0\) and \(p_1 = -v\rho\). The equations \[\cases{p_1^2 + q_1^2 +2q_0q_2 = 0 \\ \ \\ 2up_1 + q_2^2 = 0} \quad \quad \textrm{become} \quad \quad \cases{\rho^2 +2vq_2 = 0 \\ \ \\ -2uv\rho + q_2^2 = 0 } \]

\[\cases{\rho(\rho^3 -8uv) = 0 \\ \ \\ q_2= - \dfrac{\rho^2}{2v} } \]

By the upper equation we have either \(\rho = 0\) or \(\rho = 2uv\) If \(\rho = 0\) we get \(q_2=p_1=0\) so in this case

\[ \displaystyle{ \cases{ p_0 = 0 \\ \ \\ q_0 = v = \pm1 \\ \ \\ p_1 = 0\\ \ \\ q_1 = 0 \\ \ \\ q_2 = 0 } } \]

that leads to these four couple of solutions

\[ (P,Q) = (\pm x^3 , \pm 1) \]

If \(\rho = 2uv\) we get \(q_2= -2v, p_1= -2u \) so in this case

\[ \displaystyle{ \cases{ p_0 = 0 \\ \ \\ q_0 = v = \pm1 \\ \ \\ p_1 = -2u\\ \ \\ q_1 = 0 \\ \ \\ q_2 = -2v } } \]

that gives these other four couples

\[ (P,Q) = (\pm (x^3 -2x), \pm (2x^2 -1) ) \]

Last case is when \( \sin \alpha = 0 \). In this case we get \(q_0 = p_1 = 0, p_0 = v, q_1 = \rho v \) where \(v = \pm 1 \). The equations

\[\cases{p_1^2 + q_1^2 +2q_0q_2 = 0 \\ \ \\ 2up_1 + q_2^2 = 0} \quad \quad \textrm{become} \quad \quad \cases{\rho^2 = 0 \\ \ \\ q_2^2 = 0 } \]

so \(\rho=q_2=q_1=0\) and the equation \(up_0 + q_1q_2 = 0 \) becomes

\[uv = 0 \]

that is always false. So this latter case doesn't lead to any further solution and our analysis is complete.

We found 16 pairs of polynomials \( (P, Q) \in (\mathbb R[x])^2 \) that satisfy the equation. Andrea Palma · 2 years, 5 months ago

Log in to reply

@Andrea Palma It's not clear to me what you're trying to do here. Are you saying that no such polynomials exist? Calvin Lin Staff · 2 years, 5 months ago

Log in to reply

@Calvin Lin I don't know! I ended up finding 8 couples of polynomials. I was sure I posted the solution but I guess my internet connection (or me) failed to post the whole solution. I will repost it in short time. I'm writing right now.

-----EDIT---- Just wrote the solution that I made this morning. I just realized that I didn't examine some cases, and so my solution is not complete, but the cases left put are easy to handle (I feel) and I'll do as soon as possible.

--- EDIT --- Added also the trivial cases (boring). Now I think the problem is completely discussed and solved. Andrea Palma · 2 years, 5 months ago

Log in to reply

\(Q-1\)

\(x^5+x^4+x^3-x^2-x-1 = (x-1)(x^4+2x^3+3x^2+2x+10)\)\(\implies \text{one root is 1}\)

\(x^4+2x^3+3x^2+2x+1=0\implies x^2+2x +3+\dfrac{2}{x}+\dfrac{1}{x^2}=0\) \(\implies \left(x+\dfrac{1}{x}\right)^2-2+2\left(x+\dfrac{1}{x}\right)+3=0\)

\(x+\dfrac{1}{x} = m\)

\(m^2+2m+1=0 \implies \left(m+1\right)^2=0\implies m=1,1\)

\(x+\dfrac{1}{x}=1 \text{On solving using quadratic equations we get x}=\omega,\omega^2\)

(\(\implies \text{we get 4 roots from here }\omega,\omega,\omega^2,\omega^2\))

roots are \(\implies\) \(\boxed{\omega,\omega^2,1,\omega,\omega^2}\) Parth Lohomi · 2 years, 5 months ago

Log in to reply

@Parth Lohomi You can factor it the easier way: \(x^5 + x^4 + x^3 - x^2 - x - 1 = x^3(x^2 + x^2 + 1) - (x^2 + x + 1) = (x^3-1)(x^2+x+1) \)

\( \Rightarrow (x-1)(x^2+x+1)^2 = 0 \Rightarrow x = 1, \omega, \omega^2 \) Pi Han Goh · 2 years, 5 months ago

Log in to reply

@Pi Han Goh What motivated you to factor out \(x^{2}+x+1\) ? Aditya Sky · 1 year, 3 months ago

Log in to reply

@Aditya Sky Looking at Parth's solution tells us that \(x^2 + x+ 1 \) is a factor, so I just factor \(x^2+x+1\) from the start. Pi Han Goh · 1 year, 3 months ago

Log in to reply

2) is pretty simple. First, replace \( \theta = \pi/2 - a \).

Then, \( 1 +\sin \theta + i \cos \theta = 1 + \cos a + i \sin a = 2\cos^2a/2 + i2\sin(a/2) \cos(a/2) = 2\cos(a/2)(\cos a/2+i\sin a/2) \)

Put \( b = a/2 \) Likewise, \( 1 + \sin\theta - i\cos \theta = 2\cos b(\cos b-i\sin b). \)

Then \( \dfrac{1 + \sin\theta + i \cos \theta }{1 + \sin\theta - i\cos \theta } = \dfrac{2\cos b(\cos b+i\sin b)}{2\cos b(\cos b-i\sin b)} = \dfrac{\cos b+i\sin b}{\cos b-i\sin b} \)

\( = \dfrac{(\cos b+i\sin b)}{(\cos b-i\sin b)} * \dfrac{(\cos b+i\sin b)}{(\cos b+i\sin b)} = \dfrac{(\cos b+i\sin b)^2}{\cos^2 b + \sin^2 b} = (\cos b+i\sin b)^2 \)

Therefore, \( (\dfrac{1 + \sin\theta + i \cos \theta }{1 + \sin\theta - i\cos \theta })^n = ((\cos b+i\sin b)^2)^n = (\cos b + i\sin b)^{2n} \)

\( = \cos 2bn + i\sin 2bn = \cos an + i\sin an = \cos(n(\pi/2 - a)) + i\sin(n(\pi/2 - a)) \) Siddhartha Srivastava · 2 years, 5 months ago

Log in to reply

@Siddhartha Srivastava There's a more straightforward way to solve 2.

Hint: \( \left( e ^ { i \theta } \right) ^n = e^{i \theta n } \). Calvin Lin Staff · 2 years, 5 months ago

Log in to reply

@Calvin Lin I'm confused? Isn't Demoivre's theroem equivalent to that fact? Siddhartha Srivastava · 2 years, 5 months ago

Log in to reply

@Siddhartha Srivastava Yes it is. The hints that I give are often to suggest alternative approaches, that you would have to work out how to apply them. In this case, see Prasun's solution above. Calvin Lin Staff · 2 years, 5 months ago

Log in to reply

@Calvin Lin I was asking because I had used Demoivre's theorem. I'm also not sure how Prasun's solution is vastly different from mine, since we use almost the same approach. The only major difference in our solutions is the way we simplify the original expression Siddhartha Srivastava · 2 years, 5 months ago

Log in to reply

@Siddhartha Srivastava Ah, the difference is more in terms of motivation. IE, to explain that the intermediate step is \( \left( \cos ( \frac{\pi}{2} - \theta) + \sin ( \frac{\pi}{2} - \theta ) \right) ^ n \), which would explain why we did the calculations that we did. Calvin Lin Staff · 2 years, 5 months ago

Log in to reply

@Calvin Lin That was a big hint too. :P Prasun Biswas · 2 years, 5 months ago

Log in to reply

\(Q-3\)

This is not a solution

I Used Newtons sums to get answer \(\boxed{60}\) Parth Lohomi · 2 years, 5 months ago

Log in to reply

@Parth Lohomi There is a pretty simple solution.

Hint: What is \( (x-3)^4 \)? Calvin Lin Staff · 2 years, 5 months ago

Log in to reply

@Calvin Lin Yes sir , on opening all the terms I got

\[P_4-12P_3+54P_2-108P_1+324\]

Where \(P_n=a^n+b^n+c^n+d^n\)

now we can apply newtons sums. Parth Lohomi · 2 years, 5 months ago

Log in to reply

@Parth Lohomi See Prasun's solution at the top for the "two-line" solution to this problem. Calvin Lin Staff · 2 years, 5 months ago

Log in to reply

@Calvin Lin That was quite a big hint. :D Prasun Biswas · 2 years, 5 months ago

Log in to reply

@Parth Lohomi Did you mean Q3? Samuraiwarm Tsunayoshi · 2 years, 5 months ago

Log in to reply

@Samuraiwarm Tsunayoshi Yes. Parth Lohomi · 2 years, 5 months ago

Log in to reply

3) a,b,c,d are roots of equation , so

(a-3)^4 = 10a-15 ------m

(b-3)^4 = 10b-15 -------n

(c-3)^4 = 10c-15 -------o

(d-3)^4 = 10d-15 -------p

from vieta's formula we'll get a+b+c+d = 12

m+n+o+p ; (a-3)^4+(b-3)^4+(c-3)^4+(d-3)^4 = 10(a+b+c+d)-60 = 10(12)-60 = 60

so, (a-3)^4+(b-3)^4+(c-3)^4+(d-3)^4 = 60 Nut Nutthapong · 2 years, 5 months ago

Log in to reply

\(1.\quad { x }^{ 5 }+{ x }^{ 4 }+{ x }^{ 3 }-{ x }^{ 2 }-x-1\\ ={ x }^{ 5 }+{ x }^{ 4 }+{ x }^{ 3 }-\left( { x }^{ 2 }+x+1 \right) \\ ={ x }^{ 3 }\left( { x }^{ 2 }+x+1 \right) -1\left( { x }^{ 2 }+x+1 \right) \\ =\left( { x }^{ 2 }+x+1 \right) \left( { x }^{ 3 }-1 \right) \\ =\left( { x }^{ 2 }+x+1 \right) \left( { x }^{ 2 }+x+1 \right) \left( x-1 \right) \\ \\ Solving\quad quadratics,\quad we\quad get\quad roots\quad 1,\omega ,\omega ,{ \omega }^{ 2 },{ \omega }^{ 2 }\) Archit Boobna · 2 years, 5 months ago

Log in to reply

×

Problem Loading...

Note Loading...

Set Loading...