A Way of Approximation of a Cube Root

advertisement
A Way of Approximation of a Cube
Root
By Mohammad H. Poursaeed
Abstract. Differential calculus can be used to approximate cube roots. In this note, however, we present a
method of approximating cube roots that is more accurate than the method of differentials and does not require
advanced mathematical information.
Introduction
The approximation of a cube root is sometimes introduced as
an application of differential calculus [1]. In this note, we adopt
an intuitive interpretation of the problem and employ a method
of approximating a cube root whose precision is greater than the
classical differential method.
Approximation of a Cube Root
Similar to the process of approximating a square root, which
is done according to the area of a square, the approximation of a
cube root, can be worked out as follows:
Suppose that we are going to determine the cube root of a
number a. Without loss of generality, we can assume that a is a
positive number. Thus, in fact, we seek the measure of the side of
a cube having volume a. Now, if the side of the cube has measure
b, we have:
√
a = b3 ⇒ b = 3 a.
[19]
20
Alabama Journal of Mathematics
If a is not a perfect cube, then we can consider two cubes with
sides of given measure such that one of them is inscribed within
the cube having volume a, while the other circumscribed about
the cube whose volume is a. As a result, the length of the side
of the cube having volume a is bounded by the lengths of the
sides of the inscribed and circumscribed cubes. For example, to
determine the cube root of 28, we can consider two cubes with
sides of length 3 and 4 as the inscribed and circumscribed cubes
respectively. Consequently, the cube root of 28 is a number between
3 and 4. Similarly, we can be more discerning in our choice of lower
and upper bounds. For example:
3
3
(3.01) = 27.27 < 28 < 29.791 = (3.1) .
Thus, we establish that the cube root of 28 is between 3.01 and
3.1.
Now if we let k be the length of the side of the cube (inscribed
or circumscribed) with volume nearest to a, and we let x be the
difference between the length of the side of this cube and length of
the side of the cube having volume a, then we have:
x = k − b ⇒ b = k − x,
and
a = b3 = (k − x)3 = k3 − 3k2 x + 3kx2 − x3 .
(eq. 1)
x
k
b
Cube of Volume a and circumscribed cube.
As you see, the computation of the cube root of a is equivalent
to determining the solution of f (x) = −x3 +3kx2 −3k2 x+k3 −a =
0. However, if the inscribed and circumscribed cubes are chosen
such that the lengths of their sides are very close to the length of
the side of the cube having volume a, then the value of |x| is very
Spring/Fall 2008
21
small. Therefore, x3 will be considerably smaller in magnitude still.
Thus, for small x, f (x) ≈ 3kx2 − 3k2 x + k3 − a, and our problem
can be reduced to that of finding the roots of the corresponding
quadratic function g (x) = 3kx2 − 3k2 x + k3 − a.
This presents a small problem — while f (x) has only one root
(of multiplicity 3), g(x) has two roots. Which of these roots is the
approximation of b? Since x (the root of f (x)) is assumed to be so
close to zero, the root of g(x) that we seek is logically the smaller
of the two roots. So if x0 is root of g (x) of lesser magnitude, and
x∗ is the only root of f (x) , then we will have:
g (x0 ) = 0, f (x∗ ) = 0,
⇒
√
3
a = k − x∗ ≈ k − x0
k
g (x) = 3kx − 3k x + k − a = 0 ⇒ x1 , x2 = ±
2
2
2
3
k
⇒ x0 = −
2
r
4a − k3
.
12k
r
4a − k3
12k
(eq. 2)
In order to establish the validity of eq. 2, it is necessary to
show that 4a − k3 > 0.
Case 1: When the volume of the inscribed cube is the closest to the value of a, we have:
k3 < a ⇒ k3 < a < 4a ⇒ 4a − k3 > 0.
Case 2: When the volume of the circumscribed cube is the
closest to the value of a, we have a < k3 . If we suppose
that 4a − k3 < 0, then either:
k3
k3
k3
k3
<
or
<a<
.
8
4
8
4
In either case it can be shown that:
a<
¯ 3
¯
¯k
¯
¯ ¯
¯ − a¯ < ¯k 3 − a¯ = k3 − a.
¯8
¯
In this case, the volume of the inscribed cube with sides
of length k2 is closer to a than the volume of the circumscribed cube and should be used instead of the circumscribed cube.
22
Alabama Journal of Mathematics
Therefore, we can assume that 4a − k3 ≥ 0. Thus,
√
k3
k
k3
>
⇒ 3a> .
4
8
2
Putting equations 2 and 3 together, we have:
4a − k3 ≥ 0 ⇒ a ≥
√
k
3
a≈ +
2
r
(eq. 3)
4a − k3
.
12k
Example: Approximating the value of
√
3
28, we have:
33 = 27 < 28 < 64 = 43 ⇒ k = 3
√
3
3
⇒ 28 ≈ +
2
s
(4) (28) − 27 ∼
= 3.036591.
(12) (3)
√
One will note that our approximation differs from 3 28 by less
than 2 × 10−6 . This is√significantly better than the result obatined
when approximating 3 28 using differentials.
We now show that in the general case, if k is the length of
the side of the inscribed cube, the suggested method yields a more
precise approximation that the result obtained when using differentials.
√
3
Note that as the graph of the function h (x) =
x is con√
3
cave (i.e., concave down), the approximate value of x calculated
through the use of differentials is always more than the actual value.
That is:
√
√
a − k3
3
a<k+
≈ 3 a.
2
3k
On other hand, according to eq. 2, it turns out that x0 is
negative and therefore:
3
3
f (0) = k3 − a < 0, f (x0 ) = g (x0 ) − (x0 ) = − (x0 ) > 0.
Therefore, by the Intermediate Value Theorem, the only root of
f (x) is in the interval (x0 , 0) . Thus:
x0 < x∗ < 0 ⇒
√
√
3
a = k − x∗ < k − x0 ≈ 3 a.
Spring/Fall 2008
23
√
The point is that the approximate value of 3 a using our method
is also greater than the actual value. Thus, we can easily demonstrate that the following inequality is correct which, in turn, indicates that, compared with the method of differentials, our method
is the more accurate of the two.
¯
¯
√
√
3
3
¯
¯
3
3
−
a
a
¯k + a−k
¯ = k + a−k
2
3k
3k2 −
>
k
2
+
q
4a−k3
12k
¯
¯
¯ k q 4a−k3 √ ¯
√
3
3
¯
− a = ¯2 +
a¯¯ .
12k −
References
[1] L. Leithold, The Calculus with Analytic Geometry, fifth
edition, Harper & Row Publishers, Inc., 1986.
Department of Mathematics
Lorestan University
Khorramabad, Iran
Poursaeed M. H.
P.O.Box 68135-465
Fax: +98 661 22782
poursaeed_mh@yahoo.com
24
Alabama Journal of Mathematics
ACTM Fall Forum 2009
Exploring Math from Many Angles
October 15-16
Auburn University Montgomery
Thursday, October 15 - Starting at 1 pm (Registration Begins
at 12)
For more information go to http://www.alabamamath.org
Speaker proposal forms are also available at the address above.
Download