Տարերք/Գիրք 6
հեղինակ՝ էվկլիդես |
Նման պատկերներ
Սահմանումներ
1. Նման ուղղագծային պատկերներ կոչվում են այն պատկերները, որոնց համապատասխան անկյունները առանձին-առանձին հավասար են, իսկ (համապատասխանող) անկյունների կողմերը՝ համաչափ: 2. Ուղիղ գիծը , որը բաժանված է մեծ և միջին հարաբերությամբ, երբ ամբողջ գիծը մեծ հատվածի հետ նույն հարաբերության մեջ է, ինչ մեծ հատվածը՝ փոքր հատվածի հետ: 3. Ցանկացած պատկերի բարձրությունը գագաթից հիմքին ուղղահայաց տարված ուղիղ գիծն է:
Պնդում 1
Այն եռանկյուններն ու զուգահեռագծերը, որոնք ունեն նույն բարձրությունը, ապա նրանց հիմքերը հարաբերվում են համապատասխանաբար:
Թող ABC-ն եւ ACD-ն լինեն եռանկյուններ, իսկ EC եւ CF զուգահեռագծեր՝ AC բարձրությանը հավասար:Ասում ենք, որ հիմք BC-ն հարաբերում է CD-ին, ուստի ABC եռանկյունը ACD եռանկյունին, իսկ զուգահեռագիծ EC-ը զուգահեռագծի CF-ին: Ենթադրենք, որ BD-ն տարված է յուրաքանչյուր ուղղությամբ մինչեւ H և L կետերը, և դիցուք (ուղիղ գծերի) [ցանկացած թիվ] BG-ն և GH-ը հավասարեցնեն BC հիմքին և (ուղիղ գծերի) ցանկացած թվի DK և KL՝ CD հիմքին: Եվ AG-ն, AH-ը, AK-ն և AL-ը միացնենք միմյանց: Եվ քանի որ CB-ն, BG-ն եւ GH-ը հավասար են միմյանց, AHG, AGB եւ ABC եռանկյունները նույնպես հավասար են միմյանց [Պնդ: 1.38]: Այսպիսով, քանի որ HC հիմքը մի քանի անգամ (բաժանվում է) BC հիմքով, այդքան անգամ էլ AHC եռանկյունը նույնպես (բաժանվում է) ABC եռանկյունու վրա: Այսպիսով, նույն տրամաբանությամբ LC հիմքը մի քանի անգամ (բաժանվում) է հիմք CD-ով, այդքան անգամ էլ ALC եռանկյունը նույնպես (բաժանվում է) ACD եռանկյունի: Եվ եթե HC հիմքը հավասար է CL հիմքին, ապա AHC եռանկյունը նույնպես հավասար է ACL եռանկյանը [Prop: 1.38]: Եվ եթե HC հիմքը գերազանցում է CL հիմքը, ապա AHC եռանկյունը նույնպես գերազանցում է ACL եռանկյանը:Եվ եթե (HC-ն) փոքր է (քան CL-ն, ապա AHC-ն նույնպես) փոքր է (քան ACL): Այսպիսով, դրանք լինելով չորս մեծություն, երկու հիմք՝ BC եւ CD, և երկու եռանկյուններ՝ ABC եւ ACD, հավասար բազմապատիկներ են վերցվել BC հիմքից և ABC—եռանկյունից (մասնավորապես), հիմք HC և եռանկյուն AHC—և CD հիմքի այլ ցանկացած բազմապատիկներ և եռանկյունի ADC— (մասնավորապես), հիմք LC եւ ALC եռանկյունին: Եվ ցույց է տրվել, որ եթե հիմք HC-ը գերազանցում է CL հիմքը, ապա AHC եռանկյունը նույնպես գերազանցում է ALC (և եթե (HC-ն) հավասար է (CL-ին, ապա AHC-ն նույնպես) հավասար է (ALC-ին), և եթե (HC-ն) փոքր է (քան CL-ն, ապա AHC-ն նույնպես) փոքր շէ (քան ALC): Այսպիսով, քանի որ BC հիմքը հարաբերում է CD-ի հիմքին, ուստի ABC եռանկյունը նույնպես հարաբում է (ACD եռանկյունին [Def: 5:5]: Եվ քանի որ EC զուգահեռագիծը կրկնակի ABC եռանկյունն է, իսկ FC ուգահեռագիծը կրկնակի ACD եռանկյունն է [Պնդ: 1:34], եւ մասերն ունեն նույն հարաբերակցությունը, ինչ նմանատիպ բազմապատիկները [Պնդ: 5:15], հետևաբար, որպես ABC եռանկյունի հարաբերում է ACD եռանկյանը, ուստի զուգահեռագիծ EC-ին հարաբերում է զուգահեռագիծ FC-ին: Իրականում, քանի որ BC հիմքը հարաբերում է CD-ին, այնպես որ ABC եռանկյունը հարաբերում է ACD եռանկյանը, և եռանկյունի ABC հարաբերում (է) ACD եռանկյանը, ուստի EC զուգահեռագիծը հարաբերում (է) CF զուգահեռագծին, հետեւաբար, նույնպես BC հիմքը CD-ին, ուստի EC-ին (է) զուգահեռագիծը FC [Պնդ: 5.11]: Այսպիսով, եռանկյունները և զուգահեռագծերը, որոնք ունեն նույն բարձրությունը, միմյանց նկատմամբ են, հարաբերում են այնպես, ինչպես իրենց հիմքերը: Հենց այն էր, ինչ պահանջվում էր ցույց տալ:
- Ինչպես կարելի է հեշտությամբ ցույց տալ, նույն գործում է նույնիսկ այն դեպքում, երբ եռանկյունները կամ զուգահեռականները չունեն ընդհանուր կողմ և/կամ ուղիղ անկյուն չեն:
- Սա պրոպ. 1.38-ի ուղղակի ընդհանրացումն է:
Պնդում 2
Երբ եռանկյան կողմերից մեկին զուգահեռ մի ուղիղ գիծ է գծվում, ապա այն կտրվածքով կտրում է եռանկյան (մյուս) կողմերը համաչափ։ Եվ եթե եռանկյան (երկու) կողմերը կտրում են համաչափ, ապա այդ կետերը միացնող ուղիղ գիծը կլինի զուգահեռ եռանկյան մնացած կողմին։
DE ուղիղ գիծը գծված է ABC եռանկյան BC կողմին զուգահեռ։ Ինչպես BD-ն DA-ին է հարաբերում է, այնպես էլ CE-ն EA-ին: Դիցուք, BE և CD գծերը միացված են։ Հետևաբար, եռանկյուն BDE-ն հավասար է CDE եռանկյանը։Նույն DE հիմքի վրա են և DE և BC զուգահեռների միջև [Պնդ. 1.38]։ Իսկ ADE-ն այլ եռանկյուն է։ Եվ հավասար (կողմերը) նույն (կողմի) հետ ունեն նույն հարաբերությունը [Պնդ. 5.7]։ Հետևաբար, ինչպես եռանկյուն BDE-ն հարաբերվում է [եռանկյունի] ADE-ին, այնպես էլ եռանկյունի CDE-ն (ADE) եռանկյանը։ Եվ, ինչպես եռանկյունի BDE-ն է եռանկյուն ADE-ի նկատմամբ, այնպես էլ BD-ն է DA-ի նկատմամբ։ Քանի որ ունեն նույն բարձրությունը՝ (մասնավորապես՝) E կետից գծված ուղղահայացը AB-ի վրա, նրանք իրար նկատմամբ ունեն նույն հարաբերությունը, ինչ իրենց հիմքերը [Պնդ. 6.1]։ Այդ իսկ պատճառով, ինչպես եռանկյուն CDE-ն հարաբերվում է ADE-ի նկատմամբ, այնպես էլ CE-ն է EA-ի նկատմամբ։ Եվ, հետևաբար ,ինչպես BD-ն է DA-ի նկատմամբ, այնպես էլ CE-ն է EA-ի նկատմամբ [Պնդ. 5.11]։ Դիցուք, ABC եռանկյան AB և AC կողմերը բաժանվեն համաչափորեն (այնպես որ) ինչպես BD հարաբերվի է DA-ի նկատմամբ, այնպես էլ CE-ն EA-ի նկատմամբ։ Եվ թող DE գիծը միացված լինի։ DE գիծը զուգահեռ է BC-ին։ Քանի որ, նույն եղանակով, ինչպես BD-ն է DA-ի նկատմամբ, այնպես էլ CE-ն է EA-ի նկատմամբ, սակայն ինչպես BD-ն է DA-ի նկատմամբ, այնպես էլ BDE եռանկյունն է ADE-ի նկատմամբ, և ինչպես CE-ն է EA-ի նկատմամբ, այնպես էլ եռանկյուն CDE-ն է ADE-ի նկատմամբ [Պնդ. 6.1], հետևաբար, եռանկյուն BDE-ն հարաբերվում ADE-ի նկատմամբ, այնպես էլ եռանկյուն CDE-ն է ADE-ի նկատմամբ [Պնդ. 5.11]։ Հետևաբար, BDE և CDE եռանկյունները յուրաքանչյուրն ունեն նույն հարաբերությունը ADE-ի նկատմամբ։ Արդյունքում, BDE եռանկյունը հավասար CDE եռանկյանը [Պնդ. 5.9]։ Եվ նրանք գտնվում են նույն DE հիմքի վրա։ Հավասար եռանկյունները, որոնք նույն հիմքի վրա են , գտնվում են նաև նույն զուգահեռների միջև [Պնդ. 1.39]։ Հետևաբար, DE գիծը զուգահեռ է BC-ին։ Այսպիսով, եթե եռանկյան կողմերից մեկին զուգահեռ ուղիղ գիծ գծենք, ապա այն համաչափ կբաժանի եռանկյան (մյուս) կողմերը։ Եվ եթե եռանկյան (երկու) կողմերը աժանվեն համաչափ, ապա այդ կետերը միացնող ուղիղ գիծը կլինի զուգահեռ եռանկյան մնացած կողմին։ (Այսինքն՝ այն, ինչ պետք էր ցույց տալ)։
Պնդում 3
Եթե եռանկյան անկյունը կիսվում է, և այդ անկյունը կիսող ուղիղ գիծը կտրում է նաև հիմքը, ապա հիմքի հատվածները կունենան նույն հարաբերությունը, ինչ եռանկյան մնացած կողմերը։ Եվ եթե հիմքի հատվածները ունեն նույն հարաբերությունը, ինչ եռանկյան մնացած կողմերը, ապա գագաթը կետին միացնող ուղիղ գիծը կիսում է եռանկյան անկյունը։ Տրված է, ABC եռանկյունը։ Եվ թող BAC անկյունը կիսված լինի AD ուղիղ գծով։ Ինչպես BD-ն է հարավերվում DC-ի նկատմամբ, այնպես էլ BA-ն է AC-ի նկատմամբ։ CE գիծը գծվի C կետից՝ զուգահեռ AD-ին։ Եվ BA գիծը (CE)-ին E կետում*։
Քանի որ, AC ուղիղ գիծը անցնում է AD և EC զուգահեռ (ուղիղների) միջև, ապա ACE անկյունը հավասար է CAD-ին [Պնդ. 1.29]։ Ենթադրվում է, որ CAD անկյունը հավասար BAD-ին։ Հետևաբար, BAD անկյունը նույնպես հավասար է ACE-ին։ Քանի որ, BAE ուղիղ գիծը անցնում է AD և EC զուգահեռ (ուղիղների) միջև, ապա BAD արտաքին անկյունը հավասար է AEC ներքին (անկյանը) [Պնդ. 1.29]։ Իսկ ACE անկյունը նույնպես ցույց է տրվել, որ հավասար է BAD-ին։ Հետևաբար, ACE անկյունը նույնպես հավասար է AEC-ին։ Եվ, հետևաբար, AE կողմը հավասար է AC կողմին [Պնդ. 1.6]։ Այն պատճառով, որ AD գիծը գծված է BCE եռանկյանը և EC կողմին զուգահեռ, ապա համաչափորեն, ինչպես BD-ն է DC-ի նկատմամբ հարաբերվում, այնպես էլ BA-ն է AE-ի [Պնդ. 6.2]։ Իսկ AE-ն հավասար է AC-ին։ Հետևաբար, ինչպես BD-ն է DC-ի նկատմամբ, այնպես էլ BA-ն է AC-ի նկատմամբ։ Եվ այսպես, BD-ն հարաբերվի DC-ի նկատմամբ այնպես, ինչպես BA-ն AC-ի նկատմամբ, և AD գիծը միացվի։ Դիցուք, BAC անկյունը կիսված է AD ուղիղ գծով։ Նույն եղանակով, ինչպես BD-ն է հարավերվում DC-ի նկատմամբ, այնպես էլ BA-ն է AC-ի նկատմամբ, ապա նաև, ինչպես BD հարաբերվում է DC-ի նկատմամբ, այնպես էլ BA-ն է AE-ի նկատմամբ։ Քանի որ, AD գիծը զուգահեռ է BCE եռանկյան EC կողմին [Պնդ. 6.2]։ Հետևաբար, ինչպես BA-ն է AC-ի նկատմամբ, այնպես էլ BA-ն է AE-ի նկատմամբ [Պնդ. 5.11]։ Արդյունքում AC-ն հավասար է AE-ին[Պնդ.5.9]։ Եվ, հետևաբար, AEC անկյունը հավասար է ACE անկյանը[Պնդ. 1.5]։ AEC անկյունը հավասար է BAD արտաքին (անկյանը), իսկ ACE անկյունը հավասար է CAD անկյանը[Պնդ. 1.29]։ Հետևաբար, BAD անկյունը նույնպես հավասար է CAD-ին։ Հետևաբար, BAC անկյունը կիսված է AD ուղիղ գծով։ Այսպիսով, եթե եռանկյան անկյունը կիսվում է, և այդ անկյունը կիսող ուղիղ գիծը բաժանում է նաև հիմքը, ապա հիմքի հատվածները կունենան նույն հարաբերությունը, ինչ եռանկյան մնացած կողմերը։ Եվ եթե հիմքի հատվածները ունեն նույն հարաբերությունը, ինչ եռանկյան մնացած կողմերը, ապա գագաթը կետին միացնող ուղիղ գիծը կիսում է եռանկյան անկյունը։ Ինչը հենց պահանջվում էր ապացուցել:
- Այն փաստը, որ երկու ուղիղ գծերը հանդիպում են, հետևում է այն բանից, որ ACE և CAE անկյունների գումարը փոքր է երկու ուղղանկյունից, ինչպես հեշտությամբ կարելի է ցույց տալ։
Պնդում 4
Նման (հավասարանկյուն) եռանկյուններում կողերն ունեն համեմատական հարաբերություն, և այն կողմերը, որոնք ունեն հավասար անկյուններ, համապատասխանում են միմյանց:
Դիցուք, ABC և DCE լինեն նման եռանկյուններ, որտեղ ABC անկյունը հավասար է DCE անկյանը, և BAC անկյունը՝ CDE անկյանը, և, ավելին, ACB անկյունը՝ CED-ին:Կարող ենք նշել, որ ABC և DCE եռանկյուններում համապատասխանաբար անկյունների կողմերն ունեն համեմատական հարաբերություն, և (կողմերը), որոնք համապատասխանաբար ունեն հավասար անկյուններ, համընկնում են: Եկեք BC գիծը տեղադրենք CE-ի վրա։ Քանի որ, ABC և ACB անկյունները փոքր են երկու ուղիղ-անկյուններից[Պնդ.1.17], և ACB անկյունը հավասար է DEC անկյանը, հետևաբար, ABC և DEC անկյունները փոքր են երկու ուղիղ-անկյուններից։ Այսպիսով, BA և ED գծերը, որոնք երկարացվել են, կհանդիպեն [Հավ. 5]։ Դրանք երկարացվելով,ի վերջո հանդիպում են F կետում։ Քանի որ,DCE անկյունը հավասար է ABC-ին, BF գիծը զուգահեռ է CD-ին [Պնդ. 1.28]։ Նույն տրամաբանությամբ, ACB անկյունը հավասար է DEC անկյանը, AC գիծը զուգահեռ է FE-ին [Պնդ. 1.28]։ Այսպիսով, FACD-ը զուգահեռագիծ է։ Հետևաբար, FA-ն հավասար է DC-ին, իսկ AC-ն՝ FD-ին [Պնդ. 1.34]։ Այնուհետև, AC գիծը գծված է FBE եռանկյանը և FE կողմին զուգահեռ, հետևաբար, ինչպես BA-ն է հարաբերվում AF-ի նկատմամբ, այնպես էլ BC-ն է CE-ի նկատմամբ [Պնդ. 6.2], և AF-ն հավասար է CD-ին։ Հետևաբար, ինչպես BA-ն է հարաբերվում CD-ի նկատմամբ, այնպես էլ BC-ն է CE-ին, և նույնաբար՝ ինչպես AB-ն է BC-ի նկատմամբ, այնպես էլ DC-ն է CE-ի նկատմամբ [Պնդ. 5.16]։ Նորից, քանի որ CD գիծը զուգահեռ է BF-ին, հետևաբար, ինչպես BC-ն է CE-ի նկատմամբ, այնպես էլ FD-ն է DE-ի նկատմամբ [Պնդ. 6.2]։ Եվ FD-ն հավասար է AC-ին։ Հետևաբար, ինչպես BC հարաբերում է CE-ին, այնպես էլ AC-ն DE-ին, և համապատասխանաբար՝ ինչպես BC-ն է CA-ի նկատմամբ, այնպես էլ CE-ն է ED-ի նկատմամբ [Պնդ. 6.2]։ Հետևաբար, ինչպես AB-ն է BC-ի նկատմամբ, այնպես էլ DC-ն է CE-ի, և ինչպես BC-ն է CA-ի նկատմամբ, այնպես էլ CE-ն է ED-ի նկատմամբ, այսպիսով՝ ըստ հավասարության՝ ինչպես BA-ն է AC-ի, այնպես էլ CD-ն է DE-ի նկատմամբ [Պնդ. 5.22]։ Այսպիսով, նման եռանկյուններում անկյունների կողերն ունեն համեմատական հարաբերություն, և (կողմերը), որոնք ենթարկվում են հավասար անկյուններին, համապատասխանում են։ Ինչը հենց պահանջվում էր ցույց տալ։
Պնդում 5
Եթե երկու եռանկյունները ունեն համաչափ կողմեր, ապա եռանկյունները կլինեն նման (հավասարանկյուն), և կունենան անկյուններ, որոնք համապատասխանում են համաչափ կողմերին։
Դիցուք, ABC և DEF լինեն երկու եռանկյուններ, որոնց կողմերը համաչափ են, (այնպես որ) ինչպես AB հարաբերում է BC կողմին, այնպես էլ DE հարաբերում է EF կողմին, և ինչպես BC հարաբերում է CA-ին, այնպես էլ EF FD կողմին, և ավելին, ինչպես BA-ն է AC-ի նկատմամբ, այնպես էլ ED-ն է DF-ի նկատմամբ։ ABC եռանկյունը հավասարանկյուն է, որը հարաբերում է DEF եռանկյանը, և (այդ եռանկյունները) կունենան անկյուններ, որոնք համապատասխանում են համաչափ կողմերին։ Այդպիսով, ABC (անկյունը) (հավասար է) DEF անկյանը, BCA՝ EFD-ին, և, ավելին, BAC՝ EDF-ին։ Դիցուք, FEG անկյունը, որը հավասար է ABC անկյանը, և EFG, որը հավասար է ACB անկյանը, գտնվում են EF ուղիղ գծի վրա՝ համապատասխանաբար E և F կետերում [Պնդ. 1.23]։ Այսպիսով, A (անկյան) մյուս մասը հավասար է G անկյան մյուս մասին[Պնդ. 1.32]։ Այսպիսով, ABC եռանկյունը հավասար է EGF եռանկյանը։ Այսպիսով, ABC և EGF եռանկյունների հավասար անկյունների համապատասխանաբար կողմերն ունեն նույն հարաբերությունը, և (այն) կողմերը, որոնք ենթարկվում են հավասար անկյուններին, համապատասխանաբար հավասար են [Պնդ. 6.4]։ Հետևաբար, ինչպես AB-ն հարաբերվում է BC-ին, այնպես էլ GE-ն EF-ին։ Բայց, ինչպես AB-ի հարաբերվածությունն է BC-ի նկատմամբ, այնպես էլ, ենթադրվում է, որ DE և EF ունեն նույն հարաբերվածությունը։ Հետևաբար, ինչպես DE-ն է EF-ի նկատմամբ, այնպես էլ GE-ն է EF-ի նկատմամբ [Պնդ. 5.11]։ Հետևաբար, DE-ն և GE-ն յուրաքանչյուրն ունեն նույն հարաբերությունը EF-ի նկատմամբ։ Հետևաբար, DE-ն հավասար է GE-ին[Պնդ. 5.9]։ Նույն պատճառներով, DF-ն նույնպես հավասար է GF-ին։ Հետևաբար, քանի որ DE-ն հավասար է EG-ին, և EF-ն ընդհանուր է, երկու (կողմերը) DE և EF հավասար են երկու (կողմերին) GE և EF (համապատասխանաբար)։ Իսկ DF հիմքը (հավասար է) հիմք FG հիմքին։ Հետևաբար, DEF անկյունը հավասար է GEF անկյանը [Պնդ. 1.8], և եռանկյուն DEF-ը (հավասար է) GEF եռանկյանը, և համապատասխանաբար կողմերի անկյունները նույնպես հավասար են[Պնդ. 1.4]։ Հետևաբար, DFE անկյունը նույնպես հավասար է GFE անկյանը, իսկ EDF-ն՝ EGF-ին։ Քանի որ, FED (անկյունը) հավասար է GEF-ին, և GEF-ը՝ ABC-ին, հետևաբար, ABC անկյունը նույնպես հավասար է DEF-ին։ Նույն պատճառներով, ACB (անկյունը) նույնպես հավասար է DFE-ին, և, ավելին, A անկյունը՝ D անկյանը։ Այսպիսով, եռանկյուն ABC-ն հավասար է DEF եռանկյանը: Այսպիսով, եթե երկու եռանկյունները ունեն համաչափ կողմեր, ապա եռանկյունները կլինեն նման (հավասարանկյուն), և կունենան անկյուններ, որոնք համապատասխանում են համապատասխանաբար կողմերին։ Ապացուցվեց այն, ինչը պահանջվում էր:
Պնդում 6
Եթե երկու եռանկյուններն ունեն համապատասխան անկյունը հավասար է, և այդ հավասար անկյունների կողմերը համաչափ են, ապա եռանկյունները կլինեն հավասարանկյուն և կունենան անկյուններ, որոնք համապատասխանում են այդ կողմերին:
Դիցուք, ABC և DEF լինեն երկու եռանկյուններ, որոնցում BAC անկյունը հավասար է EDF անկյանը (համապատասխանաբար), և այդ անկյունների կողմերը համաչափ են ,այնպես որ,BA հարաբերվի AC կողմին այնպես, ինչպես ED կողմը DF-ին։ABC եռանկյունը հավասարանկյուն է DEF եռանկյանը, որտեղ ABC անկյունը հավասար է DEF անկյանը, իսկ ACB անկյունը DFE անկյանը: FDG անկյունը, որը հավասար է BAC և EDF անկյուններին, և DFG անկյունը, որը հավասար է ACB անկյանը, կառուցվեն AF ուղիղ գծի վրա՝ համապատասխանաբար D և F կետերում [Պնդ. 1.23]։ Այսպիսով, B-ի առընթեր անկյունը հավասար է G-ի առընթեր անկյանը [Պնդ. 1.32]։ Այսպիսով, ABC եռանկյունը DGF եռանկյունը ունեն հավասար անկյուն։ Հետևաբար, համապատասխանաբար, ինչպես BA և AC հարաբերությունը, այնպես էլ GD և DF ունեն նույն հարաբերությունը[Պնդ. 6.4]։ Եվ ենթադրվում է նաև, որ ինչպես BA կհարաբերվի AC-ին, այնպես էլ ED կողմը DF-ին։ Դրանից հետևում է, որ ինչպես ED հարաբերում է DF-ին ,այնպես էլ GD կողմը DF կողմին[Պնդ. 5.11]։ Ուստի, ED-ն հավասար է DG-ին [Պնդ. 5.9], իսկ DF-ն ընդհանուր է։ Այսպիսով, երկու (կողմերը)՝ ED և DF հավասար են երկու (կողմերին) ՝GD և DF (համապատասխանաբար)։ Իսկ անկյուն EDF-ը հավասար է GDF անկյանը։ EF հիմքը հավասար է GF հիմքին, և DEF եռանկյունը հավասար է GDF եռանկյանը, և մյուս անկյունները հավասար կլինեն եռանկյան անկյուններին, որոնք ենթարկվում են հավասար կողմերին [Պնդ. 1.4]։ Հետևաբար, DFG (անկյունը) հավասար է DFE-ին, DGF-ը՝ DEF-ին, իսկ DFG (անկյունը) հավասար կլինի ACB-ին։ Այդ ամենից կհետեևի , որ ACB անկյունը նույնպես հավասար է DFE անկյանը։ BAC անկյունը նույնպես ենթադրվում էր, որ հավասար պետք է լինի EDF-ին։ Հետևաբար, B անկյան առընթեր անկյունը հավասար է E առընթեր անկյանը[Պնդ. 1.32]։ Այսպիսով, եռանկյուն ABC-ն նման է DEF եռանկյանը: Այսպիսով, եթե երկու եռանկյունների ունեն անկյուն, որոնք հավասար են, և այդ անկյունների համապատասխանաբար կողմերը համապատասխանաբար համաչափ են, ապա եռանկյունները կլինեն նման(հավասարանկյուն) և կունենան անկյուններ, որոնք համապատասխանում են համաչափ կողմերին։ Ապացուցեցինք, այն ինչը պահանջվում էր:
Պնդում 7
Եթե երկու եռանկյուններն ունեն մեկ անկյուն, որոնք հավասար են իրար ,և մյուս անկյունների կողմերն ունեն համապատասխանաբար նույն հարաբերությունը, իսկ մնացած անկյունները երկուսն էլ փոքր են կամ երկուսն էլ փոքր չեն ուղիղ անկյուններից, ապա եռանկյունները կլինեն նման (հավասարանկյուն), և կունենան հավասար անկյուններ, որոնց համապատասխան կողմերը կունենան նույն հարաբերությունը։
Դիցուք, ABC և DEF երկու եռանկյուններ են, որի BAC անկյունը հավասար է EDF անկյանը (համապատասխանաբար), և ABC և DEF անկյունների կողմերը հարաբերվում են (այնպես որ), AB և BC ունեն նույն հարաբերությունը, ինչպես DE և EF, իսկ մնացած անկյունները՝ C և F-ում, երկուսն էլ սկզբում փոքր են ուղիղ անկյունից։ ABC եռանկյունը նման է DEF եռանկյանը, և (այդ) ABC անկյունը հավասար կլինի DEF անկյանը, և (մնացած) անկյունը C անկյունը (պարզապես) հավասար կլինի F անկյանը։ Եթե ABC անկյունը հավասար չէ DEF (անկյանը), ապա դրանցից մեկը մեծ է մյուսից։ Դիցուք, ABC-ը մեծ լինի և թող ABG (անկյունը), որը հավասար է DEF անկյանը, կառուցված լինի AB ուղիղ գծի վրա՝ B կետում [Պնդ. 1.23]։ Քանի որ , A անկյունը հավասար է D անկյանը, և ABG անկյունը հավասար է DEF-ին, իսկ AGB առընթեր (անկյունը) հավասար է DFE առընթեր (անկյանը) [Պնդ. 1.32]։ Հետևաբար, ABG եռանկյունը նման է (հավասարանկյուն) DEF եռանկյանը։ Հետևաբար, ինչպես AB-ն է հարաբերվում BG-ին, այնպես էլ DE-ն է հարաբերվում EF-ին[Պնդ. 6.4]։ Եվ ինչպես DE-ն է EF-ի նկատմամբ, այնպես էլ ենթադրվում էր, որ AB-ն է BC-ի նկատմամբ։ Հետևաբար, AB և BC նույն հարաբերությունն ունեն BG-ի նկատմամբ [Պնդ. 5.11]։ Հետևաբար, BC-ն հավասար է BG-ին [Պնդ. 5.9]։ Այսպիսով, C անկյունը հավասար է BGC անկյանը [Պնդ. 1.5]։ Իսկ C անկյունը ենթադրվում է, որ փոքր է ուղիղ անկյունից, այսինքն սուր անկյուն է։ Հետևաբար, BGC անկյունը նույնպես սուր անկյուն է։ Հետևաբար, դրան հարակից անկյունը՝ AGB-ն, մեծ է ուղիղ անկյունից [Պնդ. 1.13]։ Ցույց տրվեց, որ AGB անկյունը հավասար է F անկյանը։ Հետևաբար, F անկյունն էլ մեծ է ուղիղ անկյունից։ Բայց ենթադրվում էր, որ փոքր է ուղիղ անկյունից։ Դա բացարձակ անհնար է։ Հետևաբար, անկյուն ABC-ը հավասար չէ DEF-ին։ Եվ A անկյունը նույնպես հավասար է D անկյանը։ ՈՒստի, C անկյանը կից անկյունը հավասար է F- ի կից անկյանը[Պնդ. 1.32]։ Հետևաբար, եռանկյուն ABC-ն նման է DEF եռանկյանը։ Ենթադրենք, C և F անկյունները փոքր չեն ուղիղ անկյունից։ Կրկին կնշեմ, որ եռանկյուն ABC-ն նման է DEF եռանկյանը այս դեպքում նույնպես։ Քանի որ նույն եղնակով կարող ենք ցույց տալ, որ BC-ը հավասար է BG-ին։ Հետևաբար, նաև C անկյունը հավասար է BGC-ին։ Իսկ C-ին (փոքր չէ) ուղիղ անկյունից։ Հետևաբար, BGC-ն (նույնպես) ուղիղ անկյունից փոքր չէ։ Այսպիսով, BGC եռանկյան երկու անկյունների գումարը ուղիղ անկյունից փոքր չէ։ Դա բացարձակ անհնար է [Պնդ. 1.17]։ Այս դեպքում էլ, ABC անկյունը հավասար չէ DEF-ին։ Հետևաբար, (այն) հավասար է։ A անկյունը նույնպես հավասար է D անկյանը։ Հետևաբար, C անկյան կից անկյունը հավասար է F-ի կից անկյանը[Պնդ.1.32]։ Հետևաբար, ABC եռանկյունը նման է DEF եռանկյանը։ Այսպիսով, եթե երկու եռանկյուններն ունեն մեկ անկյուն, որոնք հավասար են իրար,և մյուս անկյունների կողմերն ունեն համապատասխանաբար նույն հարաբերությունը, իսկ մնացած անկյունները երկուսն էլ փոքր են կամ երկուսն էլ փոքր չեն ուղիղ անկյուններից, ապա եռանկյունները կլինեն նման (հավասարանկյուն), և կունենան հավասար անկյուններ, որոնց համապատասխան կողմերը կունենան նույն հարաբերությունը: Ահա ապացուցվեց այն, ինչը հենց պահանջվում էր ցույց տալ։
Պնդում 8
Եթե ուղղանկյուն եռանկյան ուղիղ անկյունից ուղիղ գիծ է գծվում ՝ ուղղահայաց հիմքի վրա, ապա ուղղահայաց գծի շուրջ գտնվող եռանկյունները նման են միմյանց և մեծ ուղանկյուն (եռանկյանը): Դիցուք, ABC ուղղանկյուն եռանկյուն է, որի BAC անկյունը ուղիղ անկյուն է, և թող AD ուղիղ գիծը գծված լինի A կետից՝ ուղղահայաց BC-ին [Պնդ. 1.12]։ ABD և ADC եռանկյունները յուրաքանչյուրն էլ նման են ABC-ին և միմյանց։
Քանի որ BAC անկյունը հավասար է ADB անկյանը—երկուսն էլ ուղիղ անկյուններ են—իսկ B անկյունը ընդհանուր է ABC և ABD եռանկյունների համար, հետևաբար ACB անկյունը հավասար է BAD անկյանը[Պնդ. 1.32]։ Հետևաբար, ABC եռանկյունը նման է ABD եռանկյանը։ BC գտնվում է ABC եռանկյան ուղիղ անկյան դիմաց, BA ABD եռանկյան ուղիղ անկյան դիմաց, AB-ն, C անկյան դիմաց ABC- ում, (այդպես էլ) BD-ը, որը գտնվումէ BAD-ի դիմաց ABD եռանկյունում, AC և AD , (երկուսն էլ) B անկյանն են նայում, որը ընդհանուր է երկու եռանկյունների համար [Պնդ. 6.4]։ Հետևաբար, ABC եռանկյունը նման է ABD եռանկյանը և ունի հավասար անկյունների համապատասխան կողմերի նույն հարաբերությունը։ Հետևաբար, ABC եռանկյունւ նման է ABD եռանկյանը[Սահ. 6.1]։ Նույն կերպ, կարող ենք ցույց տալ, որ եռանկյուն ABC-ն նույնպես նման է ADC եռանկյանը։ Այսպիսով, ABD և ADC [եռանկյունները] նման են ABC եռանկյանը։ Այսպիսով, եռանկյունները ABD և ADC նույնպես նման են միմյանց։ Քանի որ BDA ուղիղ անկյունը հավասար է ADC ուղիղ անկյանը, և, BAD անկյունը նույնպես ցույց է տրվել, որ հավասար է C անկյանը, հետևաբար B անկյան առընթեր անկյունը նույնպես հավասար է DAC առընթեր անկյանը [Պնդ. 1.32]։ Հետևաբար, ABD եռանկյունը նման է ADC եռանկյանը։ Հետևաբար, ինչպես BD-ը, որը գտնվում է ABD եռանկյունում ՝BAD անկյան դիմաց, այնպես էլ DA-ն, C անկյան դիմաց ADC եռանկյունում, (որը) հավասար է BAD անկյանը, այդպես էլ նույն AD-ը, որը գնվում է B անկյան դիմաց ABD եռանկյունում, DC-ն, DAC անկյան դիմաց ADC եռանկյան մեջ, (որը) հավասար է B անկյանը, և, ավելին, ինչպես BA և AC, (երկուսն էլ) ուղիղ անկյան դիմաց են [Պնդ. 6.4]։ Հետևաբար, ABD եռանկյուն նման է ADC եռանկյանը[Սահ. 6.1]։ Այսպիսով, եթե ուղղանկյուն եռանկյան ուղիղ անկյունից ուղիղ գիծ է գծվում ՝ ուղղահայաց հիմքի վրա, ապա ուղղահայաց գծի շուրջ գտնվող եռանկյունները նման են միմյանց և մեծ ուղանկյուն եռանկյանը: Ապացուցեցինք, ինչ պահանջվում էր:
Հետևանք
Այսպիսով, ակնհայտ է, որ եթե ուղղանկյուն եռանկյան ուղիղ անկյունից ուղղահայաց գիծ տարվի հիմքին , ապա (այդպես) ուղիղ գծի հատվածները հարաբերվում էն հիմքի հատվածներին։ Այդ էր պահանջվում ցույց տալ:
- Այլ կերպ ասած, ուղղահայացը հիմքի հատվածների երկրաչափական միջինն է։
Պնդում 9
Տրված ուղիղ գծից հարկավոր է կտրել սահմանված մասը:
Դիցուք, AB լինի ուղիղ գիծ։ Այպիսով, AB-ից պահանջվում է կտրել սահմանված մասը։ Եկեք նշանակենք A կետից գծենք AC ուղիղ գիծը, որը կազմում է կամայական անկյուն AB-ի հետ։ AC գծի վրա նշանակենք D կետը ։ Թող DE և EC հատվածները լինեն հավասար AD հատվածին [Պնդ. 1.3] և միացնենք BC։ DF գիծը գծենք D կետի միջոցով՝ որը ուգահեռ կլինի BC գծին [Պնդ. 1.31]։ Հետևաբար, քանի որ FD գիծը զուգահեռ է ABC եռանկյան կողմերից մեկին՝ BC-ին, ապա համապատասխանաբար, ինչպես CD հատվածն է հարաբերում DA-ին, այնպես էլ BF հատվածը է FA հատվածին [Պնդ. 6.2]։ Եվ CD հատվածը հավասար է DA հատվածի կրկնակի արժեքինԼ Հետևաբար, BF-ն նույնպես կրկնակի է FA հատվածն է։ Հետևաբար, BA հավասար է եռակի FA։ Այսպիսով, սահմանված երրորդ մասը՝ AF, կտրել ենք տրված AB ուղիղ գծից։ Ապացուցվեց այն, ինչը պահանջվում էր:
Պնդում 10
Տրված չկտրվող ուղիղ գիծը կտրել այնպես, ինչպես տվյալ կտրված ուղիղ գիծը:
Դիցուք, AB տրված չկտրվող ուղիղ գիծն է, և AC ուղիղ գիծը, որը կտրված է D և E կետերում։ Թող AC գիծը տարվի այնպես, որ կազմի կամայական AB անկյան հետ։ Ապա, CB գիծը միացնենք։ DF և EG գծերը գծվեն D և E կետերով (համապատասխանաբար)՝ զուգահեռ BC գծին, և թող HK գիծը գծվի D կետի միջով՝ զուգահեռ AB գծին [Պնդ. 1.31]։ Հետևաբար, FH և HB-ը զուգահեռագծեր են։ DH-ը հավասար է FG-ին, իսկ HK-ն՝ GB-ին [Պնդ. 1.34]։ Քանի որ, HE ուղիղ գիծը գծված է զուգահեռ DKC եռանկյան KC կողմին, ապա համապատասխանաբար, ինչպես CE հարաբերվում է ED-ին, այնպես էլ KH հարաբերում HD-իմ[Պնդ. 6.2]։KH-ն հավասար է BG-ին, իսկ HD-ն՝ GF-ին։ Հետևաբար, ինչպես CE և ED հատվածների հարաբերությունն է, այնպես էլ BG և GF հատվածներինը։ Քանի որ, FD գիծը գծված է զուգահեռ AGE եռանկյան GE կողմին, ապա համապատասխանաբար, ինչպես ED հարաբերում է DA-ին, այնպես էլ GF- ը FA-ի հատվածին [Պնդ. 6.2]։ Եվ ցույց է տրվել, CE և ED հարաբերակցությունը հավասար է BG և GF- ի հարաբերակցությանը ։ Հետևաբար, ինչպես CE հարաբերում ED-ին, այնպես էլ BG՝ GF-ին, և ինչպես ED՝DA-ին, այնպես էլ GF՝ FA հատվածին։ Այսպիսով, տրված չկտրվող ուղիղ գիծը կտրել այնպես, ինչպես տվյալ կտրված ուղիղ գիծը: Ինչը հենց պահանջվում էր ապացուցել։
Պնդում 11
Հարկավոր է գտնել երրորդ ուղիղ գիծը, որը համաչափ է մյուս երկու ուղիղ գծերին: Դիցուք, BA և AC տրված երկու ուղիղ գծերն են, և միասին կազմում են մի կամայական անկյուն։ Պահանջվում է գտնել երրորդ (ուղիղ գիծը), որը համաչափ է BA և AC ուղիղ գծերին։ BA և AC շարունակվեն դեպի D և E կետեր (համապատասխանաբար), և BD-ը հավասար լինի AC-ին [Պնդ. 1.3]։ Այնւհետև,BC գիծը միացվի։ DE գիծը գծեն D կետի միջով՝ զուգահեռ BC գծին [Պնդ. 1.31]։ Քանի որ BC գիծը զուգահեռ է ADE եռանկյան DE կողմին, ապա համաչափորեն, ինչպես AB հարաբերում է BD-ին, այնպես էլ AC CE հատվածին [Պնդ. 6.2]։ Իսկ BD-ը հավասար է AC-ին։ Հետևաբար, ինչպես AB և AC հատվածների հարաբերությունն է, այնպես էլ AC և CE հատվածներինը:
Այսպիսով, գտանք CE ուղիղ գիծը, որը համաչափ է տրված երկու ուղիղ գծերին՝ AB և AC։ Ապացուցվեց այն, ինչը պահանջվում էր:
Պնդում 12
Պահանջվում է գտնել չորրորդ ուղիղ գիծը , որը համաչափ կլինի տրված երեք ուղիղ գծերին:
Դիցուք A, B և C տրված երեք ուղիղ գծերն են։ Պահանջվում է գտնել չորրորդ (ուղիղ գիծը), որը համաչափ է A, B և C ուղիղ գծերին։ DE և DF երկու ուղիղ գծերը կազմում են (կամայական) EDF անկյունը։DG հատվածը հավասար է A հատվածին, GE-ը՝ B-ին, և DH-ը՝ C-ին [Պնդ. 1.3]։ E կետից տանենք ուղիղ, որը զուգահեռ GH գծին [Պնդ. 1.31]։ Հետևաբար, քանի որ GH գիծը գծված է զուգահեռ DEF եռանկյան EF կողմին, ապա ինչպես DG հարաբերում GE-ի նկատմամբ, այնպես էլ DH և HF ունեն նույն հարաբերությունը[Պնդ. 6.2]։ DG հավասար է A-ին, GE-ը՝ B-ին, իսկ DH-ը՝ C-ին։ Հետևաբար, ինչպես A և B-ի հարաբերությունն է , այնպես էլ C և HF-ինը։ Այսպիսով, գտնվել է չորրորդ ուղիղ գիծը՝ HF, որը համաչափ է տրված երեք ուղիղ գծերին՝ A, B և C։ Ցույց տվեցինք ինչը պահանջվում էր։
Պնդում 13
Գտնել ուղիղ գիծը, որը հավասար է երկու ուղիղ գծերի միջին համամասնությանը:
Դիցուք, AB և BC տրված երկու ուղիղ գծերն են։ Պահանջվում է գտնել AB և BC ուղիղ գծերի միջին համամասնությանը հավասար (ուղիղ գիծը)։ AB և BC գտնվում են ուղիղ գծի վրա: Գծենք ADC կիսաշրջանագիծը, որի համար AC հատվածը հանդիսանում է տրամագիծը [Պնդ. 1.10]։ BD գիծը գծենք B կետից ուղիղ գիծ տանելով, որը ուղղահայաց կլինի AC հատվածին [Պնդ. 1.11]։ Այնուհետև, D կետից ուղիղներ տանելով, կազմենէ AD և DC գծերը։ Կիսաշրջանի ADC անկյունը՝ ուղիղ անկյուն է, քանի որ նայում է տրամագծին [Պնդ. 3.31]։ Եվ քանի որ, ADC ուղղանկյուն եռանկյուն է, և DB հատվածը ուղից անկյունից տարված ուղղահայացն է հիմքին, ապա DB-ն հավասար է հիմքի AB և BC հատվածների երկարության գումարի կեսին [Պնդ. 6.8 հետևություն]։ Այսպիսով, գտանք DB գիծը, որը հավասար է տրված երկու ուղիղ գծերի՝ AB և BC գումարի կեսին։ Ապացուցեցինք, ինչը պահանջվում էր:
Պնդում 14
Հավասար և հավասարանկյուն զուգահեռագծերում հավասար անկյուններին համապատասխան կողմերը փոխադարձաբար համեմատական են։ Այդ հավասարանկյուն զուգահեռագծերը իրար հավասար են, քանի որ հավասար անկյունների կողմերը փոխադարձաբար համեմատական են են: Դիցուք, AB և BC հավասար և հավասարանկյուն զուգահեռագծեր են, որոնց B անկյունները հավասար են։ DB և BE գծերը դրված են մի ուղղի վրա։ Հետևաբար, FB և BG գծերը նույնպես մի ուղղու վրա են [Պնդ. 1.14]։ Հարկ է նշել, որ AB և BC զուգահեռագծերի հավասար անկյունների գտնվող կողմերը փոխադարձաբար համեմատական են, այսինքն՝ ինչպես DB հարաբերում է BE-ին, այնպես էլ GB-ն՝ BF-ին։
Կազմենք նոր FE զուգահեռագիծը։ Քանի որ , AB զուգահեռագիծը հավասար է BC զուգահեռագծին, իսկ FE-ը այլ (զուգահեռագիծ) է, ապա ինչպես AB զուգահեռագիծը է հարաբերվում է FE զուգահեռագծին, այնպես էլ (զուգահեռագիծ) BC-ն՝ FE-ին [Պնդ. 5.7]։Ավելին, ինչպես AB զուգահեռագիծը FE զուգահեռագծին է հարաբերում, այնպես էլ DB հարաբերում է BE-ին, BC-ն FE-ին, այնպես էլ GB-ն՝ BF-ին[Պնդ. 6.1]։ Հետևաբար, DB և BE հարաբերությունը հավասար է, GB և BF զուգահեռագծերի հարաբերությունը։Արդյունքում, AB և BC զուգահեռագծերի համապատասխանաբար հավասար անկյունների շուրջ գտնվող կողմերը փոխադարձաբար համեմատական են միմյանց։ Ինչպես DB հարաբերում է BE զուգահեռագծին, այնպես էլ GB զուգահեռագիծը BF զուգահեռագծին։ Հետևաբար, AB զուգահեռագիծը հավասար է BC զուգահեռագծին։ DB և BE հարաբերվում են այնպես, ինչպես GB և BF-ին, ավելին, ինչպես DB-ն է BE-ին, այնպես էլ AB զուգահեռագիծը՝ FE զուգահեռագծին, և ինչպես GB-ն՝ BF-ին, այնպես էլ BC զուգահեռագիծը՝ FE զուգահեռագծին[Պնդ. 6.1]: Հետևաբար, ինչպես AB և FE զուգահեռագծերի հարաբերությունն է, այնպես էլ BC և FE զուգահեռագծերինը [Պնդ. 5.11]։ Հետևաբար, AB զուգահեռագիծը հավասար է BC զուգահեռագծին [Պնդ. 5.9]։ Այսպիսով, հավասար և հավասարանկյուն զուգահեռագծերում հավասար անկյուններին համապատասխան կողմերը փոխադարձաբար համեմատական են։ Այդ հավասարանկյուն զուգահեռագծերը իրար հավասար են, քանի որ հավասար անկյունների կողմերը փոխադարձաբար համեմատական են են: Ինչը հենց պահանջվում էր ապացուցել։
Պնդում 15
Հավասար եռանկյուններում, որոնց համապատասխան մի անկյունը հավասար է, ապա այդ անկյունների կողմերը փոխադարձ համեմատական են։ Եվ այդ եռանկյունների հավասար անկյունների համապատասխան կողմերը փոխադարձ համեմատական են և հավասար: Դիցուք, ABC և ADE հավասար եռանկյուններ են, ուստի, մի անկյունը՝ BAC հավասար է համապատասխան DAE անկյանը։ABC և ADE եռանկյունների հավասար անկյունների շուրջ գտնվող կողմերը փոխադարձ համեմատական են, այսինքն՝ ինչպես CA-ն է AD-ին հարաբերվում, այնպես էլ EA-ն՝ AB-ին։
CA գիծը գծենք այնպես, որ լինի AD-ի ուղիղ շարունակությունը։ Հետևաբար, EA-ն նույնպես AB-ի ուղիղ շարունակությունն է [Պնդ. 1.14]։ B-ից ուղիղ գիծ իջեցնենք D-ին։ Քանի որ, ABC եռանկյունը հավասար է ADE եռանկյանը, իսկ BAD այլ (եռանկյուն) է, ապա ինչպես CAB եռանկյունը հարաբերում է BAD եռանկյանը, այնպես էլ EAD՝BAD-ին[Պնդ. 5.7]։ Ավելին, ինչպես CAB և BAD եռանկյունների հարաբերությունը նունն է, ինչ CA և AD հարաբերությունը, և ինչպես EAD և BAD եռանկյուններինը, այնպես էլ EA և AB հարաբերությունն է[Պնդ. 6.1]։ Եվ հետևաբար, ինչպես CA-ն է AD-ին հարաբերվում, այնպես էլ EA-ն՝ AB-ին։ Հետևաբար, ABC և ADE եռանկյունների հավասար անկյունների շուրջ գտնվող կողմերը փոխադարձ համեմատական են։ Եվ այսպես, թող ABC և ADE եռանկյունների կողմերը փոխադարձ համեմատական լինեն, և CA և AD հարաբերությունը լինի, ինչպես EA և AB- ի հարաբերակցությունը։ Ուստի, ABC եռանկյունը հավասար է ADE եռանկյանը։ Քանի որ BD միացնելով կազմել էինք նոր եռանկյուն, ապա CA և AD հարաբերությունը նույնն է, ինչ EA և AB-ինը: Ավելին ինչպես CA հարաբերում է AD-ին, այնպես էլ ABC եռանկյունը հարաբերում է BAD եռանկյանը, և ինչպես EA և AB հարաբերությունը, այնպես էլ EAD և BAD եռանկյուններինը [Պնդ. 6.1]: Այնուհոտև դիտարկենք ABC և BAD հարաբերությունը, որը նույն է ինչ EAD և BAD եռանկյունների հարաբերությունը։ Հետևաբար, ABC և EAD (եռանկյուններից) յուրաքանչյուրը նույն հարաբերությունը ունեն BAD եռանկյան հետ։ Հետևաբար, ABC և EAD եռանկյունները միմյանց հավասար են[Պնդ. 5.9]։ Այսպիսով, Հավասար եռանկյուններում, որոնց համապատասխան մի անկյունը հավասար է, ապա այդ անկյունների կողմերը փոխադարձ համեմատական են։ Եվ այդ եռանկյունների հավասար անկյունների համապատասխան կողմերը փոխադարձ համեմատական են և հավասար: Ապացուցեցինք, ինչ պահանջվում էր։
Պնդում 16
Եթե չորս ուղիղ գծեր համաչափ են, ապա (երկու) արտաքին կողմերով կազմված ուղղանկյունը հավասար է (երկու) միջին կողմերով կազմված ուղղանկյանը։ Եվ եթե այդ ուղղանկյունները իրար հավասար են, ապա, չորս ուղիղ գծերը կլինեն համաչափ։
Դիցուք, AB, CD, E և F չորս համաչափ ուղիղ գծեր են (այնպես, որ ինչպես AB հարաբերում է CD հատվածին, այնպես էլ E հատվածի հարաբերությունը F հատվածին)։ AB և F ուղիղ գծերով կազմված ուղղանկյունը հավասար կլինի CD և E հատվածներով կազմված ուղղանկյանը։ A և C կետերից տանենք ուղիղ գիծ, արդյունքում ստանալով AG և CH գծերը, որոնք ուղղահայաց կլինեն AB և CD կողմերին(համապատասխանաբար) [Պնդ. 1.11]։ AG հատվածի երկարությունը հավասար է F հատվածի երկարությանը, իսկ CH՝ E հատվածի երկարությանը [Պնդ. 1.3]։ Այնուհետև կազմենք BG և DH ուղղանկյունները։ Ինչպես նշվեց, AB և CD հարաբերակցությունը նույնն է, ինչ E և F հատվածներինը, իսկ E հատվածը հավասար է CH կողմին, իսկ F-ը՝ AG հատվածի երկարությանը, ապա ինչպես AB հարաբերվում CD կողմին, այնպես էլ CH՝ AG-ին։ Այսպիսով, BG և DH ուղղանկյունների հավասար անկյունների շուրջ գտնվող համապատասխանաբար կողմերը փոխադարձ համեմատական են։ Եվ այն հավասարանկյուն ուղղանկյունները, որոնց հավասար անկյունների շուրջ գտնվող կողմերը փոխադարձ համեմատ են, հավասար են [Պնդ. 6.14]։ Հետևաբար, BG ուղղանկյունը հավասար է DH ուղղանկյանը։ BG ուղղանկյունը AB և F ուղիղ գծերով կազմված ուղղանկյունն է, քանի որ AG կողմի երկարությունը հավասար է F հատվածի երկարությանը։ Եվ DH ուղղանկյունը CD և E հատվածներով (ուղիղ գծերով) կազմված ուղղանկյունն է, քանի որ E հատվածը հավասար CH կողմին։ Հետևաբար, AB և F ուղիղ գծերով կազմված ուղղանկյունը հավասար է CD և E ուղիղ գծերով կազմված ուղղանկյանը։ Եվ այսպես, AB և F հատվածներով կազմված ուղղանկյունը հավասար լինի CD և E հատվածներով կառուցված ուղղանկյանը։ Այսպիսով, այդ չորս ուղիղ գծերը կլինեն համաչափ (այնպես, որ ինչպես AB հարաբերի CD կողմին, այնպես էլ E՝ F-ին)։ Այսպիով, AB և F ուղիղներով կազմված ուղղանկյունը հավասար է CD և E ուղիղներով կազմված ուղղանկյանը։ Ինչպես նաև նշենք, որ BG ուղղանկյունը AB և F հատվածներով կազմված ուղղանկյունն է, քանի որ AG-ը հավասար է F-ին։ Եվ DH-ը CD և E ուղիղ գծերի պարունակած ուղղանկյունն է, քանի որ CH-ը հավասար է E-ին։ Հետևաբար, BG ուղղանկյունը հավասար է DH ուղղանկյանը և դրանք նաև հավասարանկյուն են։ Հավասար և հավասարանկյուն ուղղանկյուններում համապատասխան հավասար անկյունների շուրջ գտնվող կողմերը փոխադարձ համեմատական են [Պնդ. 6.14]։ Հետևաբար, ինչպես AB հարաբերում CD կողմին, այնպես էլ CH կողմը AG կողմին։ Եվ CH հավասար է E-ին, իսկ AG-ը՝ F-ին։ Հետևաբար, ինչպես AB և CD հարաբերությունը, այնպես էլ E և F հատվածների հարաբերությունն է։ Այսպիսով, եթե չորս ուղիղ գծեր համաչափ են միմյանց, ապա (երկու) արտաքին ուղիղ գծերով կազմված ուղղանկյունը հավասար է միջին ուղիներով կազմված ուղղանկյանը։ Եվ եթե այդ ուղղանկյունները միմյանց հավասար են, ապա չորս ուղիղ գծերը կլինեն համաչափ։ Ինչը հենց պահանջվում էր ցույց տալ։
Պնդում 17
Եթե երեք ուղիղ գծեր համաչափ են միմյանց, ապա տրված (երկու) արտաքին հատվածներով կազմված ուղղանկյունը հավասար է միջին հատվածներով կազմված քառակուսուն։ Եվ եթե այդ ուղղանկյունը հավասար է քառակուսուն, ապա տվյալ երեք ուղիղ գծերը կլինեն համաչափ։
Դիցուք , A, B և C երեք համաչափ ուղիղ գծերեն (այնպես, որ ինչպես A հատվածն է հարաբերում B հատվածին, այնպես էլ B հատվածը C-ին)։ Ուստի, կարող եմ ասել ,որ A և C ուղիղ գծերով կառուցված ուղղանկյունը հավասար է B հատվածով կազմված քառակուսուն։
Ուստի, D հատվածը հավասար են B հատվածին [Պնդ. 1.3]։
Ինչպես A հատվածը հարաբերում է B հատվածին, այնպես էլ B հատվածը C հատվածին , իսկ B հավասար է D-ին, ապա ինչպես A կհարաբերի B-ին, այնպես էլ D-ն C-ին։ Եթե չորս ուղիղ գծերը համաչափ են, ապա (երկու) արտաքին ուղիղ գծերով կազմված ուղղանկյունը հավասար է միջին ուղիղ գծով կառուցված ուղղանկյանը [Պնդ. 6.16]։ Հետևաբար, A և C ուղիղ գծերով կազմած ուղղանկյունը հավասար է B և D ուղիղ գծերի պարունակած ուղղանկյունին։ Բայց B և D ուղիղ գծերով կառուցված ուղղանկյանը, որը B հատվածով կազմված քառակուսին է, քանի որ B-ն հավասար է D-ին։ Հետևաբար, A և C ուղիղ գծերով կազմած ուղղանկյունը հավասար է B ուղիղ գծով կառուցված քառակուսուն։
Եվ այսպես, թող A և C ուղիղ գծերով կազմած ուղղանկյունը հավասար լինի B ուղիղ գծով կազմած քառակուսուն։ Նշեմ, որ ինչպես A հարաբերում B հատվածին, այնպես էլ B-ն է C-ին։
Ուստի, A և C ուղիղ գծերի կազմած ուղղանկյունը հավասար է B հատվածով կազմված քառակուսուն։ B հատվածով կազմված քառակուսին B և D ուղիղ գծերի կազմած ուղղանկյունն է, քանի որ B-ն հավասար է D-ին։ A և C ուղիղ գծերով կառուցված ուղղանկյունը հավասար է B և D ուղիղներով կազմած ուղղանկյանը։ Եվ եթե (երկու) արտաքին հատվածների կազմած ուղղանկյունը հավասար է միջին հատվածներով կազմած ուղղանկյանը, ապա չորս ուղիղ գծերը համաչափ են [ապնդ. 6.16]։ Հետևաբար, ինչպես A կհարաբերի B-ին, այնպես էլ D՝C-ին, իսկ B հատվածը հավասար է D հատվածին։ Հետևաբար, ինչպես A կհարաբերվի B-ին, այնպես էլ B ՝C-ին։
Այսպիսով, Եթե երեք ուղիղ գծեր համաչափ են միմյանց, ապա տրված (երկու) արտաքին հատվածներով կազմված ուղղանկյունը հավասար է միջին հատվածներով կազմված քառակուսուն։ Եվ եթե այդ ուղղանկյունը հավասար է քառակուսուն, ապա տվյալ երեք ուղիղ գծերը կլինեն համաչափ: Ապացուցեցինք, ինչըպահանջվում էր:
Պնդում 18
Նկարագրել ուղղագիծ պատկեր, որը նման է տրված ուղղագծային պատկերին:
Դիցուք, AB տրված ուղիղ գիծն է,իսկ CE՝ տրված ուղղագծային պատկերը։ Անհրաժեշտ է նկարագրել ուղղագծային պատկեր, որը նման է CE ուղղագծային պատկերը ,որը կազմված կլինի AB ուղիղ գծի վրա: D միացնենք F-ին, GAB անկյունը, որը հավասար է C անկյանը, և ABG անկյունը, որը հավասար է CDF անկյանը, այնուհետև A և B կետերով տարած ուղիղ գիծը՝ համապատասխանաբար [Պնդ. 1.23]։ Այսպիսով, CFD անկյունը հավասար է AGB անկյանը [Պնդ. 1.32]։ Հետևաբար, FCD եռանկյունը հավասարանկյուն է GAB եռանկյանը։ Այսպիսով, համապատասխանաբար, ինչպես FD հարաբերում է GB-ին, այնպես էլ FC ՝GA-ին, իսկ CD-ն՝ AB-ին [Պնդ. 6.4]։ Այսպիսով, BGH անկյունը, որը հավասար է DFE և GBH անկյանը, որը հավասար է FDE անկյանը, կկառուցվեն ուղիղ գծի՝ BG-ի G և B կետերում համապատասխանաբար [Պնդ. 1.23]։ Այսպիսով, E առընթեր անկյունը հավասար է H առընթեր անկյանը [Պնդ. 1.32]։ Հետևաբար, FDE եռանկյունը հավասարանկյուն է GHB եռանկյանը։ Այսպիսով, համապատասխանաբար, ինչպես FD և GB մհարաբերվում, այնպես էլ FE և GH-ն, իսկ ED-ն՝ HB-ին [Պնդ. 6.4]։ Ավելին, որ ինչպես FD և GB հարաբերությունն է, այնպես էլ FC և GA ունեն նույն հարաբերությունը, CD և AB նույնպես։ Հետևաբար, ինչպես FC-ն GA-ին է հարաբերում, այնպես էլ CD՝ AB-ին, և FE-ն՝ GH-ին, և, վերջապես, ED-ն՝ HB-ին։ Քանի որ, CFD անկյունը հավասար է AGB անկյանը, իսկ DFE անկյունը՝ BGH անկյանը, ապա ամբողջ CFE անկյունը հավասար կլինի ամբողջական AGH անկյանը։ Նույն կերպ, CDE անկյունը հավասար է ABH անկյանը։ C անկյունը նույնպես հավասար է A անկյանը, իսկ E անկյունը՝ H անկյանը։ Այսպիսով, AH պատկերը հավասարանկյուն է CE-ին։ Երկու պատկերների հավասար անկյուններին համապատասխան կողմերը համաչափ են։ Հետևաբար, AH ուղղագիծ պատկերը նման է CE ուղղագծային պատկերին [Սահմ. 6.1]։ Այսպիսով, AH ուղղագիծ պատկերը նման է CE ուղղագծային պատկերին, որը կառուցված է AB ուղիղ գծի վրա: Ապացուցեցինք, ինչը պահանջվում էր:
Պնդում 19
Նման եռանկյունները մեկմեկու ունեն համապատասխան կողմերի քառակուսի հարաբերություն:
Դիցուք, ABC և DEF նման եռանկյուններ են, որտեղ B անկյունը հավասար է E անկյանը, իսկ AB հարաբերում է BC կողմին այնպես, ինչպես DE հարաբերում է EF կողմին, ընդ որում BC-ը համընկնում է EF-ի հետ։ Ուստի, ABC եռանկյունը ունի քառակուսի հարաբերություն DEF եռանկյան հետ՝ BC և EF կողմի քառակուսի հարաբերությամբ։ BG ուղիղ գիծը գծենք այնպես, որ համեմատական լինի BC և EF-ի հետ, որպեսզի ինչպես BC և EF հարաբերությունը լինի, այնպես ինչպես EF՝ BG-ին [Պնդ. 6.11]։ Եվ թող A կետից հիմքին տանենք ուղիղ ։ Հետևաբար, ինչպես AB հարաբերում է BC-ին, այնպես էլ DE՝ EF-ին, հետևաբար՝ փոխադարձաբար, ինչպես AB հարաբերում է DE-ին, այնպես էլ BC-ը՝ EF-ին[Պնդ. 5.16]։ BC և EF հարաբերվում են այնպես, ինչպես EF-ը՝BG-ին։ AB և DE հարաբերվում են, ինչպես EF՝ BG կողմին։ Հետևաբար, ABG և DEF եռանկյունների համապատասխանաբար հավասար անկյունների կողմերը, հակադարձ համեմատություն ունեն։ Եվ այն եռանկյունները, որոնք ունեն հավասար անկյուն և այդ անկյունների շուրջ գտնվող կողմերը հակադարձ համամասնություն ունեն, ապա այդ եռանկյունները հավասար են [Պնդ. 6.15]։ Ուստի, ABG եռանկյունը հավասար է DEF եռանկյանը ։ Եվ քանի որ , BC հարաբերում է EF-ին , այնպես էլ EF-ը՝ BG-ին, և եթե երեք ուղիղ գծերը համաչափ են, ապա առաջինը ունի քառակուսի հարաբերություն երրորդի, երկրորդի հետ [Սահմ. 5.9], հետևաբար BC-ն ունի քառակուսի հարաբերություն BG-ի հետ՝ կապված CB-ի՝ EF-ի հե։տ Եվ ինչպես CB հարաբերում է BG-ին, այնպես էլ ABC եռանկյունը ABG եռանկյանը [Պնդ. 6.1]։ Հետևաբար, ABC եռանկյունը նույնպես ունի քառակուսի հարաբերություն ABG եռանկյան հետ, ինչը կապված BC և EF-ի հարաբերությամբ։ Ուստի, ABG եռանկյունը հավասար է DEF եռանկյանը: Հետևաբար, ABC եռանկյունը նույնպես ունի քառակուսի հարաբերություն DEF եռանկյան հետ, որը արտահայտվում է BC-ի և EF-ի հարաբերությամբ։ Այպիսով, նման եռանկյունները մեկմեկու ունեն համապատասխան կողմերի քառակուսի հարաբերություն։ Ապացուցվեց, ինչը հարկավոր էր:
Հետևանք
Այսպիսով, պարզ է, որ եթե երեք ուղիղ գծերը ունեն նույն համաչափությունը, ապա ինչպես առաջինը ունի հարաբերություն երրորդի հետ, այնպես էլ առաջին կողմի վրա կառուղված պատկերը համարժեք և նման է երկրորդ կողմի հիման վրա կառուցված պատկերին։ Ապացուցվեց:
Պնդում 20
Նման բազմանկյունները կարող են բաժանվել նույն թվով նման եռանկյունների, որոնք համամասն են ամբողջական բազմանկյանը, և բազմանկյունը այլ բազմանկյան հետ քառակուսի հարաբերություն՝ համապատասխանաբար կողմով:
Դիցուք, ABCDE և FGHKL նման բազմանկյուններ են, որտեղ AB կողմը համապատասխանում է FG կողմին։ Նշենք, որ ABCDE և FGHKL բազմանկյունները կարելի է բաժանել նույն թվով նման եռանկյունների, որոնք համամասն են ամբողջական բազմանկյանը, ABCDE բազմանկյունը ունի քառակուսի հարաբերություն FGHKL բազմանկյան նկատմամբ՝ AB և FG կողմերի հարաբերությամբ։ BE, EC, GL և LH գծերը միացնենք իրար։ Քանի որ, ABCDE բազմանկյունը նման է FGHKL բազմանկյանը, BAE անկյունը հավասար է GFL անկյուն, և ինչպես BA հարաբերում է AE-ին, այնպես էլ GF-ը՝ FL-ին [սահման. 6.1]։ Հետևաբար, քանի որ ABE և FGL երկու եռանկյուններն ունեն մի հավասար անկյուն, կողմեր, որոնք հավասար անկյունների շուրջ համաչափ են, հետևաբար ABE եռանկյունը նման է FGL եռանկյանը [Պնդ. 6.6]։ Այսպիսով՝ (նրանք) նույնպես նման են [Պնդ. 6.4, սահման. 6.1]։ Հետևաբար, անկյուն ABE-ն հավասար է FGL անկյանը։ Եվ ABC անկյունը հավասար է FGH անկյանը՝ հաշվի առնելով բազմանկյունների նմանությունը։ Ուստի, EBC անկյունը հավասար է LGH անկյանը։ Եվ քանի որ, ABE և FGL եռանկյունների նմանության հետևանքով, ինչպես EB-ն է BA-ի նկատմամբ, այնպես էլ LG-ը՝ GF-ի, նաև բազմանկյունների նմանության հետևանքով, ինչպես AB-ն է BC-ին հարաբերում, այնպես էլ FG-ը՝ GH-ին, հետևաբար, հավասարության սկզբունքով, ինչպես EB հարաբերում BC հատվածին, այնպես էլ LG-ը՝ GH-ին [Պնդ. 5.22], և հավասար անկյունների շուրջ կողմերը՝ EBC և LGH, համաչափ են։ Հետևաբար, EBC եռանկյունը հավասանկյուն է LGH եռանկյանը [Պնդ. 6.6]։ Ուստի, EBC եռանկյունը նույնպես նման է LGH եռանկյանը [Պնդ. 6.4, սահման. 6.1]։ Այսպիսով, նույպես, ECD եռանկյունը նույնպես նման է LHK եռանկյանը։ Ուստի, նման բազմանկյունները՝ ABCDE և FGHKL, բաժանված են հավասար թվով նման եռանկյունների։ Նաև նշենք, որ (եռանկյունները) համամասն են ամբողջական բազմանկյան հետ։ ABE, EBC և ECD եռանկյունները համաչափ են. եռանկյունները առաջատար մեծություններն են, և դրանց (համապատասխան) հաջորդող մեծությունները ՝ FGL, LGH և LHK (համապատասխանաբար)։ Նաև, ABCDE բազմանկյունը ունի քառակուսի հարաբերություն FGHKL բազմանկյան նկատմամբ՝ AB և FG համապատասխան կողմերի հարաբերությամբ ։ Միացնենք AC և FH գծերը։ ABC անկյունը հավասար է FGH անկյանը, և ինչպես AB հարաբերում է BC-ին, այնպես էլ FG-ը՝ GH-ին, բազմանկյունների նմանությունից օգտվելով, ABC եռանկյունը հավասանկյուն է FGH եռանկյանը [Պնդ. 6.6]։ Հետևաբար, անկյուն BAC-ն հավասար է GFH անկյանը, և BCA-ն՝ GHF-ին։ Եվ քանի որ, BAM անկյունը հավասար է GFN-ին, ABM՝ FGN-ին (տես նախորդը), հետևաբար, անկյուն AMB-ն նույնպես հավասար է FNG անկյանը[Պնդ. 1.32]։ Ուստի, ABM եռանկյունը նույնպես հավասանկյուն է FGN եռանկյանը։ Նմանապես կարող ենք ցույց տալ, որ եռանկյուն BMC-ն նույնպես հավասանկյուն է GNH եռանկյանը։ Ուստի համաչափորեն, ինչպես AM հարաբերում է MB-ին, այնպես էլ FN-ը՝ NG-ին, և ինչպես BM-ն է հարաբերվում MC-ին, այնպես էլ GN-ը՝ NH-ի [Պնդ. 6.4]։ Հետևաբար, հավասարության սկզբունքով, ինչպես AM-ն է MC-ի նկատմամբ հարաբերվում, այնպես էլ FN-ը՝ NH-ին [Պնդ. 5.22]։ Սակայն, ինչպես AM և MC հարաբերությունն է, այնպես էլ ABM և MBC, AME և EMC եռանկյուններինը։ Նրանց հիմքերը համեմատական համաչափ են մեկը մյուսի նկատմամբ [Պնդ. 6.1]։ Եվ ինչպես առաջնահերթ մեծություններն են հարաբեվում է երկրորդական մեծություններին, այնպես էլ բոլոր առաջնահերթ մեծությունների գումարը համեմատական է երկրորդականների գումարին[Պնդ. 5.12]։ Հետևաբար, ինչպես AMB և BMC եռանկյունների հարաբերությունն է, այնպես էլ ABE և CBE եռանկյուններինը։Ավելին, ինչպես եռանկյուն AMB հարաբերվում է BMC-ին, այնպես էլ AM՝MC-ին։ Հետևաբար, ինչպես AM՝ MC-ին, այնպես էլ եռանկյուն ABE՝EBC եռանկյանը։ Նմանապես, ինչպես FN կհարաբեվի NH-ին, այնպես էլ FGL եռանկյունը GLH եռանկյանը։ AM և MC հարաբերությունը այնպես է, ինչպես FN և NH։ Հետևաբար, ինչպես ABE եռանկյունն է BEC-ին հարաբերվում, այնպես էլ FGL եռանկյունը GLH-ին, և փոխադարձաբար, ինչպես ABE և FGL եռանկյունները, այնպես էլ եռանկյուն BEC՝ GLH-ին [Պնդ. 5.16]։ Նմանապես կարող ենք ցույց տալ՝ միացնելով BD և GK գծերը, այնուհետև կստացվի որ, ինչպես BEC եռանկյունն է հարաբերւմ LGH եռանկյանը, այնպես էլ եռանկյուն ECD-ն՝ LHK-ին։ ABE և FGL եռանկյունների հարաբերությունը հավասար է EBC և LGH, ECD և LHK եռանկյունների հարաբերությանը, և ինչպես առաջնահերթ մեծություններն են հարաբեվում է երկրորդական մեծություններին, այնպես էլ բոլոր առաջնահերթ մեծությունների գումարը համեմատական է երկրորդականների գումարին [Պնդ. 5.12]: Հետևաբար, ինչպես եռանկյուն ABE հարաբերում է FGL-ին, այնպես էլ ABCDE և FGHKL բազմանկյուննները միմյանց։ ABE և FGL եռանկյունները ունեն քառակուսի հարաբերություն ՝ համապատասխան AB և FG կողմերի հարաբերությամբ։ Նման եռանկյունները համապատասխան կողմերը ունեն քառակուսի հարաբերություն[Պնդ. 6.14]։ Հետևաբար, ABCDE բազմանկյունը նույնպես քառակուսի հարաբերություն ունի FGHKL բազմանկյան նկատմամբ՝ համապատասխան AB և FG կողմերի միջև։ Այսպիսով, նման բազմանկյունները կարելի է բաժանել հավասար թվով նման եռանկյունների, որոնք համաչափ են ամբողջականի հետ, և համապատասխան կողմերի շնորհիվ բազմանկյունները ունեն քառակուսի հարաբերություն։ Ապացուցեցինք այն, ինչը պահանջվում էր ցույց տալ։
Հետևանք
Եվ նույն կերպով կարելի է ցույց տալ նաև, որ նման քառանկյունները ունեն համապատասխան կողմերի միջև քառակուսի հարաբերություն։ Եվ սա արդեն ցույց է տրվել եռանկյունների համար։ Հետևաբար, ընդհանուր առմամբ, նման ուղիղանկյուն պատկերները նույնպես իրար նկատմամբ ունեն համապատասխան կողմերի միջև քառակուսի հարաբերություն։ Ապացուցվեց:
Պնդում 21
Ոււղղագիծ պատկերները, որոնք նման են միևնույն ուղղագծին, նույնպես միմյանց նման են:
Դիցուք, A և B ուղղագիծ պատկերները նման լինեն C ուղղագիծ-ուղղանկյունաձև պատկերին։ Պետք է ցույց տալ, որ A-ն նույնպես նման է B-ին։ Քանի որ A պատկերը նման է C-ին, ապա A համանկյուն է C-ին և ունի հավասար անկյունների կողմերին համաչափ (համապատասխանող) կողմեր [Սահմ. 6.1]։Նույն կերպ, ինչպես B-ն նման է C-ին, ապա B-ն նույնպես համանկյուն է C-ին և ունի հավասար անկյունների կողմերին համաչափ կողմեր [Սահմ. 6.1]։ Այսպիսով, A և B պատկերները երկուսն էլ համանկյուն են C-ին և ունեն հավասար անկյունների կողմերին համաչափ կողմեր [Ուստի, A-ն նույնպես համանկյուն է B-ին և ունի հավասար անկյունների կողմերին համաչափ կողմեր]։ Այսպիսով, A ուղղագիծ պատկերը նման է B պատկերին[Սահմ. 6.1]։ Ապացուցվեց, ինչը որ պահանջվում էր:
Պնդում 22
Եթե չորս ուղիղ գծերը համաչափ են, համանման և նույն կերպ նկարագրված գծված, ապա իրենցով կազմված ուղղագիծ պատկերները նույնպես համաչափ կլինեն: Եվ եթե նմանատիպ և նույն կերպ նկարագրված ուղղագիծ պատկերները (գծված) համաչափ են, ապա ուղիղ գծերն իրենք նույնպես համաչափ կլինեն:
Դիցուք, AB, CD, EF և GH չորս համեմատական ուղիղ գծեր են՝ այնպես, որ AB հարաբերում է CD-ին այնպես, ինչպես EF՝GH-ին: Եվ թող AB և CD գծերի վրա կառուցված լինեն KAB և LCD ուղղագծային պատկերները, որոնք նման են և դրված են նմանապես, իսկ EF և GH գծերի վրա կառուցված լինեն MF և NH ուղղագծային պատկերները, որոնք նույնպես նման են և դրված են նմանապես:Նշենք, որ KAB հարաբերի LCD-ին է, ինչպես MF՝ NH-ին: Դիցուք, O ուղիղ գիծը, որը համեմատական է AB և CD գծերին, և P՝ երրորդ ուղիղ գիծ, որը համեմատական է EF և GH գծերին [Պնդ. 6.11]: Եվ քանի որ AB հարաբերում է CD-ին այնպես, ինչպես EF՝GH-ին, և CD՝O-ին, GH՝P-ին, ապա հավասարության սկզբունքով՝ AB կհարաբերի O-ին, ինչպես EF՝P-ին [Պնդ. 5.22]:Ավելին, ինչպես AB հարաբերում O-ին, այնպես էլ KAB՝LCD-ին, ինպես EF՝ P-ին, այնպես էլ MF՝NH-իմ [Պ նդ. 5.19՝]: Եվ, հետևաբար, KAB կհարաբերի LCD-ին, ինչպես MF՝NH-ին: Դիցուք, KAB և LCD հարաբերությունը հավասար է MF և NH հարաբերությանը: Ասում եմ նաև, որ AB հարաբերում էCD-ին, ինչպես EF՝GH-ին: Եթե AB հարաբերում է CD-ին , իսկ EF՝GH-ին ոչ, ապա նշենք, որ AB և CD-ի հարաբերությունը հավասար կլինի EF և QR հարաբերությանը [Պնդ. 6.12]: Եվ թող QR գծի վրա կառուցված լինի SR ուղղագծային պատկերը, որը նման է և նմանապես դրված է MF-ի կամ NH-ինլատմամբ [Պնդ. 6.18, 6.21]: Եվ քանի որ AB՝ CD-ին հարաբերում է, ինչպես EF՝QR-ին, ապա AB և CD գծերի վրա կառուցված KAB և LCD նման և նմանապես դրված ուղղագծային պատկերները համեմատական են , EF և QR գծերի վրա կառուցված MF և SR նման պատկերների հետ, հետևաբար KAB հարաբերվում է LCD-ին, ինչպես MF՝ SR-ին: Ենթադրվում է, որ KAB կհարաբերի LCD-ին, ինչպես MF՝NH-ին: Հետևաբար, MF հարաբերում է SR-իմ, ինչպես MF՝NH-ին [Պնդ. 5.11]: MF և NH հարաբերությունը հավասար է SR և NH հարաբերությանը: Հետևաբար, NH-ը հավասար է SR-ին [Պնդ. 5.9]: Եվ NH-ը նման է և նմանապես դրված է SR-ին: Հետևաբար, GH-ը հավասար է QR-ին: Եվ քանի որ AB հարաբերում է CD-ին, ինչպես EF՝QR-ին, իսկ QR-ը հավասար է GH-ին, հետևաբար AB հարաբերում է CD-ին, ինչպես EF՝GH-ին: Այսպիսով, եթե չորս ուղիղ գծերը համաչափ են, համանման և նույն կերպ նկարագրված գծված, ապա իրենցով կազմված ուղղագիծ պատկերները նույնպես համաչափ կլինեն: Եվ եթե նմանատիպ և նույն կերպ նկարագրված ուղղագիծ պատկերները (գծված) համաչափ են, ապա ուղիղ գծերն իրենք նույնպես համաչափ կլինեն: Ապացուցվեց այն, ինչը հարկավոր էր ցույց տալ: