α = π 1 ∫ 0 ∞ x 3 + x + 1 x 2 + x + 1 x d x
For α as defined above, find the value of 3 1 α 4 − 4 0 α 2 − 2 4 α .
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Did you solve the problem by hand?
Log in to reply
No. Wolfram Mathematica 11.3 was used. The integral, fully expanded, was nearly 2 screens full on a large monitor (the "herd of elephants"). I should note that the right hand expression is one of the four roots of the quartic equation: 3 1 α 4 − 4 0 α 3 − 2 4 α − 4 = 0 .
Is the given answer correct!?
I added an addendum to my original solution . I hope that helps.
I have a more general theorem for this problem.
I wrote up a solution in a a Math.SE posting , so let me simply outline the solution.
(Step 1) Write p ( x ) = x 2 + x + 1 and q ( x ) = x 3 + x + 1 . Choosing the branch cut of ⋅ as [ 0 , ∞ ) and utilizing the keyhole contour, α = x : q ( x ) = 0 ∑ q ′ ( x ) x i p ( x ) Since there are 3 distinct complex zeros of q ( x ) , there are 3 summands, which we denote by z 1 , z 2 , and z 3 . Obviously, α = z 1 + z 2 + z 3 .
(Step 2) The idea in this step is to identify the polynomial having zeros z 1 2 , z 2 2 , z 3 2 . Introduce a new variable y by y = ( q ′ ( x ) x i p ( x ) ) 2 = − x q ′ ( x ) 2 p ( x ) 2 . This y satisfies the equation p ( x ) 2 + y x q ′ ( x ) 2 = 0 . Let Z denotes the set of all possible values of y given q ( x ) = 0 , or equivalently, Z = { z 1 2 , z 2 2 , z 3 2 } . Then q ( x ) and p ( x ) 2 + y x q ′ ( x ) 2 have a common zero in C if y ∈ Z , and so, by the property of the resultant ,
On the other hand, by a direct computation, r e s ( q ( x ) , p ( x ) 2 + y x q ′ ( x ) 2 ) = 9 6 1 y 3 − 6 2 0 y 2 + 1 3 1 y − 9 . Since this is a cubic polynomial in y , it can have at most 3 distinct zeros in C , and so, the above observation tells that 9 6 1 y 3 − 6 2 0 y 2 + 1 3 1 y − 9 = 3 1 2 ( y − z 1 2 ) ( y − z 2 2 ) ( y − z 3 2 ) . In particular, by the Vieta's formula , z 1 2 + z 2 2 + z 3 2 = 9 6 1 6 2 0 = 3 1 2 0 , z 1 2 z 2 2 + z 2 2 z 3 2 + z 3 2 z 1 2 = 9 6 1 1 3 1 , z 1 2 z 2 2 z 3 2 = 9 6 1 9 = ( 3 1 3 ) 2 . Moreover, although non-trivial, it can also be shown that z 1 z 2 z 3 is positive, and so, z 1 z 2 z 3 = 3 1 3 .
(Step 3) Now we are almost done. Squaring α first, α 2 = ( z 1 2 + z 2 2 + z 3 2 ) + 2 ( z 1 z 2 + z 2 z 3 + z 3 z 1 ) = 3 1 2 0 + 2 ( z 1 z 2 + z 2 z 3 + z 3 z 1 ) Subtracting 3 1 2 0 from both sides and squaring again, ( α 2 − 3 1 2 0 ) 2 = 4 ( z 1 2 z 2 2 + z 2 2 z 3 2 + z 3 2 z 1 2 ) + 8 z 1 z 2 z 3 ( z 1 + z 2 + z 3 ) = 9 6 1 5 2 4 + 3 1 2 4 α . Simplifying, it follows that 3 1 α 4 − 4 0 α 2 − 2 4 α = 4 as required.
Excellent solution...thank you sir.
I sent a more general theorem of this problem for publishing.
i did the equation wrong but got the answer right...
Problem Loading...
Note Loading...
Set Loading...
α = π ∫ 0 ∞ ( x 3 + x + 1 ) x x 2 + x + 1 d x ⟹ 2 1 9 3 2 8 3 4 7 − 3 9 3 2 + 9 3 1 2 2 / 3 2 3 4 7 − 3 9 3 + 2 4 3 1 ( − 1 4 3 4 7 − 3 9 3 2 − 2 2 / 3 3 4 7 − 3 9 3 + 4 0 ) 6 + 9 3 1 6 0 + − 1 4 3 4 7 − 3 9 3 2 − 2 2 / 3 3 4 7 − 3 9 3 + 4 0 1 8 6 1
3 1 α 4 − 4 0 α 2 − 2 4 α ⟹ 4
And, you should have seen the "herd of elephants" in the middle!
Addendum: FullSimplify [ Root [ 3 1 $#$1 4 − 4 0 $#$1 2 − 2 4 $#$1 − 4 & , 2 ] − π ∫ 0 ∞ ( x 3 + x + 1 ) x x 2 + x + 1 d x ] ⟹ 0
The result above states that there is 0 difference between the 2 n d root of 3 1 α 4 − 4 0 α 2 − 2 4 α − 4 = 0 and the result of the integral.
Q.E.D. The answer is correct. How the author derived this problem, I have not idea.