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

1. Կետը այն է, որում չկան մասեր։
2. Գիծը երկարությունն է առանց լայնությաան։
3. Գծի եզրերը կետեր են։
4. Ուղիղ գիծը դա այն գիծն է, որն ուղիղ անցնում է այդ կետերով։
5. Հարթոոթյուն է երկարություն և լայնություն ունեցող պատկերը։
6. Հարթության եզրերը գծերն են։
7. Հարթ մակերեսը այդ գծերի միջև համաչափ բաշխված է։
8. Հարթության անկյունը գծերի փոխադարձ հակվածությունն է, երբ հարթությունում երկու գիծ հանդիպում են միմյանց և չեն գտնվում միևնույն ուղիղ գծի վրա:
9. Երբ անկյուն պարունակող գծերը ուղղահայաց են, այդ անկյունը կոչվում է ուղղանկյուն:
10. Երբ մի ուղիղ գծերը հատում են իրար, և առաջացնում է հարակից անկյուններ, որոնք հավասար են միմյանց, այդ հավասար անկյուններից յուրաքանչյուրը կոչվում է ուղիղ անկյուն, իսկ առաջին ուղիղ գիծը կոչվում է ուղղահայաց այն գծին, որին հատում է:
11. Բութ անկյունն ավելի մեծ է, քան ուղիղ անկյունը։
12. Սուր անկյունն ավելի փոքր է, քան ուղիղ անկյունը։
13. Սահմանը դա ինչ-որ բանի եզրերն են։
14. Պատկերը պարունակում է որոշակի սահմաններ։
15. Շրջանագիծը հարթության մի պատկեր է, որը պարփակված է մի գծով (որը կոչվում է շրջագիծ), այնպես, որ բոլոր ուղիղ գծերը, որոնք ուղղվում են դեպի շրջագիծը, ելնելով այդ պատկերի ներսում գտնվող մի կետից, հավասար են միմյանց:
16. Այդ կետը կենտրոնն է։
17. Շրջանի տրամագիծը ցանկացած ուղիղ գիծ է, որը անցնում է կենտրոնով և ավարտվում է երկու ուղղություններով շրջագծի սահմաններում: Այդպիսի ցանկացած գիծ նաև կիսում է շրջանը երկու հավասար մասերի:
18. Կիսաշրջանը այն պատկերն է, որը պարփակված է տրամագծով և շրջագծով, որն այդ տրամագիծն առանձնացնում է: Եվ կիսաշրջանի կենտրոնը նույն կետն է, ինչ շրջանի կենտրոնը:
19. Ուղղագծային պատկերները (ֆիգուրները) այն պատկերներն են, որոնք պարփակված են ուղիղ գծերով. եռակողմ պատկերները պարփակված են երեք ուղիղ գծերով, քառակողմերը՝ չորս, և բազմակողմերը՝ ավելի քան չորս:
20. Եռակողմ պատկերներից՝ հավասարակողմ եռանկյունը այն է, որն ունի երեք հավասար կողմ, հավասարասրուն եռանկյունը՝ այն, որն ունի միայն երկու հավասար կողմ, իսկ անհավասարասրուն եռանկյունը՝ այն, որն ունի երեք անհավասար կողմ:
21. Եռակողմ պատկերների շարքում՝ ուղղանկյուն եռանկյունը այն է, որն ունի ուղիղ անկյուն, բութանկյուն եռանկյունը՝ այն, որն ունի բութ անկյուն, իսկ սուրանկյուն եռանկյունը՝ այն, որն ունի երեք սուր անկյուն:
22. Քառակողմ պատկերների շարքում՝ քառակուսին այն պատկերն է, որը ուղիղանկյուն է և հավասարակողմ, ուղղանկյունը՝ այն, որը ուղիղանկյուն է, բայց ոչ հավասարակողմ, հնգանկյունը՝ այն, որը հավասարակողմ է, բայց ոչ ուղիղանկյուն, իսկ շեղանկյունը՝ այն, որի հակադիր կողմերն ու անկյունները հավասար են միմյանց, բայց այն ոչ ուղիղանկյուն է և ոչ էլ հավասարակողմ: Եվ թող քառակողմ պատկերները, որոնք այս դասերին չեն պատկանում, կոչվեն թրապեզիաներ:
23. Զուգահեռ գծերը ուղիղ գծեր են, որոնք գտնվում են նույն հարթության մեջ և, անվերջ շարունակվելով երկու ուղղությամբ, չեն հատվում միմյանց ոչ մի ուղղությամբ:

1. Կարելի է գծել ուղիղ գիծ ցանկացած կետից դեպի ցանկացած կետ:
2. Կարելի է շարունակել սահմանափակ ուղիղ գիծը անվերջ միևնույն ուղիղ գծի վրա:
3. Կարելի է գծել շրջան ցանկացած կենտրոնով և շառավղով:
4. Բոլոր ուղիղ անկյուններն հավասար են իրար։
5. Եթե ուղիղ գիծը հատում է երկու (այլ) ուղիղ գծերը և ստեղծում ներքին անկյուններ նույն կողմում (որոնց գումարը) փոքր է երկու ուղիղ անկյուններից, ապա այդ երկու (այլ) ուղիղ գծերը, շարունակվելով անվերջ, հանդիպում են այն կողմում (որն ունի փոքր անկյունների գումար), և չեն հանդիպում մյուս կողմում:

1. Եթե մի քանի բան հավասար են մեկ այլ բանի, ապա այդ մի քանի բաներն իրար էլ են հավասար։
2. Եթե հավասար բաներին ավելացնենք հավասար բաներ, ապա ամբողջները հավասար կլինեն:
3. Եթե հավասար բաներից հանենք հավասար բաներ, ապա մնացորդները հավասար կլինեն:^[1]
4. Իրար համընկող բաներն իրար հավասար են:
5. Ամբողջը ավելի մեծ է, քան դրա մի մասը:

Կառուցենք հավասարակողմ եռանկյուն, տրված վերջավոր ուղիղ գծի վրա։

Թող AB-ն լինի տրված սահմանափակ ուղիղ գիծը:

Անհրաժեշտ է կառուցել հավասարակողմ եռանկյուն այդ AB ուղիղ գծի վրա:

Թող գծվի BCD շրջանը՝ կենտրոն A-ով և AB շառավղով [Աքսիոմա 3], և կրկին թող գծվի ACE շրջանը՝ կենտրոն B-ով և BA շառավղով [Աքսիոմա 3]: Եվ թող գծվեն CA և CB ուղիղ գծերը, որտեղ շրջանակները հատվում են միմյանց, դեպի A և B կետերը (համապատասխանաբար) [Աքսիոմա 1]:

Քանի որ A կետը CDB շրջանի կենտրոնն է, AC հավասար է AB-ին [Սահմանում 1.15]: Կրկին, քանի որ B կետը CAE շրջանի կենտրոնն է, BC հավասար է BA-ին [Սահմանում 1.15]: Սակայն, նաև ցույց է տրվել, որ CA հավասար է AB-ին: Այսպիսով, CA-ն և CB-ն երկուսն էլ հավասար են AB-ին: Իսկ այն բաները, որոնք հավասար են նույն բանին, նույնպես հավասար են միմյանց [ընհանուր հասկացություն 1]: Այսպիսով, CA-ն հավասար է նաև CB-ին: Այսպիսով, երեք (ուղիղ գծերը) CA, AB և BC հավասար են միմյանց:

Այսպիսով, ABC եռանկյունը հավասարակողմ է և կառուցված է տրված AB սահմանափակ ուղիղ գծի վրա: Դա հենց այն էր, ինչ անհրաժեշտ էր անել:

Ուղիղ գիծը մի կետում (որպես եզրագիծ) տրված ուղիղ գծի հետ հավասար դիրքավորելու համար:

Թող A կետը տրված կետ լինի, իսկ BC՝ տրված ուղիղ գիծ: Այսպիսով, անհրաժեշտ է A կետում դիրքավորել ուղիղ գիծ, որը հավասար է BC գծին:

Եթե վերցնենք ուղիղ գիծ AB-ն կառուցված A կետից մինչև B կետ [աքսիոմա 1], և թող հավասարակողմ եռանկյուն DAB-ն կառուցված լինի դրա վրա [պնդում 1.1]:

Եվ թող ուղիղ գծերը AE և BF երկարացված լինեն որպես ուղիղ գիծ համապատասխանաբար DA-ի և DB-ի հետ [աքսիոմա 2]: Եվ թող շրջանակ CGH-ն B կենտրոնով և BC շառավղով գծված լինի [աքսիոմա 3]: Եվ նորից թող շրջանակ GKL-ը D կենտրոնով և DG շառավղով գծված լինի [աքսիոմա 3]:

Հետևաբար, քանի որ B կետը CGH շրջանակի կենտրոնն է, BC հավասար է BG-ին [սահմանում 1.15]: Նույն կերպ, քանի որ D կետը GKL շրջանակի կենտրոնն է, DL հավասար է DG-ին [սահմանում 1.15]: Եվ այս դեպքերում DA հավասար է DB-ին: Հետևաբար, մնացորդը AL հավասար է մնացորդին BG-ին [ընդհանուր հասկացություն 3]: Սակայն BC-ն նույնպես ցույց տրվեց, որ հավասար է BG-ին: Հետևաբար, AL և BC-ն երկուսն էլ հավասար են BG-ին: Սակայն բաները, որոնք հավասար են նույնին, նույնպես հավասար են միմյանց [ընդհանուր հասկացություն 1]: Հետևաբար, AL նույնպես հավասար է BC-ին:

Հետևաբար, AL ուղիղ գիծը, որը հավասար է տրված BC ուղիղ գծին, դիրքավորված է տրված A կետում: (Սա հենց այն է, ինչ անհրաժեշտ էր անել):

Երկու տրված անհավասար ուղիղ գծերի համար կտրել մեծից ուղիղ գիծ, որը հավասար է փոքրին:

Թող AB և C լինեն երկու տրված անհավասար ուղիղ գծեր, որոնցից AB-ն մեծ է: Այսպիսով, անհրաժեշտ է կտրել ուղիղ գիծ, որը հավասար է C-ին, մեծ AB-ից:

Թող AD գիծը, որը հավասար է C ուղիղ գծին, դիրքավորված լինի A կետում [պնդում 1.2]: Եվ թող DEF շրջանակը գծված լինի A կենտրոնով և AD շառավղով [աքսիոմա 3]:

Եվ քանի որ A կետը DEF շրջանակի կենտրոնն է, AE-ն հավասար է AD-ին [սահմանում 1.15]: Սակայն C-ն նույնպես հավասար է AD-ին: Հետևաբար, AE-ն և C-ն երկուսն էլ հավասար են AD-ին: Այսպիսով, AE-ն նույնպես հավասար է C-ին [ընդհանուր հասկացություն 1]:

Այսպիսով, երկու տրված անհավասար ուղիղ գծերի AB-ի և 𝐶-ի համար, AE ուղիղ գիծը, որը հավասար է փոքր C-ին, կտրած է մեծ AB-ից: (Սա հենց այն է, ինչ պահանջվում էր անել):

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

Թող ABC-ն և DEF-ը լինեն երկու եռանկյուններ, որոնց երկու կողմերը AB-ն և AC-ն հավասար են DE և DF կողմերին համապատասխանաբար։ (Այսինքն՝ AB-ն հավասար է DE-ին, իսկ AC հավասար է DF-ին): Եվ թող անկյուն BAC-ն հավասար լինի անկյուն EDF-ին։ Ես ասում եմ, որ հիմքը BC-ն նույնպես հավասար է հիմքին EF-ին, իսկ եռանկյուն ABC-ն հավասար կլինի եռանկյուն DEF-ին, իսկ հավասար կողմերով ստեղծված մնացած անկյունները կլինեն հավասար համապատասխան մնացած անկյուններին։ (Այսինքն՝ ABC=DEF և ACB=DFE):

Քանի որ, եթե եռանկյուն ABC-ն կիրառվում է եռանկյուն DEF-ի վրա՝ A կետը տեղադրվում է D կետում, իսկ ուղիղ գիծ AB-ն DE-ի վրա, ապա B կետը նույնպես կհամընկնի E-ի հետ, AB-ի և DE-ի հավասար լինելու հաշվին։ Ուստի, AB-ի և DE-ի համընկնելու պատճառով, ուղիղ գիծ AC-ն նույնպես կհամընկնի DF-ի հետ՝ BAC անկյան EDF-ի հետ հավասարության պատճառով: C կետը նույնպես կհամընկնի F կետի հետ՝ AC-ի և DF-ի հավասարության պատճառով: Սակայն B կետը հաստատապես կհամընկնի E կետի հետ այնպես, որ հիմքը BC կհամընկնի հիմքի EF-ի հետ: Եթե B-ն համընկնում է E-ի հետ և C-ն համընկնում է F-ի հետ, իսկ հիմքը BC չի համընկնում EF-ի հետ, ապա երկու ուղիղ գծերը կգրեն տարածք: Սա շատ բան է, որ հնարավոր չէ [աքսիոմա 1]:

Հետևաբար, հիմքը BC-ն կհամընկնի EF-ի հետ և կլինի հավասար EF-ին [ընդհանուր հասկացություն 4]: Այսպիսով, ամբողջ եռանկյուն ABC-ն կհամընկնի ամբողջ եռանկյուն DEF-ի հետ և կլինի հավասար [ընդհանուր հասկացություն 4]: Եվ մնացած անկյունները կհամընկնեն մնացած անկյուններին և կլինեն հավասար [ընդհանուր հասկացություն 4]: (Այսինքն՝ ABC=DEF, և ACB=DFE [ընդհանուր հասկացություն 4]):

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

Հավասարակողմ եռանկյունների համար հիմքի անկյունները հավասար են միմյանց, և եթե հավասար կողմերը երկարացվեն, ապա հիմքի տակ գտնվող անկյունները նույնպես կլինեն հավասար միմյանց:

Թող ABC լինի հավասարակողմ եռանկյուն, որի կողմը AB-ն հավասար է կողմ AC-ին, և թող ուղիղ գծերը BD և CE երկարացված լինեն AB-ի և AC-ի ուղղությամբ համապատասխանաբար [աքսիոմա 2]: Ես ասում եմ, որ անկյուն ABC-ն հավասար է անկյուն ACB-ին, և CBD-ն հավասար է BCE-ին:

Քանի որ, F կետը վերցված է պատահականորեն BD-ի վրա, և AG-ն կտրված է մեծ AE-ից, հավասար AF-ին [պնդում 1.3]: Բացի այդ, թող FC և GB ուղիղ գծերը միացված լինեն [աքսիոմա 1]:

Փաստորեն, քանի որ AF հավասար է AG-ին, և AB հավասար է AC-ին, ուղիղ գծերը FA, AC հավասար են GA, AB ուղիղ գծերին համապատասխանաբար։ Դրանք ներառում են նաև ընդհանուր անկյուն FAG: Հետևաբար, հիմքը FC-ն հավասար է հիմք GB-ին GB, և եռանկյուն AFC-ն հավասար կլինի եռանկյուն AGB-ին, իսկ հավասար կողմերով ստեղծված մնացած անկյունները կլինեն հավասար համապատասխան մնացած անկյուններին [պնդում 1.4]: (Այսինքն՝ ACF=ABG-ի և AFC=AGB):

Քանի որ AF-ն ամբողջությամբ հավասար է AG-ին, որի մեջ AB-ն հավասար է AC-ին, մնացորդը BF-ն հավասար կլինի մնացորդ CG-ին [ընդհանուր հասկացություն 3]: Սակայն FC-ն նույնպես ցույց տրվեց, որ հավասար է GB-ին: Հետևաբար, ուղիղ գծերը BF-ն ու FC-ն հավասար են CG ու GB ուղիղ գծերին համապատասխանաբար, և անկյուն BFC-ն հավասար է անկյուն CGB-ին, և հիմքը BC-ն ընդհանուր է դրանց համար։ Այսպիսով, եռանկյուն BFC-ն հավասար կլինի եռանկյուն CGB-ին, իսկ հավասար կողմերով ստեղծված մնացած անկյունները կլինեն հավասար համապատասխան մնացած անկյուններին [պնդում 1.4]:

Հետևաբար, FBC-ն հավասար է GCB-ին, և BCF-ն հավասար է CBG-ին։ Հետևաբար, քանի որ ամբողջ անկյուն ABG-ն ցույց տրվեց, որ հավասար է ամբողջ անկյան ACF-ին, որի մեջ CBG-ն հավասար է BCF-ին, մնացորդը ABC-ն նույնպես հավասար է մնացորդին ACB [ընդհանուր հասկացություն 3]: Եվ դրանք գտնվում են եռանկյուն ABC-ի հիմքում։ FBC-ն նույնպես ցույց տրվեց, որ հավասար է GCB-ին։ Եվ դրանք գտնվում են հիմքի տակ։

Այսպիսով, հավասարակողմ եռանկյունների համար հիմքի անկյունները հավասար են միմյանց, և եթե հավասար կողմերը երկարացվեն, ապա հիմքի տակ գտնվող անկյունները նույնպես կլինեն հավասար միմյանց։ Սա հենց այն է, ինչ անհրաժեշտ էր ցույց տալ։

Եթե եռանկյունն ունի երկու անկյուն, որոնք հավասար են միմյանց, ապա հավասար անկյուններին դիմաց գտնվող կողմերը նույնպես կլինեն հավասար միմյանց:

Թող ABC լինի եռանկյուն, որի ABC անկյունը հավասար է ACB անկյանը: Ես ասում եմ, որ կողմ AB-ն նույնպես հավասար է կողմ AC-ին:

Եթե AB-ն հավասար չէ AC-ին, ապա դրանցից մեկը մեծ է: Թող AB-ն լինի մեծը: Եվ թող DB-ն, որը հավասար է փոքր AC-ին, կտրված լինի մեծ AB-ից [պնդում 1.3]: Եվ թող DC-ն միացված լինի [աքսիոմա 1]:

Հետևաբար, քանի որ DB-ն հավասար է AC-ին, և BC-ն ընդհանուր է, երկու կողմերը DB, BC հավասար են երկու կողմերին AC, CB համապատասխանաբար, իսկ անկյուն DBC-ն հավասար է անկյուն ACB-ին: Այսպիսով, հիմքը DC-ն հավասար է հիմքին AB, իսկ եռանկյուն DBC-ն հավասար կլինի եռանկյուն ACB-ին [պնդում 1.4], փոքրից մեծին: Ինքը գաղափարը (հակասում է) աբսուրդ է [ընդհանուր հասկացություն 5]: Այսպիսով, AB-ն հավասար չէ AC-ին: Հետևաբար, AB-ն հավասար է AC-ին:

Այսպիսով, եթե եռանկյունն ունի երկու անկյուն, որոնք հավասար են միմյանց, ապա հավասար անկյունների դիմաց գտնվող կողմերը նույնպես կլինեն հավասար միմյանց: Սա հենց այն է, ինչ անհրաժեշտ էր ցույց տալ:

Դա անհնար է [Պնդում 1.16]: Հետևաբար AB և CD ուղիղները՝ գծվելով, չեն հատվի B և D ուղղությամբ։ Նմանապես, կարող ենք ցույց տալ, որ դրանք չեն հատվի A և C ուղղություններվ։ Բայց ուղիղները, որոնք չեն հատվում ոչ մի ուղղությամբ, զուգահեռ են [Սահմանում 1.23]: Հետևաբար, AB և CD ուղիղները զուգահեռ են։ Հետևաբար, եթե երկու ուղիղներ հատող ուղիղը ստեղծում է հավասար խաչադիր անկյուններ, ապա այդ երկու ուղիղները զուգահեռ են։ Սա այն էր, ինչ պետք էր ապացուցել։

Եթե երկու ուղիղները հատող ուղիղը կազմում է արտաքին անկյուն, որը հավասար է ներքին և հակադիր անկյանը նույն կողմի վրա կամ նույն կողմի վրա գտնվող անկյունների գումարը հավասարեցնում է երկու ուղիղ անկյունների, ապա այդ երկու ուղիղները զուգահեռ են։

EF ուղիղը, որը հատում է AB և CD ուղիղները, կազմում է EGB արտաքին անկյուն, որը հավասար է ներքին և հակադիր GHD անկյանը, կամ նույն կողմի վրա գտնվող BGH և GHD անկյունների գումարը հավասարեցնում է երկու ուղիղ անկյունների։ Պնդումն այն է, որ AB և CD ուղիղները զուգահեռ են։

Առաջին դեպքում EGB անկյունը հավասար է GHD անկյանը, բայց EGB անկյունը նաև հավասար է AGH անկյանը [Պնդում 1.15], հետևաբար, AGH անկյունը հավասար է GHD անկյանը։ Դրանք նաև խաչադիր անկյուններ են։ Հետևաբար, AB և CD ուղիղները զուգահեռ են [Պնդում. 1.27]։

Երկրորդ դեպքում, կրկին, BGH և GHD անկյունների գումարը հավասար է երկու ուղիղ անկյունների, ինչպես նաև AGH և BGH անկյունների գումարն է հավասար երկու ուղիղ անկյունների [Պնդում 1.13]։ Հետևաբար, AGH և BGH անկյունների գումարը հավասար է BGH և GHD անկյունների գումարին։ Երկուսից էլ հանենք BGH անկյունը։ Հետևաբար, մնացորդ AGH անկյունը հավասար է մնացորդ GHD անկյանը և դրանք խաչադիր անկյուններ են։ Հետևաբար, AB և CD ուղիղները զուգահեռ են [Պնդում 1.27]։

Հետևաբար, եթե երկու ուղիղները հատող ուղիղը կազմում է արտաքին անկյուն, որը հավասար է ներքին և հակադիր անկյանը նույն կողմի վրա կամ նույն կողմի վրա գտնվող անկյունների գումարը հավասարեցնում է երկու ուղիղ անկյունների, ապա այդ երկու ուղիղները զուգահեռ են։ Սա այն էր, ինչ պետք էր ապացուցել։

Զուգահեռ ուղիղները հատող ուղղիղը ստեղծում է հավասար խաչադիր անկյուններ, արտաքին անկյուն՝ հավասար ներքին և հակադիր անկյանը, և նույն կողմի վրա գտնվող ներքին անկյունների գումարը հավասարվում է երկու ուղիղ անկյունների։

EF ուղիղը հատում է զուգահեռ AB և CD ուղիղները։ Պնդումն այն է, որ այն դարձնում է AGH և GHD անկյունները հավասար, EGB արտաքին անկյունը՝ հավասար ներքին և հակադիր GHD անկյանը, և նույն կողմի վրա գտնվող BGH և GHD ներքին անկյունների գումարը՝ հավասար երկու ուղիղ անկյունների։

Եթե AGH անկյունը հավասար չէ GHD անկյանը, ապա նրանցից մեկը մեծ է։ Ենթադրենք AGH անկյունը մեծ է։ Երկու անկյուններին ավելացնենք BGH անկյունը։ Հետևաբար, AGH և BGH անկյունների գումարը մեծ է BGH և GHD անկյունների գումարից։ Բայց, AGH և BGH անկյունների գումարը հավասար է երկու ուղիղ անկյունների [Պնդում 1.13]։ Հետևաբար, BGH և GHD անկյունների գումարը փոքր է երկու ուղիղ անկյուններից։ Բայց, ուղիղները գծված են անվերջ ներքին անկյուններից, որոնց գումարը փոքր է հատվող երկու ուղիղ անկյուններից [Կանխադրույթ 5]: Հետևաբար, անվերջ գծված AB և CD ուղիղները կհատվեն։ Բայց, նրանք չեն հատվում, եթե հաշվի առնենք, որ իսկզբանե դրանք զուգահեռ էին [Սահմանում 1.23]։ Հետևաբար, AGH և GHD անկյունները չեն կարող հավասար չլինել՝ հավասար են։ Բայց, AGH և EGB անկյունները նույնպես հավասար են [Պնդում 1.15]։ EGB անկյունը, հետևաբար, հավասար է GHD անկյանը։ Երկուսին էլ ավելացնենք BGH անկյունը։ Հետևաբար, EGB և BGH անկյունների գումարը հավասար է BGH և GHD անկյունների գումարին։ Բայց, EGB և BGH անկյունների գումարը հավասար է երկու ուղիղ անկյունների [Պնդում 1.13]։ Հետևաբար, BGH և GHD անկյունների գումարը նույնպես հավասար է երկու ուղիղ անկյունների։

Հետևաբար, զուգահեռ ուղիղները հատող ուղղիղը ստեղծում է հավասար հակադիր անկյուններ, արտաքին անկյուն՝ հավասար ներքին և հակադիր անկյանը, և նույն կողմի վրա գտնվող ներքին անկյունների գումարը հավասարվում է երկու ուղիղ անկյունների։ Սա այն էր, ինչ պետք էր ապացուցել։

Նույն ուղղին զուգահեռ ուղիղները նաև զուգահեռ են միմյանց։

AB և CD ուղիղներից յուրաքանչյուրը զուգահեռ է EF ուղղին։

Պնդումն այն է, որ AB և CD ուղիղները նույնպես զուգահեռ են։ GK ուղիղը հատում է AB, CD և EF ուղիղները։

Քանի որ GK ուղիղը հատում է EB և EF զուգահեռ ուղիղները, AGK անկյունը, հետևաբար, հավասար է GHF անկյանը [Պնդում 1.29]։ Կրկին, քնաի որ GK ուղիղը հատում է EF և CD զուգահեռ ուղիղները, GHF անկյունը հավասար է GKD անկյանը [Պնդում 1.29]։ Բայց ցույց տրվեց, որ AGK անկյունը հավասար է GHF անկյանը։ Հետևաբար, AGK անկյունը հավասար է GKD անկյանը և դրանք խաչադիր անկյուններ են։ Հետևաբար, AB ուղիղը զուգահեռ է CD ուղղին [Պնդում 1.27]։

Հետևաբար, նույն ուղղին զուգահեռ ուղիղները նաև զուգահեռ են միմյանց։ Սա այն էր, ինչ պետք էր ապացուցել։

Գծել ուղիղ, զուգահեռ տրված ուղղին, որը կանցնի տրված կետով։

A-ն տրված կետն է և BC-ն տրված ուղիղը։ Պահանջվում է գծել ուղիղ, որը զուգահեռ կլինի BC ուղղին և կանցնի A կետով։

BC ուղղի վրա վերցնենք պատահական D կետ և գծենք AD հատավծը։

ADC անկյանը հավասար DAE անկյունը կառուցված է DA ուղղի վրա՝ A կետում [Պնդում 1.23]։ AF ուղիղը կառուցված է EA ուղղի վրա։

Քանի որ AD ուղիղը՝ հատելով BC և EF ուղիղները, ստեղծում է խաչադիր EAD և ADC անկյունները, EAF ուղիղը հավասար է BC ուղղին [Պնդում 1.27]:

Հետևաբար, EAF ուղիղը գծված է զուգահեռ տրված BC ուղղին և անցնում է տրված A կետով։ Սա այն էր, ինչ պետք էր ապացուցել։

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

ABC-ն եռանկյուն է և նրա կողմերից մեկին՝ BC-ին, ավելացված է D հատվածը։ Պնդումն այն է, որ ACD արտաքին անկյունը հավասար է երկու ներքին և հակադիր անկյուններ CAB-ի և ABC-ի գումարին և եռանկյան երեք ներքին անկյունների՝ ABC, BCA, և CAB, գումարը հավասար է երկու ուղիղ անկյան։

AB ուղղին զուգահեռ գծված է CE ուղիղը, որն անցնում է C կետով [Պնդում 1.31]։

Քանի որ AB և CE հատվածները զուգահեռ են, BAC և ACE խաչադիր անկյունները իրար հավասար են [Պնդում 1.29]։ Կրկին, քանի որ AB և CE ուղիղները զուգահեռ են և BD ուղիղը հատում է դրանք ECD արտաքին անկյունը հավասար է ABC ներքին և հակադիր անկյանը [Պնդում 1.29]։ Բայց, ցույց է տրված, որ ACE անկյունը հավասար է BAC անկյանը։ Հետևաբար, ACD անկյունը ամբողջությամբ հավասար է երկու ներքին և հակադիր անկյունների՝ BAC-ի և ABC-ի, գումրին։

Երկու անկյուններին ավելացնենք ACB անկյունը։ Հետևաբար, ACD և ACB անկյուննեի գումարը հավասար է երեք անկյուններ ABC, BCA, և CAB-ի գումարին։ Բայց, ACD և ACB անկյունների գումարը հավասար է երկու ուղիղ անկյունների [Պնդում 1.13]։ Հետևաբար, ACB, CBA և CAB անկյունների գումարը նույնպես հավասար է երկու ուղիղ անկյան։

Հետևաբար, եթե ցանկացած եռանկյան կողմերից մեկը ընդարձակենք, ապա արտաքին անկյունը հավասար կլինի երկու ներքին և հակադիր անկյունների գումարին, իսկ երեք ներքին անկյունների գումարը հավասար կլինի երկու ուղիղ անկյունների։ Սա այն էր, ինչ պետք էր ապացուցել։

Ուղիղները, որոնք միացնում են հավասար և զուգահեռ ուղիղներ նույն կողմի վրա, նույնպես հավասար են և զուգահեռ։

AB և CD ուղիղները հավասար են և զուգահեռ, իսկ AC և BD ուղիղները միացնում են դրանք նույն կողմի վրա։ Պնդումն այն է, որ AC և BD ուղիղները նույնպես հավասար են և զուգահեռ։

Գծված է BC անկյունագիծը։ Քանի որ AB-ն զուդահեռ է CD-ին և BC-ն հատում է դրանք, ABC և BCD խաչադիր անկյունները հավասար են միմյանց [Պնդում 1.29]։ Քանի որ AB-ն հավասար է CD-ին և BC-ն ընդհանուր է, AB և BC ուղիղները հացվասար են DC և CB ուղիղներին։ Նաև ABC անկյունը հավասար է BCD անկյանը։ Հետևաբար, AC հիմքը հավասար է BD հիմքին և ABC եռանկյունը հավասար է BCD եռանկյանը։ Մյուս անկյունները նույնպես հավասար կլինեն համապատասխան անկյուններին, որոնք հենվում են հավասար կեղմերի վրա [Պնդում 1.4]։ Հետևաբար, ACB անկյունը հավասար է CBD անկյանը։ Նաև, քանի որ BC ուղիղը, որը հատում է AC և BD ուղիղները, կազմում է խաչադիր և հավասար ACB և CBD անկյունները, AC ուղիղը, հետևաբար, հավասար է BD ուղղին [Պնդում 1.27]։ Նաև ցույց է տրված, որ AC ուղիղը հավասար է BD ուղղին:

Հետևաբար, ուղիղները, որոնք միացնում են հավասար և զուգահեռ ուղիղներ նույն կողմի վրա, նույնպես հավասար են և զուգահեռ։ Սա այն էր, ինչ պետք էր ապացուցել։

Զուգահեռագիծ պատկերներում հակառակ կողմերն ու անկյունները հավասար են միմյանց, իսկ անկյունագիծը կիսում է դրանք հավասար մասերի:

ACDB-ն զուգահեռագիծ պատկեր է և BC-ն դրա անկյունագիծն է։ Պնդումն այն է, որ ACDB զուգահեռագծում հակադիր կողմերը և անկյունները հավասար են միմյանց և BC անկյունագիծը կիսում է այն հավասար մասերի։

Քանի որ AB ուղիղը զուգահեռ է CD ուղղին և BC ուղիղը հատում է դրանք, խաչադիր ABC և BCD անկյունները հավասար են միմյանց [Պնդում 1.29]։ Կրկին, քանի որ AC և BD ուղիղները զուգահեռ են և BC ուղիղը հատում է դրանք, խաչադիր ACB և CBD անկյունները հավասար են միմյանց [Պնդում 1.29]։

Այսպիսով, ABC-ն և BCD-ն երկու եռանկյուններ են, որոնց համապատասխան ABC և BCA ու BCD և CBD անկյունները համապատասխանաբար հավասար են միմյանց և նրանց մի կողմը՝ հավասար անկյուններով, ընդհանուր է։ Դա BC կողմն է։ Հետևաբար, դրանց համապատասխան կողմերը նունյպես հավասար են և երրորդ անկյունը նույնպես համապատասխանաբար հավասար է [Պնդում 1.26]։ Հետևաբար, AB կողմը հավասար է CD կողմին և AC կողմը հավասար է BD կողմին։ Ավելին, BAC անկյունը հավասար է CDB անկյանը։ Քանի որ ABC անկյունը հավասար է BCD անկյանը և CBD անկյունը հավասար է ACB անկյանը, ամբողջ ABD անկյունը, հետևաբար, հավասար է ամբողջ ACD անկյանը։ Ցույց է տրված նաև, որ BAC-ն հավասար է CDB-ին։

Հետևաբար, զուգահեռագիծ պատկերում հակադիր կողմերը և անկյունները հավասար են միմյանց։

Նաև պնդումն այն է, որ անկյունագիծը կիսում է այն երկու հավասար մասի։ Քանի որ AB կողմը հավասար է CD կողմին և BC-ն ընդհանուր է AB և BC ուղիղները, համապատասխանաբար, հավասար են DC և CB ուղիղներին։ Նաև ABC անկյունը հավասար է BCD անկյանը։ Հետևաբար, AC հիմքը նույնպես հավասար է DB-ին և ABC եռանկյունը հավասար է BCD եռանկյանը [Պնդում 1.4]։

Հետևաբար, BC անկյունագիծը կիսում է ACDB զուգահեռագիծը երկու հավասար մասի։ Սա այն էր, ինչ պետք էր ապացուցել։

Նույն հիմքով և նույն զուգահեռ ուղիղների միջև կառուցված զուգահեռագծերը հավասար ^[2] են միմյանց։

Նույն BC հիմքով ABCD և EBCF զուգահեռագծերը կառուցված են AF և BC զուգահեռ ուղիղների միջև։ Պնդումն այն է, որ ABCD և EBCF զուգահեռագծերը հավասար են։

Քանի որ ABCD-ն զուգահեռագիծ է AD-ն հավասար է BC-ին [Պնդում 1.34]։ Նույն պատճառով EF-ը հավասար է BC-ին։ Հետևաբար, ամբողջ AE ուղիղը հավասար է ամբողջ DF ուղղին։ AB-ն նույնպես հավասար է DC-ին։ Այսպիսով EA և AB ուղիղները համապատասխանաբար հավասար են FDև DC ուղիղներին։ Իսկ FDC անկյունը հավասար է EAB անկյանը՝ արտաքինը ներքինին [Պնդում 1.29]: Հետևաբար EB հիմքը հավասար է FC հիմքին և EAB եռանկյունին հավասար է DFC եռանկյունուն [Պնդում 1.4]: Երկուսից էլ հանենք DGE-ն։ Հետևաբար, հավելյալ ABGD սեղանը հավասար է հավելյալ EGCF սեղանին։ Երկուսին էլ ավելացնենք GBC եռանկյունը։ Հետևաբար, ամբողջ ABCD զուգահեռագիծը հավասար է ամբողջ EBCF զուգահեռագծին։

Հետևաբար, նույն հիմքով և նույն զուգահեռ ուղիղների միջև կառուցված զուգահեռագծերը հավասար։ Սա այն էր, ինչ պետք էր ապացուցել։

Հավասար հիմքով և նույն զուգահեռ ուղիղների միջև կառուցված զուգահեռագծերը հավասար են միմյանց։

ABCD-ն և EFGH-ն զուգահեռագծեր են, որոնք կառուցված են հավասար BC և FG հիմքերով և AH և BG նույն զուգահեռ ուղիղների միջև։ Պնդումն այն է, որ ABCD և EFGH զուգահեռագծերը հավասար են։

Գծված են BE և CH ուղիղները։ Քանի որ BC-n հավասար է FG-ին և FG-ն էլ հավասար է EH-ին [Պնդում 1.34], հետևաբար, BC-ն հավասար է EH-ին։ Նրանք նաև զուգահեռ են և EB ու HC ուղիղները միացնում են դրանք։ Բայց ուղիղները, որոնք միացնում են հավասար և զուգահեռ ուղիղներ նույն կողմի վրա, իրենք էլ հավասար են և զուգահեռ [Պնդում 1.33] (հետևաբար EB-ն և HC-ն նույնպես հավասար են և զուգահեռ)։ Հետևաբար, EBCH-ը զուգահեռագիծ է [Պնդում 1.34] և հավասար է ABCD-ին: Այն ունի նույն BC հիմքը, այնպես ինչպես ABCD-ն և գտնվում է նույն BC և AH զուգահեռների միջև, այնպես ինչպես ABCD-ն [Պնդում 1.35]։ Նույն պատճառով EFGH-ն հավասար է նույն EBCH զուգահեռագծին [Պնդում 1.34]։ Այսպիսով, ABCD զուգահեռագիծը հավասար է EFGH զուգահեռագծին։

Հետևաբար, հավասար հիմքով և նույն զուգահեռ ուղիղների միջև կառուցված զուգահեռագծերը հավասար են միմյանց։ Սա այն էր, ինչ պետք էր ապացուցել։

Նույն հիմքով և նույն զուգահեռ ուղիղների միջև կառուցված եռանկյունները հավասար են միմյանց։

ABC և DBC եռանկյունները կառուցված են նույն BC հիմքով և նույն AD և BC զուգահեռ ուղիղների միջև։ Պնդումն այն է, որ ABC եռանկյունը հավասար է DBC եռանկյանը։

AD-ն ձգված է E և F ուղղություններով և B կետով գծված է BE ուղիղը, զուգահեռ CA-ին [Պնդում 1.31]։ Նաև C կետով գծված է CF ուղիղը, զուգահեռ BD-ին [Պնդում 1.31]։ Հետևաբար, EBCA-ն և DBCF-ն զուգահեռագծեր են և հավասար են։ Դրանք նույն BC հիմքի վրա են և գտնվում են նույն BC և EF զուգահեռ ուղիղների միջև [Պնդում 1.35]։ ABC եռանկյունը EBCA զուգահեռագծի կեսն է։ AB անկյունագիծը կիսում է վերջինս երկու մասի [Պնդում 1.34]։ DBC եռանկյունը DBCF զուգահեռագծի կեսն է։ DC անկյունագիծը կիսում է վերջինս երկու մասի [Պնդում 1.34] (հավասար պատկերների կեսերը հավասար են միմյանց)։ Հետևաբար, ABC եռանկյունը հավասար է DBC եռանկյանը։

Հետևաբար, նույն հիմքով և նույն զուգահեռ ուղիղների միջև կառուցված եռանկյունները հավասար են միմյանց։ Սա այն էր, ինչ պետք էր ապացուցել։

Հավասար հիմքով և նույն զուգահեռ ուղիղների միջև կառուցված եռանկյունները հավասար են միմյանց։

ABC և DEF եռանկյունները կառուցված են հավասար BC և EF հիմքերով և նույն BF և AD զուգահեռ ուղիղների միջև։ Պնդումն այն է, որ ABC եռանկյունը հավասար է DEF եռանկյանը։

AD-ն ձգված է G և H ուղղություններով և B կետով գծված է BG ուղիղը, զուգահեռ CA-ին [Պնդում 1.31]: Նաև F կետով գծված է FH ուղիղը, զուգահեռ DE-ին [Պնդում 1.31]։ Հետևաբար, GBCA-ն և DEFH-ն զուգահեռագծեր են և հավասար են։ Դրանք հավասար BC և EF հիմքերի վրա են և գտնվում են նույն BF և GH զուգահեռ ուղիղների միջև [Պնդում 1.36]։ ABC եռանկյունը GBCA զուգահեռագծի կեսն է։ AB անկյունագիծը կիսում է վերջինս երկու մասի [Պնդում 1.34]։ FED եռանկյունը DEFH զուգահեռագծի կեսն է։ DF անկյունագիծը կիսում է վերջինս երկու մասի (հավասար պատկերների կեսերը հավասար են միմյանց)։ Հետևաբար, ABC եռանկյունը հավասար է DEF եռանկյանը։

Հետևաբար, հավասար հիմքով և նույն զուգահեռ ուղիղների միջև կառուցված եռանկյունները հավասար են միմյանց։ Սա այն էր, ինչ պետք էր ապացուցել։

Հավասար եռանկյունները, որոնք նույն հիմքի և նույն կողմի վրա են կառուցված, նաև գտնվում են նույն զուգահեռների միջև։

ABC-ն և DBC-ն նույն BC հիմքի նույն կողմում կառուցված եռանկյուններ են։ Պնդումն այն է, որ դրանք նաև նույն զուգահեռների միջև են։

Գծված է AD կողմը։ Պնդումն այն է, որ AD-ն և BC-ն զուգահեռ են։

Հակառակ դեպքում, A կետով գծված է AE ուղիղը, որը զուգահեռ է BC ուղղին [Պնդում 1.31] և գծված է EC կողմը։ Հետևաբար, ABC եռանկյունը հավասար է EBC եռանկյանը։ Վերջինս նույն BC հիմքի վրա է և նույն զուգահեռների միջև է [Պնդում 1.37]։ Բայց ABC-ն հավասար է DBC-ին։ Հետևաբար, DBC-ն նաև հավասար է EBC-ին, մեծը՝ փոքրին, ինչը անհնար է։ Հետևաբար AE-ն զուգահեռ չէ BC-ին։ Նմանապես, կարող ենք ցույց տալ, որ BC-ն, ոչ մի այլ ուղղի քան AD-ն, զուգահեռ չէ։ Հետևաբար, AD-ն զուգահեռ է BC-ին։

Հետևաբար, հավասար եռանկյունները, որոնք նույն հիմքի և նույն կողմի վրա են կառուցված, նաև գտնվում են նույն զուգահեռների միջև։ Սա այն էր, ինչ պետք էր ապացուցել։

Հավասար հիմքի նույն կողմում կառուցված հավասար եռանկյունները նաև նույն զուգահեռների միջև են։

ABC-ն և CDE-ն համապատասխանաբար BC և CE հավասար հիմքերի նույն կողմում կառուցված հավասար եռանկյուններ են։ Պնդումն այն է, որ դրանք նաև նույն զուգահեռների միջև են։

Գծված է AD կողմը։ Պնդում այն է, որ AD-ն զուգահեռ է BE-ին։

Հակառակ դեպքում, A կետով գծված է AF ուղիղը, որը զուգահեռ է BE-ին [Պնդում 1.31] և գծված է FE կողմը։ Հետևաբար, ABC եռանկյունը հավասար է FCE եռանկյանը։ Դրանք հավասար BC և CE հիմքերի վրա են կառուցված և նույն BE և AF զուգահեռների միջև են [Պնդում 1.38]։ Բայց, ABC եռանկյունը հավասար է DCE եռանկյանը։ Հետևաբար, DCE-ն նաև հավասար է FCE-ին, մեծը՝ փոքրին, ինչը անհնար է։ Հետևաբար AF-ը զուգահեռ չէ BE-ին։ Նմանապես, կարող ենք ցույց տալ, որ BE-ն, ոչ մի այլ ուղղի քան AD-ն, զուգահեռ չէ։ Հետևաբար, AD-ն զուգահեռ է BE-ին։

Հետևաբար, հավասար հիմքի նույն կողմում կառուցված հավասար եռանկյունները նաև նույն զուգահեռների միջև են։ Սա այն էր, ինչ պետք էր ապացուցել։

Եթե զուգահեռագիծը և եռանկյունը ունեն նույն հիմքը և նույն զուգահեռների միջև են, ապա զուգահեռագծի մակերեսը եռանկյան մակերեսի կրկնապատիկն է։

ABCD զուգահեռագիծը և EBC եռանկյունը ունեն նույն BC հիմքը և գտնվում են նույն BC և AE զուգահեռների միջև։ Պնդումն այն է, որ ABCD-ի մակերեսը BEC-ի մակերեսի կրկնապատիկն է։

Միացված է AC հատվածը։ Այսպիսով, ABC եռանկյունը հավասար է EBC եռանկյանը։ Այն նույն BC հիմքի վրա է (EBC) և գտնվում է նույն BC և AE զուգահեռների միջև [Պնդում 1.37]։ Բայց, ABCD զուգահեռագծի մակերեսը ABC եռանկյան մակերեսի կրկնապատիկն է։ AC անկյունագիծը կիսում է վերջինս երկու մասի [Պնդում 1.34]։ Այսպիսով, ABCD զուգահեռագծի մակերեսը EBC եռանկյան մակերեսի կրկնապատիկն է։

Հետևաբար, եթե զուգահեռագիծը և եռանկյունը ունեն նույն հիմքը և նույն զուգահեռների միջև են, ապա զուգահեռագծի մակերեսը եռանկյան մակերեսի կրկնապատիկն է։ Սա այն էր, ինչ պետք էր ապացուցել։

Տրված ուղղագիծ անկյունով կառուցել տրված եռանկյանը հավասար զուգահեռագիծ.

ABC-ն տրված եռանկյունն է, իսկ D-ն՝ տրված ուղղագիծ անկյունը: Այսպիսով, անհրաժեշտ է կառուցել D անկյունով զուգահեռագիծ, որը հավասար է ABC եռանկյանը:

BC-ն E կետում կիսված է երկու հավասար մասի [Պնդում 1.10] և միացված է AE ուղիղը։ D անկյանը հավասար CEF անկյունը կառուցված է E կետում՝ EC կողմի վրա [Պնդում 1.23]։ A կետով գծված է AG ուղիղը, որը զուգահեռ է EC-ին [Պնդում 1.31] և C կետով գծված է CG ուղիղը, որը զուգահեռ է EF-ին [Պնդում 1.31]։ Հետևաբար, FECG-ն զուգահեռագիծ է։ Քանի որ BE-ն հավասար է EC-ին, ABE եռանկյունը հավասար է AEC եռանկյանը։ Դրանք հավասար BE և EC հիմքերի վրա են և նույն BC և AG զուգահեռների միջև [Պնդում 1.38]։ Հետևաբար, ABC եռանկյան մակերեսը AEC եռանկյան մակերեսի կրկնապատիկն է։ FECG զուգահեռագծի մակերեսը նույնպես AEC եռանկյան մակերեսի կրկնապատիկն է։ Այն ունի նույն հիմքը (AEC) և նույն զուգահեռների միջև է (AEC)[Պնդում 1.41]։ Հետևաբար, FECG զուգահեռագիծը հավասար է ABC եռանկյանը։ Իսկ FECG-ի CEF անկյունը հավասար է D անկյանը։

Հետևաբար, ABC եռանկյանը հավասար FECG զուգահեռագիծը կառուցված է CEF անկյունով, որը հավասար է D անկյանը։ Սա այն էր, ինչ պետք էր անել։

Ցանկացած զուգահեռագծի համար անկյունագծի շուրջ զուգահեռագծերի լրացումները հավասար են միմյանց:

ABCD-ն զուգահեռագիծ է, իսկ AC-ն՝ նրա անկյունագիծը: EH-ը և FG-ն զուգահեռագծեր են AC-ի շուրջ, իսկ BK-ն և KD-ն՝ այսպես կոչված լրացումները (AC-ի շուրջ): Պնդումն այն է, որ BK լրացումը հավասար է KD լրացմանը:

Քանի որ ABCD-ն զուգահեռագիծ է և AC-ն նրա անկյունագիծն է, ABC եռանկյունը հավասար է ACD եռանկյանը [Պնդում 1.34]։ Կրկին, քանի որ EH-ը զուգահեռագիծ է և AK-ը նրա անկյունագիծը, AEK եռանկյունը հավասար է AHK եռանկյանը [Պնդում 1.34]։ Այսպիսով, նույն պատճառով, KFC եռանկյունը հավասար է KGC եռանկյանը։ հետևաբար, քնաի որ AEK եռանկյունը հավասար է AHK եռանկյանը և KFC-ն KGC-ին, AEK և KGC եռանկյունների գումարը հավասար է AHK և KFC եռանկյունների գումարին։ Իսկ ամբողջ ABC եռանկյունը հավասար է ամբողջ ADC եռանկյանը։ Հետևաբար, հավելյալ BK լրացումը հավասար է հավելյալ KD լրացմանը։

Հետևաբար, ցանկացած զուգահեռագծի համար անկյունագծի շուրջ զուգահեռագծերի լրացումները հավասար են միմյանց: Սա այն էր, ինչ պետք էր ցույց տալ։

Տրված ուղղագիծ անկյանով տրված ուղիղ գծի վրա կառուցել տրված եռանկյանը հավասար զուգահեռագիծ:

AB-ն տրված ուղիղն է, C-ն՝ տրված եռանկյունը, D-ն՝ տրված ուղղագիծ անկյունը։ Այսպիսով, պահանջվում է տրված C եռանկյանը հավասար զուգահեռագիծ կառուցել տրված AB ուղղի վրա՝ D-ին հավասար անկյան տակ։

BEFG զուգահեռագիծը՝ հավասար C եռանկյանը, կառուցված է EBG անկյունով, որը հավասար է D անկյանը [Պնդում 1.42]։ Այն տեղադրված է այնպես, որ BE-ն ընկնում է ուղիղ AB-ի վրա^[4]։ H կետով գծված է FG-ն և A կետով գծված է AH-ը, զուգահեռ BG-ին կամ EF-ին [Պնդում 1.31] և միացված է HB հատվածը։ Քանի որ HF ուղիղը հատում է AH և EF զուգահեռները, AHF և HFE անկյունները, հետևաբար, հավասար են երկու ուղիղ անկյունների [Պնդում 1.29]։ Հետևաբար, BHG-ի և GFE-ի գումարը փոքր է երկու ուղիղ անկյունից և ներքին անկյուններից (որոնց գումարը փոքր է երկու ուղիղ անկյուններից) ձգվող և անվերձության ձգտող ուղիղները հատվում են [Կանխադրույթ 5]: Հետևաբար, HB-ն և FE-ն, եթե գծվեն, կհատվեն։ Ենթադրենք դրանք գծված են և հատվում են K կետում։ K կետով գծված է KL-ը, որը զուգահեռ է EA-ին կմա FH-ին [Պնդում 1.31]։ Ենթադրենք, նաև, որ գծված են HA-ն և GB-ն համապատասխանաբար L և M կետերից։ Հետևաբար, HLKF-ն զուգահեռագիծ է և HK-ն դրա անկյունագիծն է։ AG-ն և ME-ն նույնպես զուգահեռագծեր են և LB-ն ու BF-ը այսպես կոչված լրացումներ են HK-ին։ Հետևաբար, LB-ն հավասար է BF-ին [Պնդում 1.43]։ Բայց, BF-ը հավասար է C եռանկյանը։ Հետևաբար, LB-ն հավասար է C-ին։ Նաև, քանի որ GBE-ն հավասար է ABM-ին [Պնդում 1.15], բայց GBE-ն նաև հավասար է D-ին, հետևաբար, ABM-ը հավասար է D-ին։

Հետևաբար, LB զուգահեռագիծը, որը հավասար է C եռանկյանը, կառուցված է տրված AB ուղղի վրա՝ ABM անկյունով, որը հավասար է D անկյանը։ Սա այն էր, ինչ պետք էր անել։

Կառուցել զուգահեռագիծ՝ տրված ուղղագիծ անկյանով տրված ուղղագիծ պատկերին հավասար:

ABCD-ն տրված ուղղագիծ պատկերն է^[5] , իսկ E-ն տրված ուղղագիծ անկյունը։

Գծված է DB կողմը։ E անկյանը հավասար HKF անկյունով կառուցված է ABD եռանկյանը հավասար FH զուգահեռագիծը [Պնդում 1.42]։ E անկյանը հավասար GHM անկյունով GH ուղղի վրա կառուցված է DBC եռանկյանը հավասար GM զուգահեռագիծը [Պնդում 1.44]։ Քանի որ E անկյունը հավասար է HKF և GHM անկյուններին, հետևաբար․ HKF անկյունը հավասար է GHM անկյանը։ Երկուսին էլ ավելացնենք KHG-ն։ Հետևաբար, FKH և KHG անկյունների գումարը հավասար է KHG և GHM անկյունների գումարին։ Բայց FKH և KHG անկյունների գումարը հավասար է երկու ուղիղ անկյան [Պնդում 1.29]։ Հետևաբար, KHG և GHM անկյունների գումարը նույնպես հավասար է երկու ուղիղ անկյան։ Այսպիսով, նույն կողմի վրա չնկնող KH և HM ուղիղները ստեղծում են կից անկյուններ GH ուղղի վրա H կետում, որի գումարը հավասար է երկու ուղիղ անկյան։ Հետևաբար KH-ը ընկնում է ուղիղ HM-ի վրա [Պնդում 1.14]։ Քանի որ HG ուղիղը հատում է KM և FG ուղիղները, խաչադիր MHG և HGF անկյունները հավասար են [Պնդում 1.29]։ Երկուսին էլ ավելացնենք HGL-ն։ Հետևաբար, MHG և HGL անկյունների գումարը հավասար է HGF և HGL անկյունների գումարին։ Բայց MHG և HGL անկյունների գումարը հավասար է երկու ուղիղ անկյան [Պնդում 1.29]։ Հետևաբար HGF և HGL անկյունների գումարը նույնպես հավասար է երկու ուղիղ անկյան։ Հետևաբար, FG-ն ընկնում է ուղիղ Gl-ի վրա [Պնդում 1.14]։ Քանի որ FK-ն հավասար է և զուգահեռ HG-ին [Պնդում 1.34], բայց նաև HG-n հավասար է և զուգահեռ ML-ին [Պնդում 1.34], հետևաբար, KF-ը նույնպես հավասար է և զուգահեռ ML-ին [Պնդում 1.30]: KM և FL ուղիղները միացնում են դրանք։ Հետևաբար, KM և FL նույնպես հավասար են և զուգահեռ [Պնդում1.33]։ Հետևաբար, KFLM-ը զուգահեռագիծ է։ Քանի որ ABD եռանկյունը հավասար է FH զուգահեռագծին և DBC-ն հավասար է GM, ամբողծ ABCD ուղղագիծ պատկերը, հետևաբար, հավասար է ամբողջ KFLM զուգահեռագծին։

Հետևաբար, տրված ABCD ուղղագիծ պատկերին հավասար KFLM զուգահեռագիծը կառուցված է տրված E անկյանը հավասար FKM անկյունով։ Սա այն էր, ինչ պետք էր անել։

Տրված ուղղով կառուցել քառակուսի։

Տրված է AB ուղիղը։ Պահանջվում է կառուցել քառակուսի AB կողմի վրա։

AC-ն գծված է ուղղահայաց AB ուղղին A կետում [Պնդում 1.11] և AD-ն հավասար է AB-ին [Պնդում 1.4]: D կետով գծված է DE ուղիղը՝ զուգահեռ AB-ին [Պնդում 1.31] և B կետով գծված է BE ուղիղը՝ զուգահեռ AD-ին [Պնդում 1.31]։ Հետևաբար, ADEB-ն զուգահեռագիծ է։ AB-ն հավասար է DE-ին, իսկ DE-ն՝ BE-ին։ Բայց AB-ն նաև հավասար է AD-ին։ Հետևաբար, չորս կողմերը՝ BA, AD, DE և EB, հավասար են միմյանց։ Հետևաբար, ADEB զուգահեռագիծը հավասարակողմ է։ Այն ուղղանկյուն է։ Քանի որ AD ուղիղը հատում է AB և DE զուգահեռները BAD և ADE անկյունների գումարը հավասար է երկու ուղիղ անկյան [Պնդում 1.29]։ Բայց BAD-ը ուղիղ անկյուն է։ Հետևաբար, ADE-ն նույնպես ուղիղ անկյուն է։ Զուգահեռագիծ պատկերներում հակադիր կողմերը և անկյունները հավասար են միմյանց [Պնդում 1.34]։ Հետևաբար, ABE և BED հակադիր անկյուններից յուրաքանչյուրը նույնպես ուղիղ անկյուն է։ Հետևաբար, ADEB-ն ուղղանկյուն է։ Ցույց է տրված նաև, որ այն հավասարակողմ է։

Հետևաբար, ADEB-ն քառակուսի է [Սահմանում 1.22] և այն կառուցված է AB ուղղով։ Սա այն էր, ինչ պետք էր անել։

Ուղղանկյուն եռանկյան ուղիղ անկյանի դիմացի կողմի քառակուսին հավասար է մյուս կողմերի քառակուսիների գումարին։

ABC-ն ուղղանկյուն եռանկյուն է՝ BAC ուղիղ անկյունով։ Պնդումն այն է, որ BC-ի քառակուսին հավասար է BA-ի և AC-ի քառակուսիների գումարին գումարին։

BC-ի վրակառուցված է BDEC քառակուսին և GB ու HC քառակուսիները՝ AB-ի ու AC-ի վրա համապատասխանաբար [Պնդում 1.46]։ A կետից գծված է AL-ը, որը զուգահեռ է BD-ին կամ CE-ին [Պնդում 1.31]։ AD-ն և FC-ն միացված են։ Քանի որ BAC և BAG անկյուններից յուրաքանչյուրը ուղիղ անկյուն է, ապա նույն կողմի վրա չնկնող AC և AG երկու ուղիղները ստեղծում են կից անկյուններ BA ուղղով՝ A կետում, որի գումարը հավասար է երկու ուղիղ անկյունների։ Հետևաբար CA-ն ընկնում է AB-ի վրա [Պնդում 1.14]։ Նույն պատճառով BA-ն ընկնում է AH-ի վրա։ Քանի որ DBC անկյունը հավասար է FBA անկյանը, կամ երկուսն էլ ուղիղ անկյուն են, երկուսին էլ ավելացնենք ABC-ն։ Հետևաբար, ամբողջ DBA անկյունը հավասար է FBC ամբողջ անկյանը։ Քանի որ DB-ն հավասար է BC-ին և FB-ն BA-ին, երկու ուղիղները՝ DB-ն և BA-ն,համապատասխանաբար հավասար են CB և BF ուղիղներին։ Իսկ DBA անկյունը հավասար է FBC անկյանը։։ Հետևաբար, AD հիմքը հավասար է FC հիմքին և ABD անկյունը հավասար է FBC անկյանը [Պնդում 1.4]: Իսկ BL զուգահեռագծի մակերեսը ABD եռանկյան մակերեսի կրկնապատիկն է։ Դրանք ունեն նույն BD հիմքը և ընկած են նույն BD և AL զուգահեռների միջև [Պնդում 1.41]: GB քառակուսու մակերեսը FBC եռանկյան մակերեսի կրկնապատիկն է։ Կրկին, դրանք ունեն նույն FB հիմքը և ընկած են նույն FB և GC զուգահեռների միջև [Պնդում 1.41] (հավասար պատկերների կեսերը հավասար են միմյանց)^[6]: Հետևաբար, BL զուգահեռագիծը հավասար է GB քառակուսուն։ Նույն կերպ, AE-ն և BK-ը միացված են և կարող ենք ցույց տալ, որ CL զուգահեռագիծը հավասար է HC քառակուսուն։ Հետևաբար, ամբողջ BDEC քառակուսին հավասար է GB և HC քառակուսիների գումարին։ BDEC քառակուսին կառուցված է BC- վրա․ իսկ GB և HC քառակուսիները՝ BA-ի և AC-ի վրա համապատասխանաբար։ Հետևաբար, BC կողմի քառակուսին հավասար է BA և AC կողմերի քառակուսիների գումարին։

Հետևաբար, ուղղանկյուն եռանկյան ուղիղ անկյանի դիմացի կողմի քառակուսին հավասար է մյուս կողմերի քառակուսիների գումարին։ Սա այն էր, ինչ պետք էր ցույց տալ։

1. ↑ Որպես ակնհայտ ընդարձակում As an obvious extension of C.N.s 2 & 3—if equal things are added or subtracted from the two sides of an inequality then the inequality remains an inequality of the same type.
2. ↑ Այստեղ առաջին անգամ «հավասար» նշանակում է «մակերեսով հավասար», այլ ոչ թե «համապատասխան»։
3. ↑ Այս ամբողջ պնդումը Հայբերգի կողմից դիտվում է որպես սկզբնական տեքստի համեմատաբար վաղ ինտերպոլացիա:
4. ↑ Սրան կարելի է հասնել օգտագործելով 1.3, 1.23, և 1.31 պնդումները։
5. ↑ Ապացույցը տրվում է միայն քառակողմ պատկերի համար: Այնուամենայնիվ, բազմակողմ պատկերի դեպքում կիրառումը պարզ է:
6. ↑ Սա լրացուցիչ ընդհանուր հասկացություն է: