Touching circle area

Calculus Level 5

Given the function, f ( x ) = x n , n R , n 2 f(x) = x^n \quad , \quad n \in \mathbb{R}, n \geq 2 a circle can be constructed that exactly touches, but not intersects f ( x ) f(x) . See the figure for an example.

S S is the area enclosed by the two curves (gray area in figure). We have lim n S = 1 π / 4 \displaystyle \lim_{n\rightarrow\infty} S = 1 - \pi / 4 . What is S S for n = 3 n = 3 ? Give your answer to 4 decimal places.

P.S. There is a (not so nice) analytical expression for the area. Can you find it?


The answer is 0.0136001.

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.

1 solution

It is reasonable to assume that the circle to be constructed will have one point of intersection with the given curve at the origin. The radius r r circle is then described by the equation x 2 + ( y r ) 2 = r 2 , x^{2} + (y - r)^{2} = r^{2}, Now for the circle to touch (but not intersect) the curve y = x 3 y = x^{3} at a second point we require that not only do the curves pass through this point but that their tangents coincide at this point too.

Working in the first quadrant, and noting that the point of tangency P ( x , y ) P(x,y) will have a y y -coordinate less than r , r, (since x 3 x^{3} is an increasing function), we have that, for the circle, y = r r 2 x 2 . y = r - \sqrt{r^{2} - x^{2}}. So for the two curves to meet, we require that

x 3 = r r 2 x 2 , x^{3} = r - \sqrt{r^{2} - x^{2}}, (A),

and since their tangents must coincide, we also require that the derivatives are equal at P , P, i.e.,

3 x 2 = x r 2 x 2 r 2 x 2 = 1 3 x , 3x^{2} = \dfrac{x}{\sqrt{r^{2} - x^{2}}} \Longrightarrow \sqrt{r^{2} - x^{2}} = \dfrac{1}{3x}, (B)

where we divided through by x x since we want P P other than the origin. Substituting (B) into (A) gives us that

x 3 = r 1 3 x r = x 3 + 1 3 x . x^{3} = r - \dfrac{1}{3x} \Longrightarrow r = x^{3} + \dfrac{1}{3x}.

Substituting this result into (A) and simplifying gives us that

1 3 x = x 6 + 1 9 x 2 + 2 x 2 3 x 2 \dfrac{1}{3x} = \sqrt{x^{6} + \dfrac{1}{9x^{2}} + \dfrac{2x^{2}}{3} - x^{2}}

1 9 x 2 = x 6 + 1 9 x 2 + 2 x 2 3 x 2 \Longrightarrow \dfrac{1}{9x^{2}} = x^{6} + \dfrac{1}{9x^{2}} + \dfrac{2x^{2}}{3} - x^{2}

x 6 = x 2 3 x 4 = 1 3 x = 3 1 4 . \Longrightarrow x^{6} = \dfrac{x^{2}}{3} \Longrightarrow x^{4} = \dfrac{1}{3} \Longrightarrow \large x = 3^{-\frac{1}{4}}.

This in turn gives us that r = x 3 + 1 3 x = 2 3 3 4 . r = x^{3} + \dfrac{1}{3x} = \large 2*3^{-\frac{3}{4}}.

So now we just need to evaluate the integral

0 3 1 4 ( r r 1 ( x r ) 2 x 3 ) d x , \displaystyle \int_{0}^{3^{-\frac{1}{4}}} (r - r\sqrt{1 - \left(\dfrac{x}{r}\right)^{2}} - x^{3}) dx,

(where of course x x is now being used as a variable). The first and third components of the integrand are straightforward and yield a value of 7 12 . \dfrac{7}{12}.

The second component can be evaluated using the substitution

x r = sin ( θ ) d x = r cos ( θ ) d θ . \dfrac{x}{r} = \sin(\theta) \Longrightarrow dx = r\cos(\theta) d\theta.

The integral of this component then becomes

r 2 cos 2 ( θ ) d θ = r 2 2 ( θ + sin ( θ ) cos ( θ ) ) d θ = \displaystyle\int r^{2}\cos^{2}(\theta) d\theta = \dfrac{r^{2}}{2}(\theta + \sin(\theta)\cos(\theta)) d\theta =

2 3 3 ( arcsin ( x r ) + x r 1 ( x r ) 2 ) , \dfrac{2}{3\sqrt{3}}\left(\arcsin\left(\dfrac{x}{r}\right) + \dfrac{x}{r}\sqrt{1 - \left(\dfrac{x}{r}\right)^{2}}\right),

which when evaluated from x = 0 x = 0 to x = 3 1 4 \large x = 3^{-\frac{1}{4}} comes out to

2 3 3 ( arcsin ( 3 2 ) + 3 2 1 2 ) = 2 3 3 ( π 3 + 3 4 ) = 2 π 9 3 + 1 6 . \dfrac{2}{3\sqrt{3}}*\left(\arcsin\left(\dfrac{\sqrt{3}}{2}\right)+ \dfrac{\sqrt{3}}{2}*\dfrac{1}{2}\right) = \dfrac{2}{3\sqrt{3}}*\left(\dfrac{\pi}{3} + \dfrac{\sqrt{3}}{4}\right) = \dfrac{2\pi}{9\sqrt{3}} + \dfrac{1}{6}.

Subtracting this from 7 12 \dfrac{7}{12} yields a desired area value of

5 12 2 π 9 3 = 0.01360 \dfrac{5}{12} - \dfrac{2\pi}{9\sqrt{3}} = \boxed{0.01360} to 4 decimal places.

Now that was pretty bloody. The other way to find the point of tangency is to consider the line that is normal to the function x n { x }^{ n } and see where it intersects the y y axis. From the fact that this point has to be equidistant from both the origin and a given point on that function, we can figure out where this point is. The next step is to integrate, but I don't know how to improve on the way you did it.

Michael Mendrin - 6 years ago

Log in to reply

Ah, yes, that would be a good approach. This was a tedious solution to type up; once I got to the integral I thought about just using WolframAlpha, but I know I would have been chastised by the Challenge Master for doing that. :P

Brian Charlesworth - 6 years ago

Log in to reply

Maybe instead of trying to integrate the circular arc, just compute the area underneath directly by other geometrical means. Integrating x 3 {x}^{3} is not hard, once you know the coordinates of the point of tangency.

Michael Mendrin - 6 years ago

Log in to reply

@Michael Mendrin Oh, that's much easier. Form a rectangle with the origin as the lower left corner and ( x , r ) = ( 3 1 4 , 2 3 3 4 ) (x,r) = (3^{-\frac{1}{4}}, 2*3^{-\frac{3}{4}}) as the upper right corner. We can then divide this rectangle into a sector of radius r r with a central angle that turns out to be θ = π 3 \theta = \frac{\pi}{3} radians, a triangle above this sector with dimensions x x by r 2 , \frac{r}{2}, and the region below the sector. So the area of this last region is

x r ( 1 2 x r 2 + 1 2 r 2 θ ) = 2 3 ( 1 2 1 3 + 1 2 2 3 3 π 3 ) = 1 2 2 π 9 3 . xr - \left(\dfrac{1}{2}*\dfrac{xr}{2} + \dfrac{1}{2}r^{2}\theta\right) = \dfrac{2}{3} - \left(\dfrac{1}{2}*\dfrac{1}{3} + \dfrac{1}{2}*\dfrac{2}{3\sqrt{3}}*\dfrac{\pi}{3}\right) = \dfrac{1}{2} - \dfrac{2\pi}{9\sqrt{3}}.

Then, as you say, we do the straightforward integral for x 3 x^{3} which comes out to 1 12 , \frac{1}{12}, and then subtract this from the above value to get the same final answer as before. So besides this one integral it's become almost a pure geometry question. Great idea. :)

I suppose the next thing would be to generalize S S and θ \theta for any n , n, but I think I've spent enough time on this problem for now.

Brian Charlesworth - 6 years ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...