Տարերք/Գիրք 5

հեղինակ՝ էվկլիդես աղբյուր՝ Euclid's Elements of Geometry, English translation by Richard Fitzpatrick

Տարերքի գրքեր

pages 129-130

Սահմանումներ 1. Մեծությունը համարվում է մեկ այլ մեծության մաս՝ փոքրը մեծի, երբ այն չափում է մեծը։ 2. Եվ մեծը համարվում է փոքրի բազմապատիկ, երբ այն չափվում է փոքրով։ 3. Հարաբերությունը որոշակի պայման է, որը վերաբերում է երկու նույն տեսակի մեծությունների մեծության։ 4. (Այն) մեծություններն ունեն հարաբերություն միմյանց նկատմամբ, որոնք, բազմապատկվելով, կարող են գերազանցել մեկը մյուսին։ 5. Մեծությունները համարվում են նույն հարաբերության մեջ՝ առաջինը երկրորդի հետ, և երրորդը՝ չորրորդի, երբ առաջինի և երրորդի հավասար բազմապատիկները կամ երկուսն էլ գերազանցում են, կամ հավասար են, կամ փոքր են երկրորդի և չորրորդի հավասար բազմապատիկներից՝ վերցված համապատասխան կարգով և ցանկացած բազմապատկման եղանակով։ 6. Եվ թող այն մեծությունները, որոնք ունեն նույն հարաբերությունը, կոչվեն համաչափ։ 7. Եվ երբ հավասար բազմապատիկների դեպքում (ինչպես Սահման․ 5-ում), առաջինի բազմապատիկը գերազանցում է երկրորդի բազմապատիկին, իսկ երրորդի բազմապատիկը չի գերազանցում չորրորդի բազմապատիկին, ապա առաջինն ունի մեծ հարաբերություն երկրորդի նկատմամբ, քան երրորդը՝ չորրորդի։ 8. Եվ երեք անդամներում հարաբերությունը նվազագույնն է։ 9. Եվ երբ երեք մեծությունները համաչափ են, առաջինը հարաբերում է երրորդին այն հարաբերության քառակուսով, որն (այն ունի) երկրորդի նկատմամբ։ 10. Եվ երբ չորս մեծություններ (հաջորդաբար) համաչափ են, առաջինը հարաբերում է չորրորդին այն հարաբերության խորանարդով, որն (այն ունի) երկրորդի նկատմամբ և այսպես շարունակ։ 11. Այս մեծությունները համարվում են համապատասխան՝ առաջնայինը՝ առաջնայինին, իսկ հետևողը՝ հետևողին։ 12. Փոխադարձ հարաբերությունը (առաջնայինի հարաբերության) ընդունումն է դեպի առաջնային (երկու հավասար հարաբերություններից) և (այն հավասարեցնելը) հետևողի (հարաբերությանը) դեպի հետևող։ 13. Հակադարձ հարաբերությունը (հետևողի հարաբերության) ընդունումն է որպես առաջնային, իսկ առաջնայինի՝ որպես հետևող։ 14. Հարաբերության համադրումը (առաջնայինի և հետևողի հարաբերության) ընդունումն է՝ առաջնայինին գումարած հետևողը՝ որպես մեկը, դեպի միայն հետևողը։

Սահմանումներ

1. Մեծությունը ուրիշ մեծության մաս է (փոքրը մեծի), երբ նա չափում է մեծը։
2. Եվ մեծ մեծությունը բազմապատիկ է փոքրին, երբ նա չափվում է փոքրով։
3. Հարաբերությունը պայմանի որոշակի տեսակ է երկու նույն մեծությունների չափերի նկատմամբ:
4. Այդ մեծություններն ունեն հարաբերություն միմյանց նկատմամբ, որոնք, բազմապատկելով կարող են գերազանցել մեկը մյուսին:
5. Մեծությունների հարաբերությունները հավասար են, համապատասխանաբար առաջինը երկրորդին, երրորդը՝ չորրորդին, երբ հավասար առաջինի և երրորդի բազմապատիկներից երկուսն էլ գերազանցում են, երկուսն էլ հավասար են, կամ երկուսն էլ փոքր են, համապատասխանաբար երկրորդի և չորրորդի հավասար բազմապատիկներից՝ վերցված համապատասխան հերթականությամբ՝ ցանկացած տեսակի բազմապատկման համաձայն։
6. Նույն հարաբերություն ունեցող մեծությունները կոչվում են պրոպորցիոնալ:
7. Երբ հավասար բազմապատիկների համար (ինչպես սահմանում 5-ում),առաջին բազմապատիկի մեծությունը գերազանցում է երկրորդի բազմապատիկինը, իսկ երրորդ բազմապատիկի մեծությունը չի գերազանցում չորրորդ բազմապատիկինը, ապա առաջին մեծությունը երկրորդի նկատմամբ ավելի մեծ հարաբերություն ունի, քան երրորդը մեծությունը չորրորդի նկատմամբ:
8. Եվ երեք անդամով հարաբերությունը ամենափոքրն է (հնարավոր):
9. Եվ երբ երեք մեծություն պրոպորցիոնալ են, առաջինը երրորդին ունի նույն հարաբերությունը ինչ առաջինը երկրորդին բարձրացրած քառակուսի
10. Եվ երբ չորս մեծություն (շարունակաբար) պրոպորցիոնալ են, առաջինը չորրորդին ունի նույն հարաբերությունը ինչ առաջինը երկրորդին բարձրացրած խորանարդ։ Եվ այսպես շարունակ, նմանապես, հաջորդական հերթականությամբ, ինչպիսին էլ որ կարող է լինել (շարունակական) հարաբերությունը:
11. երկու հարաբերությունների առաջին անդամները, և հաջորդող անդամները կոչվում են համապատասխան մեծություններ։
12. Այլընտրանքային հարաբերությունը ստացվում է երկու հարաբերությունների առաջինների հարաբերությունը հավասարեցնելով երկու հարաբերությունների հաջորդողների հարաբերությանը։
13. Հակադարձ հարաբերություն է ստացվում վերցնելով հարաբերության առաջին, որպես հաջորդող և հաջորդողը առաջին:
14. Բաղադրյալ հարաբերություն է ստացվում վերցնելով հարաբերության առաջին, որպես հաջորդողի և առաջինի գումար, իսկ հաջորդողը մնում է նույնը։
15. Բաժանման հարաբերություն է ստացվում վերցնելով հարաբերության առաջին, որպես առաջինի և հաջորդողի տարբերություն, իսկ հաջորդողը մնում է նույնը։
16. Փոխարկման հարաբերություն է ստացվում վերցնելով հարաբերության առաջին, որպես առաջին իսկ հաջորդող, որպես առաջինի և հաջորդողի տարբերություն։
17. Կան մի քանի մեծություններ և դրանց հավասար թվով այլ մեծություններ, որոնք ունեն նույն հարաբերությունը զույգ առ զույգ վերցված, հարաբերությունը հավասարության միջոցով տեղի է ունենում, երբ առաջինը մինչև վերջինն է առաջինում մեծությունների բազմությունում, ուստի առաջինը (է) մինչև վերջինը երկրորդ

արտաքին (մեծությունների) (հարաբերակցությունը) հեռացնելով ներքինը (մեծությունները).

Պնդում 1

Եթե որևէ քանակի մեծություններ համապատասխանաբար բազմապատիկ են հավասար թվով ուրիշ մեծությունների, ապա քանի անգամ մեծություններից մեկը մեծ է իրեն համապատասխան մեծությունից, այնքան անգամ մնացած բոլոր մեծությունները մեծ են իրենց համապատասխան մեծություններից։

Stex screenshot piti dnem

Թող լինի ցանկացած քանակի քանակության, AB, CD մեծություններ որոնք հավասար բազմապատիկ են, համապատասխանաբար, որոշ այլ հավասար թվով մեծությունների՛ E, F։ քանի անգամ AB-ն բաժանվում է E-ի, այնքան անգամ AB-ն, CD-ն նույնպես կբաժանվի E, F-ի: Քանի որ AB-ն, CD-ն հավասար է E, F-ի բազմապատիկին, ապա AB-ում այնքան մեծություններ հավասար են E-ին, ինչքան CD-ում հավասար են F-ի: Թող AB-ն բաժանվի AG, GB, հավասար E-ի և CD-ն CH, HD, հավասար F: Այսպիսով, AG, GB-ի թիվը հավասար կլինի CH, HD-ի թվին:Եվ քանի որ AG-ը հավասար է E-ի, իսկ CH-ն F-ն է, ապա AG (հավասար), հետևաբար, հավասար է E-ի, իսկ AG, CH - E, F: Այսպիսով, նույն (պատճառներով) GB-ն հավասար է E-ի, և GB, HD - E, F.

Այսպիսով, որքան շատ արժեքներ AB-ում հավասար են E-ին, այնքան շատ կան AB, CD-ն հավասար է E-ի, F-ին: Այսպիսով, քանի անգամ AB-ն (բաժանում է) E-ի վրա, այդքան անգամ AB-ն, CD-ն նույնպես ( բաժանել) E-ով, F:

Այսպիսով, եթե կա որևէ քանակի մեծություն (որոնք) հավասար են, համապատասխանաբար, որոշ (այլ) թվով (նրանց) հավասար քանակություններ, ապա այդքան շատ քանի անգամ (առաջին) մեծություններից մեկը կբաժանվի մեկին (երկրորդին), այդքան անգամ բոլորը (առաջին մեծությունները) նույնպես կբաժանվեն մեկով (երկրորդից):

առաջին մեծությունները) նաև (բաժանել) բոլորի (երկրորդ): (ինչը պետք էր ցույց տալ):

Պնդում 2

Եթե ​​առաջին մեծությունը և երրորդը հավասար են երկրորդ և չորրորդ մեծությունների համապատասխան բազմապատիկներին, իսկ հինգերորդը մեծությունը և վեցերորդը նույնպես հավասար են երկրորդի և չորրորդի համապատասխան բազմապատիկներին, ապա առաջին մեծությունը և հինգերորդը՝ գումարվելով միասին, իսկ երրորդն ու վեցերորդը ՝ գումարվելով միասին, նույնպես կլինեն երկրորդ և չորրորդ մեծությունների համապատասխան բազմապատիկները:

Թող առաջին մեծություն AB-ն և երրորդը DE-ն հավասար լինեն երկրորդ C-ի և չորրորդ F-ի համապատասխան բազմապատիկներին: Եվ թող հինգերորդ մեծությունը BG-ն և վեցերորդ EH-ը նույնպես աբար հավասար լինեն երկրորդ C-ի և չորրորդ F-ի համապատասխան բազմապատիկներին: Ապա առաջին մեծությունը և հինգերորդը, գումարվելով միասին, կտա AG, իսկ երրորդը մեծությունը և վեցերորդը, գումարվելով միասին, կտա DH, որոնք նույնպես կլինեն համապատասխանաբար C-ի և F-ի հավասար բազմապատիկներ:

STEX PITI SCREENSHOT LINI #2

Քանի որ AB-ն և DE-ն են C-ի և F-ի հավասար բազմապատիկներ են, ապա այնքան մեծություն որքան AB-ում հավասար են C-ին, այնքան էլ մեծություն DE-ում հավասար են F-ին: Եվ նույն պատճառներով, նույնքան մեծություններ BG-ում հավասար են C-ի, այնքան էլ EH-ում հավասար են F-ին:

Այսպիսով, որքան արժեքներ կան ամբողջ AG-ում, որոնք հավասար են C-ին, այնքան էլ կա ամբողջ DH-ում, որը հավասար է F-ին: Այսպիսով, որքան անգամ AG-ն բաժանվի C-ի, այնքան էլ DH-ն նույնպես կբաժանվի F-ի։ Այսպիսով, առաջինը (մեծությունը) և հինգերորդը, գումարվելով միասին կտան AG, իսկ երրորդը (մեծությունը) և վեցերորդը գումարվելով միասին (DH ստանալու համար), կլինեն երկրորդ C-ի և չորրորդ F-ի համապատասխան հավասար բազմապատիկեր:

Այսպիսով, եթե առաջինը (մեծությունը) և երրորդը հավասար են երկրորդի և չորրորդի (համապատասխանաբար) բազմապատիկներին, իսկ հինգերորդը (մեծությունը) և վեցերորդը նույնպես հավասար են երկրորդի և չորրորդի (համապատասխանաբար) բազմապատիկներին, ապա առաջինը և հինգերորդը մեծությունները, գումարվելով միասին, իսկ երրորդն ու վեցերորդը, գումարվելով միասին, նույնպես կլինեն երկրորդի և չորրորդի (համապատասխանաբար) բազմապատիկները:

(ինչը որ պետք էր ցույց տալ):

Պնդում 3

Եթե ​​առաջինը (մեծությունը) և երրորդը հավասար են երկրորդի և չորրորդի համապատասխան բազմապատիկներին, և հավասար բազմապատիկ վերցված են առաջինից և երրորդից, ապա հավասարության միջոցով վերցված (մեծությունները) նույնպես կլինեն երկրորդի (մեծությունը) և չորրորդի համապատասխան հավասար բազմապատիկ։ Թող առաջին (մեծություն) A-ն և երրորդ C-ն լինեն հավասար բազմապատիկներ երկրորդ B-ի և չորրորդ D-ի (համապատասխանաբար), իսկ EF-ը և GH-ը համապատասխանաբար A-ի և C-ի հավասար բազմապատիկները: Ապա EF-ը և GH-ը B-ի և D-ի հավասար բազմապատիկ են (համապատասխանաբար):

Քանի որ EF-ը և GH-ը հավասար են A-ի և C-ի բազմապատիկներին (համապատասխանաբար), ապա այնքան (արժեքներ) EF-ում հավասար են A-ին, նույնքան GH-ում հավասար են C-ի:

Թող EF-ը բաժանվի EK, KF արժեքների հավասար A-ին, իսկ GH-ն՝ GL-ի, LH-ն հավասար C-իn: Այսպիսով EK, KF արժեքների թիվը հավասար կլինի GL, LH մեծությունների թվին:

Եվ քանի որ A-ն և C-ն հավասար են B-ի և D-ի բազմապատիկներին (համապատասխանաբար), իսկ EK-ն հավասար է A-ի, իսկ GL-ը հավասար է C-ին, ուրեմն EK-ն և GL-ն, հավասար են B-ի և D-ի (համապատասխանաբար) բազմապատիկներին:

Այսպիսով, նույն պատճառներով KF-ն և LH-ն հավասար են B-ի և D-ի բազմապատիկներին (համապատասխանաբար): Հետևաբար, առաջին մեծություն EK-ն և երրորդ GL-ը հավասար են երկրորդ B-ի և չորրորդ D-ի բազմապատիկներին (համապատասխանաբար), իսկ հինգերորդ մեծությունը KF-ը և վեցերորդ LH-ը նույնպես հավասար են երկրորդ B-ի և չորրորդ D-ի բազմապատիկներին (համապատասխանաբար), ապա առաջին մեծությունն ու հինգերորդը, գումարվելով միասին (այնպես, որ տալիս են EF), և երրորդն ու վեցերորդը գումարվելով միասին (GH ստանալու համար), հավասար են երկրորդ B-ի և չորրորդ D-ի բազմապատիկներին (համապատասխանաբար):

Stex screenshot petqa lini #3

Այսպիսով, եթե առաջինը (մեծությունը) և երրորդը հավասար են երկրորդի և չորրորդի համապատասխան բազմապատիկներին, և վերցված են առաջինի և երրորդի հավասար բազմապատիկները, ապա (հավասարության միջոցով) վերցված արժեքները նույնպես հավասար կլինեն երկրորդի և չորրորդը, համապատասխան բազմապատիկներին: Ինչը պետք էր ցույց տալ:

Պնդում 4

Եթե ​​առաջինը (մեծությունը) ունի նույն հարաբերությունը երկրորդի հետ, ինչ երրորդը (ունի) չորրորդի, ապա առաջին (մեծության) և երրորդի հավասար բազմապատիկները նույնպես կունենան նույն հարաբերությունը երկրորդի և չորրորդի հավասար բազմապատիկներին՝ վերցված համապատասխան հերթականությամբ՝ ըստ ցանկացած բազմապատկման ձևի։

թող առաջին մեծությունը` A-ն ունենա նույն հարաբերությունը երկրորդ B-ի հետ, ինչ երրորդ C-ն ունի չորրորդ D-ի հետ: Եվ թող E-ն և F-ը լինեն A-ի և C-ի համապատասխանաբար հավասար բազմապատիկները, իսկ B-ից և D-ից համապատասխանաբար այլ պատահական հավասար բազմապատիկներ՝ G-ն և H-ը: Ապա E-ն հարաբերում է G-ին ինչպես F-ը D-ին։

Stex piti screenshot lini #4

eli baner stex piti lini

Պնդում 5

Եթե ​​մեծությունը նույն մեծության բազմապատիկն է, ինչ վերցված մասը (է) վերցված մասի, ապա մնացորդը նույնպես կլինի մնացորդի նույն բազմապատիկը, ինչ ամբողջը ամբողջից (համապատասխանաբար):

Stex piti screenshot lini #5

Թող AB մեծությունը լինի CD մեծության նույն բազմապատիկը, ինչ վերցված AE մասը վերցված CF մասից է: Ես ասում եմ, որ մնացորդ EB-ն նույնպես կլինի մնացորդի FD-ի նույն բազմապատիկը, ինչ որ ամբողջ AB-ն ամբողջ CD-ի է: Քանի անգամ AE-ն բաժանվում է CF-ին, այնքան անգամ էլ թող EB-ն բաժանվի CG-ին։ Եվ քանի որ AE EB համապատասխանաբար CF GF հավասար բազմապատիկներ են, հետևաբար AE AB համապատասխանաբար CF CD հավասար բազմապատիկներ են (Պնդում 1)։ Եվ AE-ն ու AB-ն ենթադրվում է որ լինեն CF-ի և CD-ի համապատասխանաբար հավասար բազմապատիկներ: Հետևաբար AB-ն GF-ի և CD-ի հավասար բազմապատիկ է. Հետևաբար GF-ը հավասար է CD. Թող երկուսից էլ հանենք CF-ը: Հետևաբար GC մնացորդը հավասար է FD մնացորդին: Եվ քանի որ AE-ն ու EB-ն CF-ի և GC-ի համապատասխանաբար հավասար բազմապատիկներ են և GC-ն հավասար է DF-ին, ապա AE-ն և EB-ն համապատասխանաբար CF-ի ու FD-ի համապատասխանաբար հավասար բազմապատիկներ են։ Եվ AE-ն ու AB-ն ենթադրվում է որ լինեն CF-ի և CD-ի համապատասխանաբար հավասար բազմապատիկներ: Հետևաբար, EB-ն ու AB-ն FD-ի և CD-ի համապատասխանաբար հավասար բազմապատիկներ են: Հետևաբար, EB մնացորդը նույնպես կլինի FD մնացորդի հավասար բազմապատիկ ինչ համապատասխանաբար ողջ AB-ն CD-ին: Հետևաբար, ​​մեծությունը նույն մեծության բազմապատիկն է, ինչ վերցված մասը վերցված մասի, և մնացորդը նույնպես մնացորդի նույն բազմապատիկն է, ինչ ամբողջը ամբողջի (համապատասխանաբար): Ինչը պետք էր ցույց տալ:

Պնդում 6

Եթե ​​երկու մեծություններ երկու այլ մեծությունների հավասար բազմապատիկներ են, իսկ առաջին և վերջին մեծություններից որոշ վերցված մասեր համապատասխանաբար հավասար բազմապատիկներ են, ապա մնացորդները նույնպես կամ հավասար են վերջին մեծություններին, կամ համապատասխանաբար դրանց հավասար բազմապատիկ են։ Թող AB և CD մեծությունները լինեն E-ի, և F-ի համապատասխանաբար հավասար բազմապատիկներ: Եվ թող առաջինից վերցված մասերը՝ AG-ն և CH-ը լինեն համապատասխաբար E-ի և F-ի հավասար բազմապատիկներ: Ես ասում եմ որ GB և HD մնացորդները կամ նույնպես հավար են E-ի և F-ի կամ նրանց հավասար բազմապատիկներ են:

Stex piti screenshot lini #6

Թող GB-ն լինի հավասար E-ին: Ես ասում եմ որ HD-ն նույնպես հավասար է F-ին: Թող CK-ն լինի հավասար F-ին: Քանի որ AG-ն և CH-ը համապատասխանաբար E-ի և F-ի հավասար բազմապատիկներ են, և GB-ն հավասար է E-ին և KC-ն F-ին։ AB-ն և KH-ը հետևաբար E-ի և F-ի հավասար բազմապատիկներ են (2)։ Եվ AB-ն ու CD-ն ենթադրվում է որ լինեն E-ի և F-ի համապատասխանաբար հավասար բազմապատիկներ: Հետևաբար KH-ը և CD-ն համապաստասխանաբար F-ի և F-ի հավասար բազմապատիկներ են: Հետևաբար KH-ը և CD-ն յուրաքանչյուրը F-ի հավասար բազմապատիկներ են: ՀԵտրևաբար KH-ը հավասար է CD-ին: Թող CH-ը հանենք երկուսից էլ: Հետևաբար KC մնացորդը հավասար է HD մնացորդին: Բայց F-ը հավասար է KC-ին։ Հետևաբար HD-ն նույնպես հավասար է F-ին։ Հետաևբար եթե GB-ն հավասար է E-ին, ապա HD-ն նույնպես հավասար կլինի F-ին։ Հանգունորեն մենք կարող ենք ցույց տալ, որ եթե GB-ն E-ի բազմապատիկ է, ապա HD-ն նույնպես F-ի նույն բազմապատիկը կլինի: Հետևաբար, Եթե ​​երկու մեծություններ երկու այլ մեծությունների հավասար բազմապատիկներ են, իսկ առաջին և վերջին մեծություններից որոշ վերցված մասերի համապատասխանաբար հավասար բազմապատիկներ են, ապա մնացորդները նույնպես կամ հավասար են վերջին մեծություններին, կամ համապատասխանաբար դրանց հավասար բազմապատիկ են։ Ինչը պետք էր ցույց տալ:

Պնդում 7

Հավասար մեծությունները ունեն նույն հարաբերությունը նույն մեծությանը, և վերջինս ունի նույն հարաբերությունը հավասար մեծություններին։ Թող A և B-ն լինեն հավասար մեծություններ, և C-ն պատահական մեծություն։ Ես ասում եմ որ A և B-ն ունեն նույն հարաբերությունը C-ին և C-ն ունի նույն հարաբերությունը A և B-ին։

Stex piti screenshot lini #7 Թող D և E հավասար բազմապատիկները համապատասխանաբար վերցված լինեն A-ից և B-ից, և ինչ-որ ուրիշ պատահական F-ը C-ից։ Հետևաբար, քանի որ D և E-ն A-ի և B-ի հավասար բազմապատիկներ են և A-ն հավասար է B-ին, հետևաբար D-ն հավասար է E-ին։ Եվ F-ը ուրիշ պատահական է։ Հետևաբար, եթե D-ն գերազանցում է F-ին, ապա E-ն նույնպես գերազանցում է F-ին, և եթե D-ն հավասար է F-ին, ապա E-ն հավասար է F-ին, և եթե եթե D-ն չի գերազանցում է F-ին, ապա E-ն նույնպես չի գերազանցում է F-ին։ Եվ D-ն ու E-ն համապատասխանաբար A ու B-ի հավասար բազմապատիկներ են և F-ը ուրիշ պատահական C-ի։ Հետրաբար A-ն հարաբերում է C-ին ինչպես B-ն C-ին (Սահմանում 5.5)։ Այսպիսով ես ասում եմ, որ C-ն նույնպես ունի նույն հարաբերությունը A-ին և B-ին։ Հանգունորեն մենք կարող ենք ցույց տալ, որ D-ն հավասար է E-ին։ Եվ F-ը ունի մեկ այլ արժեք։ Հետևաբար, եթե F-ն գերազանցում է D-ին, նա նույնպես գերազանցում է E-ին, և եթե F-ը հավասար է D-ին, ապա նա նույնպես հավասար է E-ին, և եթե F-ը չի գերազանցում է D-ին, ապա նա նույնպես չի գերազանցում է E-ին։ Եվ F-ը C-ի բազմապատիկն է ու D-ն և E-ն ուրիշ պատահական A-ի և B-ի բազմապատիկ։ Հետևաբար, C-ն հարաբերում է A-ին ինչպես C-ն B-ին [Սահմանում 5.5]: Այսպիսով՝ հավասար մեծությունները ունեն հավասար հարաբերություն նույն մեծությանը, և վերջին մեծությունը ունի հավասար հարաբերություն հավասար մեծություններին։

Հետևանք

Այսպիսով այստեղից պարզ է որ երե որոշ մեծություններ պրոպորցիոնալ են, ապա նրանք նույնպես կլինեն հակադարձորեն պրոպորցիոնալ։ Ինչը պետք էր ցույց տալ:

Պնդում 8

erkara heto kanem

mekel screenshot #8

Պնդում 9

Մեծություններ, որոնք ունեն նույն հարաբերությունը նույն մեծությանը հավասար են մեկը մյուսին։ Եվ այն մեծությունները, որին նույն մեծությունը ունի նույն հարաբերությունը հավասար են։

screenshot #9

Թող A-ից և B-ից յուրաքանչյուրը ունենա նույն հարաբերությունը C-ին։ Ես ասում եմ որ A-ն հավասար է B-ին։ Եթե ոչ A-ն և B-ն չեն ունենա նույն հարաբերությունը C-ին [պնդում 5.8]։ Բայց նրանք ունեն։ Հետևաբար A-ն հավասար է B-ին։ Կրկին թող C-ն ունենա նույն հարաբերությունը A-ին և B-ին։ Ես ասում եմ որ A-ն հավասար է B-ին։ Եթե ոչ C-ն չի ունենա նույն հարաբերությունը A-ին և B-ին [պնդում 5.8]։ Բայց նա ունի։ Հետևաբար A-ն հավասար է B-ին։ Այսպիսով՝ մեծությունները, որոնք ունեն նույն հարաբերությունը նույն մեծությանը հավասար են մեկը մյուսին։ Եվ այն մեծությունները, որին նույն մեծությունը ունի նույն հարաբերությունը հավասար են։ Ինչը պետք էր ցույց տալ:

Պնդում 10

Երկու մեծություններ ունեն հարաբերություններ նույն մեծությանը։ Այն մեծությունը որը ունի մեծ հարաբերություն այդ երկուսից մեծն է։ Եվ այն մեծությունը, որին վերջին մեծությունը ունի ավելի մեծ հարաբերություն փոքրն է։

screenshot #10

Թող A-ն ունենա ավելի մեծ հարաբերություն C-ին քան B-ն C-ին։ Ես ասում եմ որ A-ն մեծ է B-ից։
Եթե ոչ A-ն հաստատ հավասար է կամ մեծ է B-ից: A-ն հավասար չէ B-ին, Քանի որ հակառակ դեպքում A-ն և B-ն կունենային նույն հարաբերությունը C-ին 

[Պնդում 5.7]: Բայց նրանք չունեն հավասար հարաբերություններ։ Հետևաբար, A-ն հավասար չի B-ին։ Նույնպես, իրոք A-ն փոքր չէ B-ից: Հակառակ դեպքում A-ն կունենա ավելի փոքր հարաբերություն C-ին քան B-ն C-ին [Պնդում 5.8]: Բայց դա այդպես չէ։ Հետևաբար, A-ն փոքր չէ B-ից: Եվ մենք ցույց էինք տվել որ նրանք հավասար չեն։ Հետևաբար A-ն մեծ է B-ից:

Կրկին, Թող C-ն ունենա ավելի մեծ հարաբերություն B-ին քան C-ն A-ին։ Ես ասում եմ որ B-ն փոքր է A-ից:
Եթե ոչ հաստատ հավասար կամ մեծ է: A-ն հավասար չէ B-ին, Քանի որ հակառակ դեպքում C-ն կունենար նույն հարաբերությունը A-ին և B-ին [Պնդում 5.7]:  Բայց դա այդպես չէ։ Նույնպես, իրոք B-ն մեծ չէ A-ից: Հակառակ դեպքում C-ն կունենա ավելի փոքր հարաբերություն B-ին քան A-ին [Պնդում 5.8]: Բայց դա այդպես չէ։ Հետևաբար, B-ն մեծ չէ A-ից: Եվ մենք ցույց էինք տվել որ նրանք հավասար չեն։ Հետևաբար B-ն փոք է A-ից:
Այսպիսով, եթե երկու մեծություններ ունեն հարաբերություններ նույն մեծությանը։ ՀԵտևաբար, այն մեծությունը որը ունի մեծ հարաբերություն այդ երկուսից մեծն է։ Եվ այն մեծությունը, որին վերջին մեծությունը ունի ավելի մեծ հարաբերություն փոքրն է։

Պնդում 11

Հարաբերությունները որոնք նույն են նույն հարաբերության հետ նույնպես նույնն են իրար հետ։

screenshot #11

Թող A-ն հարաբերի B-ին ինչպես C-ն D-ին և C-ն հարաբերում է D-ին ինչպես E-ն F-ին։ Ես ասում եմ որ A-ն հարաբերում է B-ին ինչպես E-ն F-ին։ Թող հավասար բազմապատիկներ G, H, K-ն համապատասխանաբար վերցված լինեն A, C, E-ից և ուրիշ պատահական հավասար բազմապատիկներ L, M, N-ը համապատասխանաբար B, D, F-ից։ Քանի որ A-ն հարաբերում է B-ին ինչպես C-ն D-ին և հավասար բազմապատիկներ G-ն և H-ը վերցված են եղել համապատասխանաբար A-ից և C-ից և ուրիշ պատահական հավասար բազմապատինկեր L և M-ը համապապատասխանաբար B-ից և D-ից, հետևաբար եթե G-ն գերազանցում է L-ին, ապա H-ը նույնպես գերազանցում է M-ին, և եթե G-ն հավասար է L-ին, ապա H-ը նույնպես հավասար է M-ին, և եթե G-ն փոքր է L-ից, ապա H-ը նույնպես փոքր է M-ից [Պնդում 5.5]: Կրկին, Քանի որ C-ն հարաբերում է D-ին ինչպես E-ն F-ին և հավասար բազմապատիկներ H և K-ն վերցված են եղել համապատասխանաբար C-ից և E-ից և ուրիշ պատահական հավասար բազմապատինկեր M և N-ը համապապատասխանաբար D-ից և F-ից, հետևաբար եթե H-ն գերազանցում է M-ին, ապա K-ը նույնպես գերազանցում է N-ին, և եթե H-ն հավասար է M-ին, ապա K-ը նույնպես հավասար է N-ին, և եթե H-ն փոքր է M-ից, ապա K-ը նույնպես փոքր է N-ից [Սահմանում 5.5]: Բայց մենք նկատել էինք, որ եթե H-ը գերազանցում է M-ին, ապա G-ն նույնպես գերազանցում է L-ին, և եթե H-ը հավասար է M-ին, ապա G-ն նույնպես հավասար է L-ին, և եթե H-ը փոքր է M-ից, ապա G-ն նույնպես փոքր է L-ից: Եվ քանի որ եթե G-ն գերազանցում է L-ին, ապա K-ը նույնպես գերազանցում է N-ին, և եթե G-ն հավասար է L-ին, ապա K-ը նույնպես հավասար է N-ին, և եթե G-ն փոքր է L-ից, ապա K-ը նույնպես փոքր է N-ից [Սահմանում 5.5]: Եվ G, K-ն համապատասխանաբար A-ի և E-ի հավասար բազմապատիկներ են և L, N-ը համապատասխանաբար B, F-ի ուրիշ պատահական հավասար բազմապատիկներ են։ Հետևաբար, A-ն հարաբերում է B-ին ինչպես E-ն F-ին [Սահմանում 5.5]։ Հետևաբար, հարաբերությունները որոնք նույն են նույն հարաբերության հետ նույնպես նույնն են իրար հետ։

Պնդում 12

Եթե կան կամայական քանակի համաչափ մեծություններ, ապա ինչպես առաջնային մեծություններից մեկը հարաբերում է իր հետևողին, այդպես էլ կհարաբերեն բոլոր մնացած առաջնային մեծությունները իրենց հետևողներին։

screenshot #12

Թող վերցված լինեն կամայական քանակի համաչափ մեծություններ: Oրինակ ` A, B, C, D, E, F Այնպես որ A-ն հարաբերում է B-ին ինչպես C-ն D-ին և E-ն F-ին։ Ես ասում եմ որ A-ն հարաբերում է B-ին ինչպես A, C, E-ն B, D, F-ին։ Թող հավասար բազմապատիկներ G, H, K-ն համապատասխանաբար վերցված լինեն A, C, E-ից և ուրիշ պատահական հավասար բազմապատիկներ L, M, N-ը համապատասխանաբար B, D, F-ից։ Եվ քանի որ A-ն հարաբերում է B-ին ինչպես C-ն D-ին և E-ն F-ին, և հավասար բազմապատիկներ G, H, K-ն համապատասխանաբար վերցված են եղել A, C, E-ից և ուրիշ պատահական հավասար բազմապատիկներ L, M, N-ը համապատասխանաբար B, D, F-ից, ապա եթե G-ն գերազանցում է L-ին, ապա H-ը նույնպես գերազանցում է M-ին և K-ն գերազանցում է N-ին, և եթե G-ն հավասար է L-ին, ապա H-ը նույնպես հավասար է M-ին, և K-ն հավասար է N-ին, և եթե G-ն փոքր է L-ից, ապա H-ը նույնպես փոքր է M-ից և K-ն փոքր է N-ից [Սահմանում 5.5]: Հետևաբար, եթե G-ն գերազանցում է L-ին, ապա G, H, K-ն նույնպես գերազանցում են L, M, N-ին, և եթե G-ն հավասար է L-ին, ապա G, H, K-ն նույնպես հավասար են L, M, N-ին, և եթե G-ն փոքր է L-ից, ապա G, H, K-ն նույնպես փոքր են L, M, N-ից: Եվ G-ն ու G, H, K-ն համապատասխանաբար A-ի և A, C, E-ի հավասար բազմապատիկներ են, այնքանով որ եթե կամայական քանակով մեծություններ, որոնք համապատասխանաբար հավասար բազմապատինկեր են ուրիշ մեծությունների, իրենց քանակով հավասար, ապա այնքան անգամ ինչքան առաջին մեծություններից մեկը մեծ է իրեն հետևողից այնքան անգամ էլ մնացած բոլոր առաջին մեծությունները մեծ են իրենց հետևողներից [Պնդում 5.1]: Այսպիսով նույն պատճառով L-ն ու L, M, N-ը համապատասխանաբար B-ի և B, D, F-ի հավասար բազմապատիկներ են: Այսպիսով եթե կան կամայական քանակի համաչափ մեծություններ, ապա ինչպես առաջնային մեծություններից մեկը հարաբերում է իր հետևողին, այդպես էլ կհարաբերեն բոլոր մնացած առաջնային մեծությունները իրենց հետևողներին։ Ինչը պետք էր ցույց տալ:

Պնդում 13

Եթե առաջին մեծությունը ունի նույն հարաբերությունը երկրորդին ինչպիսին ունի երրորդը չորրորդին և երրորդ մեծությունը ունի ավելի մեծ հարաբերություն չորրորդին քան հինգերորրդը վեցերորդին, ապա առաջին մեծությունը կունենա ավելի մեծ հարաբերություն երկրորդին քան հինգերորդը վեցերորդին։

screenshot # 13

Թող առաջին մեծությունը A-ն ունենեա նույն հարաբերությունը երկրորդ B-ին ինչպիսին ունի երրորդ C-ն չորրորդ D-ին և թող երրորդ մեծություն C-ն ունենա ավելի մեծ հարաբերություն չորրորդ D-ին քան հինգերորրդ E-ն ունի վեցերորդ F-ին։ Ես ասում եմ որ, առաջին մեծություն A-ն կունենա ավելի մեծ հարաբերություն երկրորդ B-ին քան հինգերորդ E-ն վեցերորդ F-ին։ Քանի որ կան C-ի և E-ի հավասար բազմապատիկներ, և ուրիշ պատահական D-ի և F-ի հավասար բազմապատիկներ, որոնց համար C-ի բազմապատիկը չի գերազանցում D-ի բազմապատիկը և E-ի բազմապատիկը չի գերազանցում F-ինը [Պնդում 5.7], թող նրանք վերցված լինեն։ Եվ թող G, H-ը լինեն համապատասխանաբար C, E-ի հավասար բազմապատիկներ և K, L-ը համապատասխանաբար D և F-ի ուրիշ պատահական հավասար բազմապատիկներ են, այնպես որ G-ն գերազանցում K-ին, բայց H-ը չի գերազանցում Լ-ին։ Եվ այնքան անգամ ինչքան G-ն բաժանվում է C-ին այնքան անգամ էլ M-ը բաժանվում է A-ին։ Եվ այնքան անգամ ինչքան K-ն բաժանվում է D-ին այնքան անգամ էլ թող N-ը բաժանվի է B-ին։

Քանի որ A-ն հարաբերում է B-ին այնքան ինչքան C-ն Դ-ին և M, G հավասար բազմապատիկները վերցված են եղել համապատասխանաբար A-ից և C-ից և ուրիշ հավասար բազմապատիկները N և K-ն համապատասխանաբար B-ից և D-ից, հետևաբար եթե M-ը գերազանցում է N-ին, ապա G-ն նույնպես գերազանցում է K-ին, և եթե 

M-ը հավասար է N-ին, ապա G-ն նույնպես հավասար է K-ին, և եթե M-ը փոքր է N-ից, ապա G-ն նույնպես փոքր է K-ից [Սահմանում 5.5]: Եվ G-ն գերազանցում է K-ին։ Հետևաբար M-ը նույպես գերազանցում է N-ին։ Եվ M-ն ու H-ը համապատասխանաբար A-ի և E-ի հավասար բազմապատիկներ են ու N-ը ու L-ը համապատասխանաբար B-ի և F-ի ուրիշ հավասար բազմապատիկներ են։ Հետևաբար, A-ն ունի ավելի մեծ հարաբերություն B-ին քան E-ն F-ին [Սահմանում 5.7] ։ Այսպիսով եթե առաջին մեծությունն ունի նույն հարաբերությունը երկրորդին ինչպիսին ունի երրորդը չորրորդին և երրորդ մեծությունը ունի ավելի մեծ հարաբերություն չորրորդին քան հինգերորրդը վեցերորդին, ապա առաջին մեծությունը կունենա ավելի մեծ հարաբերություն երկրորդին քան հինգերորդը վեցերորդին։ Ինչը պետք էր ցույց տալ:

Պնդում 14

Եթե առաջին մեծությունը ունի նույն հարաբերությունը երկրորդին ինչ երրորդը չորրորդին և առաջին մեծությունը մեծ է երրորդից, ապա երկրորդ մեծությունը նույնպես մեծ կլինի չորրորդից։ Եվ եթե առաջին մեծությունը հավասար է երրորդին, ապա երկրորդ մեծությունը նույնպես հավասար կլինի չորրորդին։ Եվ եթե առաջին մեծությունը փոքր է երրորդից, ապա երկրորդ մեծությունը նույնպես փոքր կլինի չորրորդից։

screenshot # 14 Թող առաջին մեծություն A-ն ունենա նույն հարաբերությունը երկրորդ B-ին ինչ երրորդ C-ն ունի չորրորդ D-ին և A-ն մեծ է C-ից։ Ես ասում եմ որ B-ն նույնպես մեծ է D-ից։ Քանի որ A-ն մեծ է C-ից և B-ն ուրիշ պատահական մեծություն է, A-ն հետևաբար ունի ավելի մեծ հարաբերություն B-ին քան C-ն B-ին [Պնդում 5.8]։ Եվ ինչպես A-ն հարաբերում է B-ին, այնպես էլ C-ն հարաբերում է D-ին։ Հետևաբար, C-ն ունի ավելի մեծ հարաբերություն D-ին քան C-ն B-ին։ Եվ այն մեծությունը, որին նույն մեծությունը ունի ավելի մեծ հարաբերություն փոքրն է [Պնդում 5.10]։ Հետևաբար D-ն փոքր է B-ից։ Հետևաբար, B-ն մեծ է D-ից։ Հանգունորեն մենք կարող ենք ցույց տալ, որ նույնիսկ եթե A-ն հավասար է C-ին, ապա B-ն նույնպես հավասար կլինի D-ին և նույնիսկ եթե A-ն փոքր է C-ից, ապա B-ն նույնպես փոքր կլինի D-ից։ Այսպիսով եթե առաջին մեծությունը ունի նույն հարաբերությունը երկրորդին ինչ երրորդը չորրորդին և առաջին մեծությունը մեծ է երրորդից, ապա երկրորդ մեծությունը նույնպես մեծ կլինի չորրորդից։ Եվ եթե առաջին մեծությունը հավասար է երրորդին, ապա երկրորդ մեծությունը նույնպես հավասար կլինի չորրորդին։ Եվ եթե առաջին մեծությունը փոքր է երրորդից, ապա երկրորդ մեծությունը նույնպես փոքր կլինի չորրորդից։

Պնդում 15

Մասերը ունեն նույն հարաբերությունը ինչպես նման բազմապատիկները, վերցված համապատասխանաբար հերթականությամբ։

screenshot #15

Թող AB-ն և DE-ն լինեն C-ի և F-ի համապատասխանաբար հավասար բազմապատիկներ։ Ես ասում եմ որ C-ն հարաբերում է F-ին ինչպես AB-ն DE—ին։ Քանի որ AB-ն և DE-ն C-ի և F-ի համապատասխանաբար հավասար բազմապատիկներ, հետևաբար այնքան մեծություններ որքան AB-ում հավասար են C-ին, այնքան էլ կան DE-ում հավասար F-ին։ Թող AB-ն բաժանված լինի մեծությունների ՝ AG, GH, HB հավասար C-ին և DE-ն, DK, KL, LE-ին հավասար F-ի։ Այսպիսով AG, GH, HB մեծությունների քանակը հավասար կլինի DK, KL, LE մեծությունների քանակին։ Եվ քանի որ AG, GH, HB-ն հավասար են իրար և DK, KL, LE-ն հավասար նույնպես հավասար են իրար։ Հետևաբար AG-ն հարաբերում է DK-ին ինչպես GH-ը KL-ին և HB-ն LE-ին [Պնդում]։ Եվ համաչափ մեծությունների համար, ինչպես առաջնային մեծություններից մեկը հարաբերում է իր հետևողին, այդպես էլ կհարաբերեն բոլոր մնացած առաջնային մեծությունները իրենց հետևողներին [Պնդում]։ ՀԵտևաբար AG-ն հարաբերում է DK-ին ինչպես AB—ն DE-ին։ Եվ AG-ն հավասար է C-ին և DK-ն F-ին։ Հետևաբար C-ն հարաբերում է F-ին ինչպես AB-ն DE-ին։ Այսպիսով մասերը ունեն նույն հարաբերությունը ինչպես նման բազմապատիկները, վերցված համապատասխանաբար հերթականությամբ։ Ինչը պետք էր ցույց տալ: