Integral in the form of an algebraic equation.

Calculus Level 5

α = 1 π 0 x 2 + x + 1 x 3 + x + 1 d x x \large \alpha = \frac 1\pi \int_0^\infty \frac {x^2+x+1}{x^3+x+1} \frac {dx}{\sqrt x}

For α \alpha as defined above, find the value of 31 α 4 40 α 2 24 α 31\alpha^4 - 40\alpha^2 - 24\alpha .


The answer is 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.

2 solutions

α = 0 x 2 + x + 1 ( x 3 + x + 1 ) x d x π 1 2 28 93 2 47 3 93 3 + 1 93 2 2 / 3 2 47 3 93 3 + 24 6 31 ( 14 2 47 3 93 3 2 2 / 3 47 3 93 3 + 40 ) + 160 93 + 1 186 14 2 47 3 93 3 2 2 / 3 47 3 93 3 + 40 \alpha =\frac{\int_0^{\infty } \frac{x^2+x+1}{\left(x^3+x+1\right) \sqrt{x}} \, dx}{\pi } \Longrightarrow \frac{1}{2} \sqrt{\frac{28}{93} \sqrt[3]{\frac{2}{47-3 \sqrt{93}}}+\frac{1}{93} 2^{2/3} 2 \sqrt[3]{47-3 \sqrt{93}}+24 \sqrt{\frac{6}{31 \left(-14 \sqrt[3]{\frac{2}{47-3 \sqrt{93}}}-2^{2/3} \sqrt[3]{47-3 \sqrt{93}}+40\right)}}+\frac{160}{93}}+\frac{1}{\sqrt{\frac{186}{-14 \sqrt[3]{\frac{2}{47-3 \sqrt{93}}}-2^{2/3} \sqrt[3]{47-3 \sqrt{93}}+40}}}

31 α 4 40 α 2 24 α 4 31 \alpha ^4-40 \alpha ^2-24 \alpha \Longrightarrow 4

And, you should have seen the "herd of elephants" in the middle!

Addendum: FullSimplify [ Root [ 31 $#$1 4 40 $#$1 2 24 $#$1 4 & , 2 ] 0 x 2 + x + 1 ( x 3 + x + 1 ) x d x π ] 0 \text{FullSimplify}\left[\text{Root}\left[31 \text{\$\#\$1}^4-40 \text{\$\#\$1}^2-24 \text{\$\#\$1}-4\&,2\right]-\frac{\int_0^{\infty } \frac{x^2+x+1}{\left(x^3+x+1\right) \sqrt{x}} \, dx}{\pi }\right] \Longrightarrow 0

The result above states that there is 0 0 difference between the 2 n d 2^{nd} root of 31 α 4 40 α 2 24 α 4 = 0 31 \alpha^4-40 \alpha^2-24 \alpha-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.

Did you solve the problem by hand?

D S - 2 years, 3 months ago

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: 31 α 4 40 α 3 24 α 4 = 0 31\alpha^4-40\alpha^3-24\alpha-4=0 .

A Former Brilliant Member - 2 years, 3 months ago

Is the given answer correct!?

tanay vatsal - 2 years, 3 months ago

I added an addendum to my original solution . I hope that helps.

A Former Brilliant Member - 2 years, 3 months ago

I have a more general theorem for this problem.

Srinivasa Raghava - 2 years, 2 months ago
Sangchul Lee
Mar 18, 2019

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 p(x) = x^2 + x + 1 and q ( x ) = x 3 + x + 1 q(x) = x^3 + x + 1 . Choosing the branch cut of \sqrt{\cdot} as [ 0 , ) [0,\infty) and utilizing the keyhole contour, α = x : q ( x ) = 0 i p ( x ) q ( x ) x \alpha = \sum_{x : q(x) = 0} \frac{ip(x)}{q'(x)\sqrt{x}} Since there are 3 distinct complex zeros of q ( x ) q(x) , there are 3 summands, which we denote by z 1 z_1 , z 2 z_2 , and z 3 z_3 . Obviously, α = z 1 + z 2 + z 3 \alpha = 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 z_1^2, z_2^2, z_3^2 . Introduce a new variable y y by y = ( i p ( x ) q ( x ) x ) 2 = p ( x ) 2 x q ( x ) 2 . y = \left( \frac{ip(x)}{q'(x)\sqrt{x}} \right)^2 = -\frac{p(x)^2}{xq'(x)^2}. This y y satisfies the equation p ( x ) 2 + y x q ( x ) 2 = 0 p(x)^2 + yxq'(x)^2 = 0 . Let Z \mathcal{Z} denotes the set of all possible values of y y given q ( x ) = 0 q(x) = 0 , or equivalently, Z = { z 1 2 , z 2 2 , z 3 2 } \mathcal{Z} = \{z_1^2, z_2^2, z_3^2 \} . Then q ( x ) q(x) and p ( x ) 2 + y x q ( x ) 2 p(x)^2 + yxq'(x)^2 have a common zero in C \mathbb{C} if y Z y \in \mathcal{Z} , and so, by the property of the resultant ,

  • res ( q ( x ) , p ( x ) 2 + y x q ( x ) 2 ) = 0 \operatorname{res}\left( q(x), p(x)^2 + yxq'(x)^2 \right) = 0 whenever y Z y \in \mathcal{Z} , where the coefficient ring is assumed as C [ y ] \mathbb{C}[y] for computing the resultant.

On the other hand, by a direct computation, res ( q ( x ) , p ( x ) 2 + y x q ( x ) 2 ) = 961 y 3 620 y 2 + 131 y 9. \operatorname{res}\left( q(x), p(x)^2 + yxq'(x)^2 \right) = 961y^3 - 620y^2 + 131y - 9. Since this is a cubic polynomial in y y , it can have at most 3 distinct zeros in C \mathbb{C} , and so, the above observation tells that 961 y 3 620 y 2 + 131 y 9 = 3 1 2 ( y z 1 2 ) ( y z 2 2 ) ( y z 3 2 ) . 961y^3 - 620y^2 + 131y - 9 = 31^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 = 620 961 = 20 31 , z 1 2 z 2 2 + z 2 2 z 3 2 + z 3 2 z 1 2 = 131 961 , z 1 2 z 2 2 z 3 2 = 9 961 = ( 3 31 ) 2 . z_1^2 + z_2^2 + z_3^2 = \frac{620}{961} = \frac{20}{31}, \qquad z_1^2 z_2^2 + z_2^2 z_3^2 + z_3^2 z_1^2 = \frac{131}{961}, \qquad z_1^2 z_2^2 z_3^2 = \frac{9}{961} = \left(\frac{3}{31}\right)^2. Moreover, although non-trivial, it can also be shown that z 1 z 2 z 3 z_1 z_2 z_3 is positive, and so, z 1 z 2 z 3 = 3 31 z_1 z_2 z_3 = \frac{3}{31} .

(Step 3) Now we are almost done. Squaring α \alpha first, α 2 = ( z 1 2 + z 2 2 + z 3 2 ) + 2 ( z 1 z 2 + z 2 z 3 + z 3 z 1 ) = 20 31 + 2 ( z 1 z 2 + z 2 z 3 + z 3 z 1 ) \alpha^2 = \left( z_1^2 + z_2^2 + z_3^2 \right) + 2\left( z_1z_2 + z_2z_3 + z_3z_1 \right) = \frac{20}{31}+ 2\left( z_1z_2 + z_2z_3 + z_3z_1 \right) Subtracting 20 31 \frac{20}{31} from both sides and squaring again, ( α 2 20 31 ) 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 ) = 524 961 + 24 31 α . \left( \alpha^2 - \frac{20}{31} \right)^2 = 4 \left( z_1^2 z_2^2 + z_2^2 z_3^2 + z_3^2 z_1^2 \right) + 8 z_1 z_2 z_3 (z_1 + z_2 + z_3) = \frac{524}{961} + \frac{24}{31}\alpha. Simplifying, it follows that 31 α 4 40 α 2 24 α = 4 31 \alpha^4 - 40\alpha^2 - 24\alpha = 4 as required.

Excellent solution...thank you sir.

Srinivasa Raghava - 2 years, 2 months ago

I sent a more general theorem of this problem for publishing.

Srinivasa Raghava - 2 years, 2 months ago

i did the equation wrong but got the answer right...

Arterial Black - 1 year, 7 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...