== Մեխանիկայից բխած երկրաչափական լուծումներ։ Արքիմեդի ճառը == === Արքիմեդի ողջույնը Էրատոսթենես Կիրենացուն։ === Որոշ ժամանակ առաջ ես ձեզ ուղարկեցի իմ հայտնաբերած որոշ թեորեմներ՝ գրելով միայն պնդումները, որովհետև ես ցանկացա, որ դուք գտնեք դրանց ապացույցները, որոնք չէին տրվել։ Թեորեմների պնդումերը, որոնք ես ուղարկել եմ ձեզ, եղել են հետևյալը. # Եթե քառակուսի հիմքով ուղիղ պրիզմայում գլան ներգծվի, այնպես որ գլանի հիմքերը լինեն երկու հանդիպակած քառակուսիներում, և գլանի մակերույթը շոշափում է պրիզմայի մյուս նիստերը, և եթե մի հարթություն անցկացվի այն գլանի հիմքերից մեկի շրջանագծի կենտրոնով և հանդիպակած քառակուսու կողերից մեկով, ապա այդ մի հատված կկիսի գլանից, որը սահմանափակված կլինի երկու հարթություններով՝ հատող հարթությամբ և գլանի հիմքի հարթությամբ, ինչպես նաև գլանի այն մակերևույթի մասով, որը ընկած է այդ երկու հարթությունների միջև; այս կտված գլանի հատվածը ամբողջ պրիզմայի 1/6 մասն է կազմում։# Եթե խորհանարդի մեջ գլան ներգծվի, այնպես որ գլանի հիմքերը լինեն երկու հանդիպակած քառակուսի նիստերում և որի մակերևույթը շոշափում է մնացյալ չորս հարթությունները, և եթե նույն խորհանարդում երկրորդ գլանը ներգծվի այնպես որ հիմքերը գտնվեն այլ երկու հանդիպակած քառակուսի նիստերում և որի մակերևույթը շոշափում է մնացյալ չորս հարթությունները, այն մարմինը որը փակված կլինի գլանի մակերևույթով, ինչպես նաև ընկած կլինի երկու գլանների մեջ կկազմի ամբողջ խորհանարդի 2/3 մասը։ Այս պնդումները էապես տարբերվում են նախկինում հայտնաբերվածներից. նախկինում մենք համեմատում էինք այդ մարմինները(կոնաձևեր, գնդաձևեր և դրանց հատվածները) կոների և գլանների ծավալների հետ, սակայն դրանցից ոչ մեկը չէր հայտնաբերվել հավասար հարթություններով սահմանափակված մարմնի։ Մյուս կողմից, այս մարմիններից յուրաքանչյուր, որոնք պարփակված են երկու հարթություններով, իսկ գլանաձև մակերևույթները գտնված է, որ հավասար են հարթություններով պարփակված մարմնի։ համապատասխանաբար այս գրքում ուղարկում եմ այս պնդումների ապացույցները: Սակայն ինչպես նախկինում ասացի, քանի որ տեսնում եմ, որ դուք որպես ընդունակ գիտնական և փիլիսոփայության նշանավոր ուսուցիչ, ինչպես նաև հասկանում եք, թե ինչպես արժևորել հետազոտության մաթեմատիկական մեթոդը, երբ հնարավորությունը կա, կարծում եմ լավ կլինի ձեր համար նշել նաև այս նույն գրքում մի յուրահատուկ մեթոդ, որի միջոցով ձեզ համար հնարավոր կլինի հրահանգներ ստանալ, թե ինչպես կարելի է մաթեմատիկական որոշ հարցեր ուսումնասիրել մեխանիկայի միջոցով: Եվ ես համոզված եմ, որ սա հավասարապես շահավետ է հենց պնդման ապացույցին, առ այն որ, շատ բաներ որ ինձ համար ակնհայտ էին մեխանիկայի միջոցով հետագայում ապացուցվել են երկրաչափությամբ, քանի որ առաջին մեթոդը ապացույցի համար ընդունված մեթոդ չէր։ Որովհետև, իհարկե, ավելի հեշտ է ապացույց հաստատել եթե որևէ մեկը այս կերպ նախկինում ստացել է հարցերի գաղափարը, քան եթե նա փնտրի այն առանց նման նախնական պատկերացման: Հետևաբար այս հայտնի պնդումները, որոնց ապացույցները առաջին անգամ Եվդոքսի կողմից են հայտնաբերվել, առ այն որ կոնը և բուրգը նույն բարձրություն և հիմք ունեցող գլանի և պրիզմայի 1/3 մասն են, քիչ պատիվ է տրվում Դեմոկրիտոսին, որը առաջինն էր, որ առանց որևէ ցուցադրության այդ հայտարարությունն արեց այս մարմինների մասին։ Բայց մենք այն իրավիճակում ենք, որ գտնել ենք ներկա պնդումը նույն կերպ, ինչ նախորդը, և ես որոշել եմ այն գրի առնել և մեթոդը հայտնի դարձնել, մասամբ քանի որ մենք մինչ այժմ այս մասին խոսել ենք, հետևաբար ոչ ոք չի կարծի, որ մենք պարապ խոսակցություն ենք տարածում, և մասամբ այն համոզմունքով, որ այդ միջոցով մենք մաթեմատիկայի համար ոչ աննշան առավելություն ենք ստանում, քանի որ, իրոք, ես ենթադրում եմ, որ այսօրվա կամ ապագա հետազոտողները այստեղ սահմանված մեթոդով կառաջարկեն այլ պնդումներ, որոնք մեր մտքով դեռ չի անցել:Առաջին հերթին, մենք կբացատրենք մեխանիկայի միջոցով մեզ համար պարզաբանվածը, այն է որ պարաբոլը միևնույն հիմքը և բարձրությունը ունեցող եռանկյան 4/3 մասն է. սա մենք կբացատրենք, հաջորդիվ մենք կբացատրենք նույն հերթականությամբ վերևում նշված մեթոդով հայտնաբերված պնդումները, և վերջապես կներկայացնենք պնդումների երկրաչափական ապացույցները։ # Եթե մի մեծություն հանվում է մեկ այլ մեծությունից, և եթե ամբողջը և հանված մասը ունեն նույն ծանրության կենտրոնը, ապա նույն կետը կլինի նաև մնացյալի ծանրության կենտրոնը։# Եթե մի մեծություն հանվում է մեկ այլ մեծությունից, և ամբողջի և հանված մասի ծանրության կենտրոնը նույն կետում չէ, ապա մնացած մասի ծանրության կենտրոնը կարելի է գտնել՝ շարունակելով ուղիղ գիծը, որը միացնում է ամբողջի և հանված մասի ծանրության կենտրոնները, և այդ գծի վրա մեկ այլ ուղիղ գիծ անցկացնելով, ինչի հարաբերությունը կետերը միացնող գծի հետ, նույնն է ինչ հարաբերություն ունի հանված մեծության քաշը մնացած մեծության քաշի հետ [De plan. aequil. I, 8]։# Եթե ցանկացած քանակի մեծությունների ծանրության կենտրոնները գտնվում են նույն գծի վրա, ապա բոլոր մեծությունների համակցված ծանրության կենտրոնը նույնպես կլինի նույն ուղիղ գծի վրա [Cf. ibid. I, 5]։# Ուղիղ գծի ծանրության կենտրոնը այդ գծի կենտրոնն է [Cf. ibid. I, 4]։# Եռանկյան ծանրության կենտրոնը կետն է, որտեղ հատվում են եռանկյան անկյուններից հակադիր կողմերի կենտրոններին տարված ուղիղ գծերը [Ibid. I, 14]։ # Զուգահեռագծի ծանրության կենտրոնը կետն է, որտեղ հատվում են նրա անկյունագծերը [Ibid. I, 10]։# Շրջանի ծանրության կենտրոնը այդ շրջանի կենտրոնն է։# Մխոցի ծանրության կենտրոնը նրա առանցքի կենտրոնն է։# Պրիզմայի ծանրության կենտրոնը նրա առանցքի կենտրոնն է։# Կոնի ծանրության կենտրոնը առանցքի այն կետն է, որ գագաթից կետ գտնվող հատվածը երեք անգամ մեծ է մնացած մասից։# Բացի այստեղ ներկայացված վարժություններից, ես կօգտագործեմ հետևյալ պնդումը. Եթե ցանկացած քանակով մեծություններ ունեն նույն հարաբերությունը միևնույն քանակով զույգ առ զույգ համապատասխանող այլ մեծությունների հետ, և եթե այդ մեծություններից մի քանիսը կամ բոլորը, ունեն որևէ հարաբերություն մյուս մեծությունների հետ, և մյուսները նույն հարաբերությամբ են համապատասխան մեծությունների հետ, ապա առաջին շարքի մեծությունների գումարը կունենա նույն հարաբերությունը երրորդ շարքի մեծությունների գումարի հետ, ինչ հարաբերություն ունի երկրորդ շարքի մեծությունների գումարը չորրորդ շարքի մեծությունների գումարի հետ [De Conoid. I]։ === Պնդում I === Դիցուք <math>\alpha \beta \gamma</math> պարաբոլի այն հատվածն է, որ սահմանափակված է <math>\alpha \gamma</math> ուղղով և <math>\alpha \beta \gamma</math> պարաբոլով: Դիցուք <math>\delta</math>ն կիսում է <math>\alpha \gamma</math>-ն երկու հավասար հատվածի,<math>\delta \beta \epsilon</math>ը զուգահեռ է տրամագծին, կառուցել ուղիղներ <math>\alpha \beta</math> և <math>\beta \gamma</math>: Հետևաբար <math>\alpha \beta \gamma</math> սեգմենտը <math>\alpha \beta \gamma</math> եռանկյան 4/3 մասն է կազմում:[[Պատկեր:Method-Archimedes-Fig1.png]]<math>\alpha</math> և <math>\gamma</math> կետերից տանենք <math>\alpha \zeta || \delta \beta \epsilon</math> և կառուցենք <math>\gamma \zeta</math> ուղիղը և կառուցել <math>\kappa</math>այնպես, որ <math>\kappa \theta = \gamma \kappa</math>: Պատկերացրեք, որ <math>\gamma \theta</math>-ն ճոճանակ է <math>\kappa</math> տատանման կենտրոնով և դիցուք <math>\mu \xi</math>ն <math>\epsilon \delta</math>-ին զուգահեռ ցանկացած գիծ է: Այժմ քանի որ <math>\alpha \beta \gamma</math>ն պարաբոլ է, <math>\gamma \zeta</math>ն շոշափող(տանգենտ) ուղիղ է, իսկ <math>\gamma \delta</math>ն օրդինատ, հետևաբար <math>\epsilon \beta = \beta \delta</math>; սա ապացուցվել է Էլեմենտների գրքում: Այս պատճառով և քանի որ <math>\zeta \alpha</math> և <math>\mu \xi</math> ուղիղները զուգահեռ են <math>\epsilon \delta</math>, <math>\mu \nu = \nu \xi</math> և <math>\zeta \kappa = \kappa \alpha</math>: Եվ քանի որ <math>\gamma \alpha : \alpha \zeta = \mu \zeta : \zeta o</math> (սա ցուցադրված է հետևանքում) , <math>\gamma \alpha : \alpha \zeta = \gamma \kappa : \kappa \nu</math> և <math>\gamma \kappa = \kappa \theta</math>, հետևաբար <math>\theta \kappa : \kappa \nu = \mu \zeta : \zeta o</math>: Եվ քանի որ <math>\nu</math>ն <math>\mu \zeta</math> ուղիղ գծի ծանրության կենտրոնն է, քանի որ <math>\mu \nu = \nu \zeta</math>, հետևաբար, եթե կառուցենք <math>\tau \eta = \zeta o</math> առ այն որ <math>\theta</math>ն ծանրության կենտրոնն է այսինքն <math>\tau \theta = \theta \eta</math>, հետևաբար <math>\tau \theta \eta</math> ուղիղ գիծը հավասարակշռության մեջ կլինի <math>\mu \zeta</math> հետ, քանի որ <math>\theta \mu</math>ն բաժանված է իր <math>\tau \eta</math> և <math>\mu \zeta</math> ծանրությունների հակադիր հարաբերակցությամբ, և <math>\theta \kappa : \kappa \nu = \mu \zeta : \eta \tau</math>, հետևաբար <math>\kappa</math>ն երկուսի միասնակ զանգվածի ծանրության կենտրոնն է: Նույն կերպ <math>\zeta \alpha \gamma || \epsilon \delta</math> եռանկյան բոլոր ուղիղները, հավասարակշռված են իրենց պարաբոլով կտրված հատվածների հետ, երբ վերջինս տեղափոխվի <math>\theta</math> կետ, այնպես, որ <math>\kappa</math>ն լինի երկուսի միասնական ծանրության կենտրոնը: եվ քանի որ <math>\gamma \zeta \alpha</math> եռանկյունը կազմվածը <math>\gamma \zeta \alpha</math> եռանկյանը պատկանող ուղիղ գծերից, և <math>\alpha \beta \gamma</math> հատվածը կազմված է պարաբոլին մեջ գտնվող այն ուղիղ գծերից, որոնք համապատասխանում են <math> \zeta o</math> ուղղին, հետևաբար <math>\zeta \alpha \gamma</math> եռանկյունը հավասարակշռության մեջ կլինի պարաբոլ-սեգմենտի հետ <math>\kappa</math> կետում, երբ այն կտեղափոխվի <math>\theta</math> որպես ծանրության կենտրոն, այնպես որ <math>\kappa</math>ն երկուսի միասնական ծանրության կենտրոնն է։ Այժմ դիցուք <math>X</math>ը <math>\gamma \kappa</math>ն կիսում է այնպես, որ <math>\gamma \kappa = 3 \kappa X</math>, հետևաբար <math>X</math>ը կլինի <math>\alpha \zeta \gamma</math> եռանկյան ծանրության կենտրոնը, սա ցույց է տրվել Ստատիկայում։ Այժմ եթե <math>\zeta \alpha \gamma</math> եռանկյունը <math>\kappa</math> կետում հավասարակշռության մեջ է <math>\beta \alpha \gamma</math> սեգմենտի հետ, երբ այն <math>\theta</math> է տեղափոխվում, որպես ծանրության կենտրոն, և <math>\zeta \alpha \gamma</math> եռանկյան ծանրության կենտրոնը <math>X</math>ն է, հետևաբար եռանկյուն <math>\alpha \zeta \gamma : \alpha \beta \gamma</math> սեգմենտ, երբ ծանրության կենտորնը փոխվում է <math>\theta</math>, <math>= \theta \kappa : \kappa X</math>։ Սակայն <math> \theta \kappa = 3 \kappa X</math>, հետևաբար նաև եռանկյուն <math>\zeta \alpha \gamma = 4 \Delta \alpha \beta \gamma</math>, քանի որ <math>\zeta \kappa = \kappa \alpha</math> և <math>\alpha \delta = \delta \gamma</math>, հետևաբար <math>\alpha \beta \gamma</math> սեգմենտը <math>=4/3 \alpha \beta \gamma</math> եռանկյանը։ Սա իհարկե պարզ է։ Ճիշտ է սա ապացուցվել է, ոչ այն կերպ ինչ ես այստեղ ասացի, բայց մատնանշում է, որ արդյունքը ճշգրիտ է։ Այսպիսով, հենց նոր մենք տեսանք, այն ինչ չէր ապացուցվել և լոկ ենթադրվել էր, որ արդյունքը ճիշտ է, մենք մշակեցինք այն երկրաչափական ապացույցը, որը արդեն որոշ ժամանակ հայտնի էր և կրկին հետագայում առաջ կբերվի։ === Պնդում II === === Պնդում III === === Պնդում IV === === Պնդում V === === Պնդում VI === === Պնդում VIա === === Պնդում VII === === Պնդում VIII === === Պնդում IX === === Պնդում X === === Պնդում XI === === Պնդում XIII ===
Թող քառակուսի <math>\alpha \beta \gamma \delta</math> [նկ. 12] [[Պատկեր:Example.jpg]] լինի ուղղահայաց պրիզմայի հիմքը, որն ունի քառակուսի հիմքեր, և թող պրիզմայի մեջ լինի տեղադրված գլան, որի հիմքը <math>\epsilon \zeta \eta \theta</math> շրջանագիծն է, որն առնչվում է αβγδ զուգահեռագծի կողմերին՝ ∈, ζ, η և θ կետերում։ Անցկացնելով հարթություն նրա կենտրոնով և քառակուսու հակառակ կողմով (համապատասխանող γδ կողմին), այն կառանձնանա ամբողջ պրիզմայից՝ ձևավորելով երկրորդ պրիզմա, որն ամբողջ պրիզմայի 1/4 մասն է, և որը, սահմանափակվում է երեք զուգահեռագծերով և երկու հակառակ եռանկյուններով։