31.10.2014 Views

A history of Greek mathematics - Wilbourhall.org

A history of Greek mathematics - Wilbourhall.org

A history of Greek mathematics - Wilbourhall.org

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

—<br />

—<br />

DIVISIONS OF FIGURES 341<br />

h' d /h? = 7ti/(m + n). Or, if we take the edges e, e' instead<br />

<strong>of</strong> the heights, e' s /e 3 = m/(m + ri). In the case taken by-<br />

Heron m : 71= 4 : 1, and e = 5. Consequently e' z — f<br />

. 5 — 3 100.<br />

Therefore, says Heron, e'' — 4 T 9^ approximately, and in III. 20<br />

he shows how this is arrived at.<br />

Approximation to the cube^oot <strong>of</strong> a non-cube number.<br />

'Take the nearest cube numbers to 100 both above and<br />

below; these are 125 and 64.<br />

Then 125-100 = 25,<br />

and 100- 64 = 36.<br />

Multiply 5 into 36; this gives 180. Add 100, making 280.<br />

(Divide 180 by 280); this gives T<br />

9<br />

5<br />

. Add<br />

the smaller cube : this gives 4 .<br />

T\ This<br />

this to the side <strong>of</strong><br />

is as nearly as possible<br />

the cube root ("cubic side") <strong>of</strong> 100 units.'<br />

We have to conjecture Heron's formula from this example.<br />

Generally, if a 3 < A < (a + l) 3 , suppose that A—a 3 = d 1<br />

, and<br />

(a+1) 3 — A = d 2<br />

. The best suggestion that has been made<br />

is Wertheim's, 1 namely that Heron's formula for the approximate<br />

cube root was a+ ;—-<br />

r—/—<br />

r The 5 multiplied<br />

-<br />

(a+\)d 1<br />

+ ad 2<br />

into the 36 might indeed have been the square root <strong>of</strong> 25 or<br />

Vd 2<br />

,<br />

and the 100 added to the 180 in the denominator <strong>of</strong> the<br />

fraction might have been the original number 100 (A) and not<br />

4 .25 or ad 2<br />

,<br />

but Wertheim's conjecture is the more satisfactory<br />

because it can be evolved out <strong>of</strong> quite<br />

elementary considerations.<br />

This is shown by G. Enestrom as follows. 2 Using the<br />

same notation, Enestrom further supposes that x is the exact<br />

value <strong>of</strong> \^A<br />

}<br />

and<br />

Thus<br />

that {x — af — 8 V \a+ 1 — xf = 8 2<br />

.<br />

8 l<br />

= x — 3 3x 2 a + 3xa 2 — a [i , and 3ax(x — a)<br />

6<br />

= x' — a? — S 1<br />

= d l<br />

— 8 V<br />

Similarly from 8 2<br />

= (a + 1 — xf we derive<br />

3(a+l)x{a + l-x) = (a+lf-x' d -8 2<br />

= d 2<br />

— 8 .<br />

2<br />

Therefore<br />

d 2<br />

-8 2 __ 3(a + \)x(a+\ —x) _ (a+1) {l-(x-a)}<br />

d 1<br />

— 8 l<br />

3ax{x — a) a(x — a)<br />

a+1 a+1<br />

a(x — a) a<br />

'<br />

1<br />

2<br />

Zeitschr.f. Math. u. Physik, xliv, 1899, hist.-litt. Abt., pp. 1-3.<br />

Bibliotheca Mathematics, viii 3<br />

, 1907-8, pp. 412-13.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!