Let P be the product of the nonreal roots of x4−4x3+6x2−4x=2005. Find ⌊P⌋.
解析
Solution 1
The left-hand side of that equation is nearly equal to (x−1)4. Thus, we add 1 to each side in order to complete the fourth power and get (x−1)4=2006.
Let r=42006 be the positive real fourth root of 2006. Then the roots of the above equation are x=1+inr for n=0,1,2,3. The two non-real members of this set are 1+ir and 1−ir. Their product is P=1+r2=1+2006. 442=1936<2006<2025=452 so ⌊P⌋=1+44=045.
Solution 2
Starting like before, (x−1)4=2006 This time we apply differences of squares. (x−1)4−2006=0 so ((x−1)2+2006)((x−1)2−2006)=0 If you think of each part of the product as a quadratic, then ((x−1)2+2006) is bound to hold the two non-real roots since the other definitely crosses the x-axis twice since it is just x2 translated down and right. Therefore P is the product of the roots of ((x−1)2+2006) or P=1+2006 so
⌊P⌋=1+44=045.
Solution 3
If we don't see the fourth power, we can always factor the LHS to try to create a quadratic substitution. Checking, we find that x=0 and x=2 are both roots. Synthetic division gives (x2−2x)(x2−2x+2)=2005. We now have our quadratic substitution of y=x2−2x+1=(x−1)2, giving us (y−1)(y+1)=2005. From here we proceed as in Solution 1 to get 045.
Solution 4
Realizing that if we add 1 to both sides we get x4−4x3+6x2−4x+1=2006 which can be factored as (x−1)4=2006. Then we can substitute (x−1) with y which leaves us with y4=2006. Now subtracting 2006 from both sides we get some difference of squares y4−2006=0→(y−42006)(y+42006)(y2+2006)=0. The question asks for the product of the complex roots so we only care about the last factor which is equal to zero. From there we can solve y2+2006=0, we can substitute (x−1) for y giving us (x−1)2+2006=0, expanding this we get x2−2x+1+2006=0. We know that the product of a quadratics roots is ac which leaves us with 11+2006=1+2006≈045.
Solution 5
As in solution 1, we find that (x−1)4=2006. Now x−1=±42006 so x1=1+42006 and x2=1−42006 are the real roots of the equation. Multiplying, we get x1x2=1−2006. Now transforming the original function and using Vieta's formula, x4−4x3+6x2−4x−2005=0 so x1x2x3x4=1−2005=−2005. We find that the product of the nonreal roots is x3x4=1−2006−2005≈45.8 and we get 045.
Note: 42006−12005=20052005(1+42006)=1+42006.
Solution 6 (De Moivre's Theorem)
As all the other solutions, we find that (x−1)4=2006. Thus x=42006+1. Thus x=42006(cos(42π(k)+isin(42π(k)))+1 when k=0,1,2,3. The complex values of x are the ones where isin(42π(k)) does not equal 0. These complex roots are 1+42006(i) and 1−42006(i). The product of these two nonreal roots is (1+42006(i))(1−42006(i)) which is equal to 1+2006. The floor of that value is 045.
Solution 7 (The Floor Divisor Method)
Continue Solution 1 until we obtain the equation (x−1)4=2006. Then, we see that x=1±42006. While one could see the possible roots are 1±42006, and 1±42006i, and obtain 45, one could have also seen the product of all roots is −2005 through Vieta's. Then, the product of the two remaining real roots is 1−2006, and thus the wanted value is ⌊1−2006−2005⌋ or ⌊2006−12005⌋, which through the divisor method is ⌊⌊2006−1⌋2005⌋+1, or ⌊432005⌋+1, whose floor is 045.
~Pinotation
The formal Floor Divisor Method states that for all a and b, where A=⌊a⌋,B=⌊b⌋, the floor of ba is
⌊a/b⌋=⌊BA−11(amodb)<(AmodB)⌋
More informally, without the bolded 1 (conditional 1),
For all A=⌊a⌋,B=⌊b⌋, \begin{array}{c} \lfloor a/b \rfloor = \begin{cases} \lfloor A/B \rfloor & \text{if } a \ge \lfloor A/B \rfloor \cdot b \\[2mm] \lfloor A/B \rfloor - 1 & \text{if } a < \lfloor A/B \rfloor \cdot b \end{cases} \end{array}
As a problem to the reader, try to figure out why I simplified this formula above into ⌊ba⌋+1 for this problem, and when should and should not simplify to this form.