Professional Documents
Culture Documents
jnaap > ap+2ap +... bn Dap
PEO Gopi > Aad > BEEP). Alm p
from which i follows that
Plat). tmpletnp) > w.neldnp ta)
> plasty)... (6—Upla+(m— 2p)
What was required to bo proved follows when x.xp(a-+np)
divided by the members of this inequality. Tho wording of this is
already entirely adapted to the application in G.S. 26. ‘Tho real,
contents of the proposition, however, aro expretod by the in-
‘quality (2), Poe p=a=1 tho latter ie a fellows:
L423. blot) > aE bin) > 1248.94... ¢(0—De
Ic is noteworthy that the proposition proved above cannot be
formulated more simply in an algebraial form than in the goo-
rotrica! wording in which Archimedes give
7.50. Spit. 11 If « sree of any number of lnce be gicen which
ace one anctler by an equal amrns and aloo ater lines, one fer
Sn wumber and in quantity each eual tthe gents, all he spuares om
‘he tines equa tothe greatest are to the wquaree ow he Kes which ceed
‘one anater by an equal amoust, ezopt te eat, in len ratio tha
that of the aguare on the greatest tothe sum of the recngle contained
‘by the gratnt andthe loos and one-third ofthe ware on the difference
in Ty Wetton the greatest and the lent
to the apres, hsover, om the Kine
Al
4
Pt wl
we
which tzcend one another by an
equal mont, except the square om
(ke grenet they weil De ina grater
‘aio tha this ratio,
Tn Fig. 44 let these be given
‘the aries of lino segments 2,
7%. ..NE forming an arithmetical
progression. Archimedes suppovet
In his proof tha the oommon dif-
erence is equal to the least term,
LB, batho applic the proposition
Mt jn oases where this edition is
10
ot ratited. We will retain his supposition, bot will show mab-
eaimently that i i not exsontia to the validity ofthe proposition.
Produce all the given line segments by addition of TO=NE,
‘BIL =2. NE ot, until they arv equal to AB, Tonow has tobe proved
that
[T(04) +... TYE), TAB) +... 4 TAIN) < (TAB,
(4B, N5)+ ITI] < [T04) +... +7172),
TWAS). $7.
If wo make B= XA= NS, then
(TAB), O1AB, OB) + sTUA)] = (TOA), 0104, XA)+4T(OX)]
= ete, from which i follows that:
[104 +TUI2) +... TVS), ONS, O4-+112-+...+¥5)
+HTON)+TUTP) +... #TONYT)
= MAB, 0¢4B, NB)+ ITN)
1f we compare this with what ie roqured to bo proved, we find
‘that the proposition will have beon proved if we ean show that
TU) +... 4TWE) < OWE, O44... +75)
$HORT) < TAB). TUM). (1)
[Now in the seoond member of thi inequality
(ONS, 04. .¥5) = OLE, (OX XA)... +(TN+NE))
= OWE, OX +... +YN)+ TA) +... TVS)
in the fines member:
TA). #TWVE) = TUK)... TAP)
420004, PN 4... HPA ATA) +. TOS)
{in the third member:
TAB)... +TUAM) = TAD) +. TAP) +
20(08, ADS... HAP) + TOR) +. TPA)
Omiting in all choo mennbers the underlined wasn, we still have
‘0 prove thatTot
TU) +. + TUAP) $2014, PX 4... +AP) < HTIOX)
4p STPN) FONE, OF +. HFN) < TAO)
po HTAP) 420002, 40+. AP)
1 we frst compare the sums of aguares ovearting in the thre
members, by 731 the following applies thoroto:
TUN) +. ATUP) « HTD)... TIP) < TAO)
eTUr), °
Jn whioh the second member is equivalent to
TION)... TOMI]
‘A compariton of the reetangls in the three members yields
20(K4, TX 4... +P)
= OWE, TE... AP ETA... H10)=
(OWE, OX...-TP) < ONE, ON... + YN) < OR, OF
SPE. TASAPA2YN) ~ OB, 2404...API- (8)
From sedition of the inequalities (2) and (3) follows the validity
of
"The following formulation ofthe proof in algebrafe symbols,
which no eevental modifieation has boon made in the trend of
‘the argument, may eldnidate the demonstration a litle bottar for
the present-day reader. At the same timo we will abandon the suppo-
sition that the common aiference of the arithmetical progression
iv equsl to the fit tm, so that the use that Archimedes will be
found to make of the proposition wil find is justification.
Suppo
NE = t= 0; AM = hw ade; ol
We have to prove the inoguaity (1)
Bache PGES amt, Flav)? < GE te.
In feat:
Cathet = mate. enh)
FAL 2.0) < nat Pst ea
malate) + a? = amt, + bain? or
Bek,
‘Case I. Suppove 2°> K. Now find » wo that
G-