Սկզբունք == Պնդում 15==
Եթե ունենք մեկ չափանիշ որը հավասար է որևէ թվի, և ունենք մեկ այլ թիվ որը մի քանի անգամ մեծ է և հավասար է մի քանի անգամ մեծ չափանիշի, ապա կարող ենք ասել որ, առաջինը թիվը հարաբերում է երկրորդ թվին այնպես, ինչպես առաջին չափանիշը երկրորդ չափանիշին:
Oրինակ, համարենք, որ A -ն համարժեք է BC չափին, և D-ն որը մի քանի անգամ մեծ է A-ից համարժեք լինի EF- ին, որը նույնքան անգամ մեծ է BC-ից: Քանի որ A -ն համարժեք է BC չափին, և D-ն որը մի քանի անգամ մեծ է A-ից համարժեք է EF- ին, ապա կարող ենք ասել, որ որքան չափ կա BC-ում, նույնքան կա EF-ում, որը հավասար է D ին: Եթե BC-ն բաժանենք BG, GH և HC, իսկ EF-ը EK, KL, LF մասերի, ապա կարող ենք նկատել, որ նրանք միմյանց համարժեքորեն հարաբերում են: Այսինքն, BG հարաբերում է EKին, ինչպես GH KL-ին, ինչպես HC-ն LF-ին: Այսպիսով, կարող ենք եզրակացնել, որ այն թվերը որը համապատասխանորեն համարժեք են այդ թվերին նույնպես հարաբերում են: Այսպիսով, A-ն հարաբերում է D-ին, ինչպես BG-ն EK-ին, ինչպես GH-ն KL-ին, ինչպես HC-ն LF-ին, որը և պետք էր ապացուցել:
Oրինակ, համարենք, որ A -ն համարժեք է BC չափին, և D-ն որը մի քանի անգամ մեծ է A-ից համարժեք լինի EF- ին, որը նույնքան անգամ մեծ է BC-ից: Քանի որ A -ն համարժեք է BC չափին, և D-ն որը մի քանի անգամ մեծ է A-ից համարժեք է EF- ին, ապա կարող ենք ասել, որ որքան չափ կա BC-ում, նույնքան կա EF-ում, որը հավասար է D ին: Եթե BC-ն բաժանենք BG, GH և HC, իսկ EF-ը EK, KL, LF մասերի, ապա կարող ենք նկատել, որ նրանք միմյանց համարժեքորեն հարաբերում են: Այսինքն, BG հարաբերում է EKին, ինչպես GH KL-ին, ինչպես HC-ն LF-ին: Այսպիսով, կարող ենք եզրակացնել, որ այն թվերը որը համապատասխանորեն համարժեք են այդ թվերին նույնպես հարաբերում են: Այսպիսով, A-ն հարաբերում է D-ին, ինչպես BG-ն EK-ին, ինչպես GH-ն KL-ին, ինչպես HC-ն LF-ին, որը և պետք էր ապացուցել:
Սկզբունք == Պնդում 16==
Եթե երկու թվեր բազմապատկենք միմյանցով և ստանանք մի քանի թվեր, ապա այդ մի քանի թվերը միմյանց հավասար կլինեն:
Թող A և B լինեն երկու թվեր: Ենթադրենք, A-ն ստեղծում է C-ն՝ բազմապատկելով B-ով, և B-ն ստեղծում է D-ն՝ բազմապատկելով A-ով: Կարող ենք պնդել,, որ C-ն հավասար է D-ին:
Քանի որ A-ն ստեղծել է C-ն՝ բազմապատկելով B-ով, ուրեմն B-ն չափում է C-ն ըստ A-ի միավորների: Եվ E միավորը նույնպես չափում է A թիվը՝ ըստ նրա մեջ գտնվող միավորների: Ուրեմն E միավորը չափում է A թիվը նույնքան անգամ, որքան B-ն չափում է C-ն:
Ուրեմն փոխադարձաբար, E միավորը չափում է B թիվը նույնքան անգամ, որքան A-ն չափում է C-ն:
Եվ E միավորը չափում է B թիվը նույնքան անգամ, որքան A-ն չափում է C-ն: Ուրեմն A-ն նույնքան անգամ չափում է C-ն և D-ն: Հետևաբար, C-ն հավասար է D-ին, Ինչը և պետք էր ապացուցել:
Սկզբունք == Պնդում 17 == Եթե մի թիվ բազմապատկելով երկու թվերով ստանանք այլ թվեր, ապա նրանցից առաջացած թվերը կունենան նույն հարաբերությունը, ինչ բազմապատկվող թվերը :
Քանի որ D և E թվերը ստացել ենք բազմապատկելով երկու թվերը՝ B և C (համապատասխանաբար), կարելի է պնդել, որ ինչպես B-ն է հարաբերում C-ին, այնպես էլ D-ն կհարաբերի E-ին:
Քանի որ D թիվը ստացվել է A բազմապատկելով B-ն, ուրեմն B-ն չափում է D-ն՝ ըստ A-ի միավորների: Եվ F միավորը նույնպես չափում է A-ն՝ ըստ նրա մեջ գտնվող միավորների: Ուրեմն F միավորը չափում է A-ն նույնքան անգամ, որքան B-ն չափում է D-ն:
Սկզբունք 19 == Պնդում 18 ==
Եթե չորս թվեր համեմատական են միմյանց, ապա առաջին և չորրորդ թվերի բազմապատկումից ստացված թիվը կլինի հավասար երկրորդի և երրորդի բազմապատկումից ստացված թվին: Եվ եթե առաջինի և չորրորդի բազմապատկումից ստացված թիվը հավասար է երկրորդի և երրորդի բազմապատկումից ստացված թվին, ապա այդ չորս թվերը կլինեն համեմատական:
Օրինակ, A, B, C և D համեմատական թվեր են: Ենթադրենք ինչպես A-ն է հարաբերում B-ին, այնպես էլ C-ն է D-ին: A-ն բազմապատկելով D-ն կստանք E թիվը, իսկ B-ն բազմապատկելով C- թվին կստանանք F թիվը: Կարելի է պնդել, որ E-ն հավասար է F-ին:
Դիցուք, A-ն C-ով բազմապատկելով ստացվում է G թիվը: Քանի որ A-ից ստացվել է G թիվը C-ով բազմապատկելո և E թիվը D-ով բազմապատկելո, ապա A-ից ստացվել են է G և E թվերը համապատասխանաբար բազմապատկվելով C և D թվերի հետ: Ուրեմն ինչպես C-ն է հարաբերում D ին այնպես էլ G-ն է հարաբերում E-ին: Ինչպես C-ն է հարաբերում D-ին , այնպես էլ A-ն է հարաբերում B-ին :Ինչպես A-ն է B-ի հետ հարաբերում, այնպես էլ G-ն է E-ի հետ հարաբերում:
Քանի որ նույն կառուցվածքով E-ն հավասար է F-ին, ուրեմն ինչպես G-ն է E-ի հետ համեմատում, այնպես էլ G-ն է F-ի հետ համեմատում: Ինչպես G-ն է հարաբերում E-ին, այնպես էլ C-ն է հարաբերում D-ին: Եվ ինչպես G-ն է F-ի հանդեպ, այնպես էլ A-ն է B-ի հանդեպ: Այսպիսով, ինչպես A-ն է B-ի հանդեպ, այնպես էլ C-ն է D-ի հանդեպ:
ՍԿզբունք == Պնդում 20==
Թող լինեն ամենափոքր թվերը, որոնք ունեն նույն հարաբերությունը՝ ինչպես A-ն և B-ն: Ասում եմ, որ CD-ն չափում է A-ն այնքան անգամ, որքան և EF-ն չափում է B-ն՝ մեծը՝ մեծին, և փոքրն՝ փոքրին: Այնպես որ, թող CD և EF լինեն ամենափոքր թվերը, որոնք ունեն նույն հարաբերությունը՝ A-ի և B-ի հետ համապատասխանաբար: Ես ասում եմ, որ CD-ն չափում է A-ն նույն քանակությամբ անգամ, որքան EF-ն չափում է B-ն։
Սկզբունք == Պնդում 21==
Դիցուք, A եւ B թվերը պարզ թվեր ենէ : Կարելի է պնդել, , որ A եւ B թվերը, նրանց պես հարաբերություն ունեցող թվերից ամենափոքր թվերն են: Եթե դա այդպես չէ, ապա կլինեն ինչ-որ թվեր, որոնք A եւ B-ից փոքր կլինեն և նրանք կհարաբերեն նույնպես, ինչպես A եւ B-: Թող դրանք լինեն C եւ D:
Ասպիսով, քանի որ այս թվերը նվազագույններն են, որոնք նույն հարաբերությունն ունեն, և մեծ հարաբերությունը չափում է մեծին, և փոքրն այնքանն է, որքան փոքրին՝ այսինքն, ավելի մեծը հարաբերում է ավելի մեծին, իսկ ավելի փոքրը ՝ փոքրին։ Այսպիսով, որքան որ C հարաբերում է Aին, այնքան անգամեր թող լինեն E-ում։ Եվ D-ը, ամփոփելով B-ը, E-ում չափում է ըստ նույն միավորների։ Այսպես, քանի որ C-ը հարաբերում է Aին ըստ E-ում առկա միավորների, E-ն էլ, ըստ C-ի, հարաբերում է Aին նույնչափ ։ Հետևաբար E-ն և B-ը չափում են D-ում առկա միավորներով։ Այնպես որ, հնարավոր չէ, որպեսզի A-ի և B-ից ավելի փոքր թվեր լինեն, որոնք նույն հարաբերությունն ունեն A և B թվերի հետ։ Հետեւաբար, A և B-ն են այդ թվերը, որոնք նույն հարաբերությունն ունեն։ Սա հենց այն բանն է, որը պետք էր ապացուցել:
Սկզբունք == Պնդում 22==
Այն նվազագույն թվերը, որոնք ունեն նույնպիսի հարաբերություն, միմյանց նկատմամբ
Սկզբունք == Պնդում 23==
Եթե երկու թվեր փոխադարձաբար պարզ են, ապա դրանցից մեկը բաժանող թիվը կմնա փոխադարձաբար պարզ մյուս թվի հետ։
Սկզբունք24== Պնդում 24 ==
Եթե երկու թվեր փոխադարձաբար պարզ են որևէ թվի հետ, ապա դրանցից բազմապատկված, ստեղծված թիվը նույնպես փոխադարձաբար պարզ կլինի նույն թվի հետ։
Սկզբունք == Պնդում 25==
Եթե երկու թվեր փոխադարձաբար պարզ են, ապա դրանցից մեկի քառակուսիով ստեղծված թիվը փոխադարձաբար պարզ կլինի մյուսի հետ։
Դիցուք A և B երկու պարզ թվեր են, որոնք փոխադարձաբար պարզ են։ Թող A-ն ինքն իրեն բազմապատկելով ստեղծի C-ն։ Կարելի է պնդել , որ B-ն և C-ն փոխադարձաբար պարզ են։
Այլ կերպ ասած, D-ից և A-ից ստացված թիվը նույնպես փոխադարձաբար պարզ կլինի B-ի հետ։ Եվ C-ն է այն թիվը, որը ստացվում է D-ի և A-ի բազմապատկումով։ Այսպիսով, C-ն և B-ն նույնպես փոխադարձաբար պարզ են։ Սա է այն, ինչ պետք էր ցույց տալ։
Սկզբունք == Պնդում 26==
Եթե երկու թվերն էլ փոխադարձաբար պարզ են երկու թվերի հետ, ապա դրանցից բազմապատկված, ստացված թվերը նույնպես փոխադարձաբար պարզ կլինեն իրար հետ։
Սկզբունք == Պնդում 27==
Եթե երկու թվեր փոխադարձաբար պարզ են իրարից, և յուրաքանչյուրը նրանցից որոշ թիվ է ստեղծում՝ ինքն իրեն բազմապատկելով, ապա դրանցից ստացված թվերը նույնպես կլինեն փոխադարձաբար պարզ։ Եվ եթե սկզբնական թվերը ստեղծեն որոշ թվեր՝ ստեղծված թվերը բազմապատկելով, ապա դրանք ևս կլինեն փոխադարձաբար պարզ։ Սա միշտ տեղի է ունենում ծայրամասերի վերաբերյալ։
Այնպես որ, D և F փոխադարձապես պարզ են։ Սա այն է, ինչ պետք էր ապացուցել։
== Պնդում 28 ==
Սկզբունք 28
Եթե երկու թիվեր պարզ են, ապա նրանց գումարը նույնպես կլինի պարզ յուրաքանչյուրին։ Եվ եթե այդ գումարը պարզ է ինչ-որ մեկի հետ, ապա սկզբնական թվերը նույնպես պարզ կլինեն
Սկզբունք == Պնդում 29 ==
Յուրաքանչյուր պարզ թիվ առաջին է բոլոր այն թվերի հետ, որոնք ինքը չի չափում
Որպեսզի եթե B-ն և A-ն միմյանց նկատմամբ պարզ չեն, ապա մի թիվ կլինի, որը նրանց չափում է։ Թող C-ն չափի նրանց։ Քանի որ C-ն չափում է B-ն, իսկ A-ն չի չափում B-ն, ապա C-ն պետք է տարբեր լինի A-ից։ Եվ քանի որ C-ն չափում է B-ն և A-ն, ապա C-ն պետք է չափի նաև A-ն՝ չնայած նրան, որ չի համընկնում նրա հետ։ Բայց սա անհնար է։ Այնպես որ, չի կարող լինել որևէ թիվ, որը կչափի B-ն և A-ն։ Այդպիսով, A-ն և B-ն միմյանց նկատմամբ պետք է լինեն պարզ։
Սկզբունք == Պնդում 30 ==
Եթե երկու թիվը իրար բազմապատկելով ստանում են ինչ-որ թիվ, և այդ թվից մեկը չափվում է մի պարզ թվով, ապա սկզբնական թվերից մեկը նույնպես պետք է չափվի
Դրանով, ինչպես D-ն A-ին հավասար է, այնպես էլ B-ն E-ին հավասար է: Եվ D-ն ու A թվերը պարզ են միմյանց հետ, ինչպես նաև B-ն ու E-ն:
Սկզբունք == Պնդում 31==
Ուստի, ամեն բաղադրյալ թիվը չափվում է ինչ-որ պարզ թվով։ Դա այն է, ինչ պետք էր ապացուցել:
Սկզբունք == Պնդում 32==
Ամեն թիվ կամ պարզ է, կամ չափվում է ինչ-որ պարզ թվով
Ուստի, ամեն թիվը կամ պարզ է, կամ չափվում է ինչ-որ պարզ թվով: Դա այն է, ինչ պետք էր ապացուցել:
Սկզբունք == Պնդում 33 ==
Թող A, B, և C լինեն ցանկացած տրված թվեր: Պետք է գտնենք նրանցից ամենափոքրին, որոնք ունեն նույն հարաբերակցությունը՝ ինչպես A, B, և C:
Իրականում, եթե A, B և C իրար հետ պարզ են, ապա նրանք կլինեն ամենափոքրն այն թվերից, որոնք ունեն նույն հարաբերակցությունը՝ ինչպես տրված թվերն են:
Սկզբունք == Պնդում 34==
Դիցուք A և B թվերը տրված են։ Պետք է գտնենք այն ամենափոքր թիվը, որը կչափեն երկու տրված թվերը:
Դիցուք, A և B լինի միմյանցից անկախ թվեր են:թող A C ստանա՝ բազմապատկելով B: Այսպիսով, B նույնպես C ստացրեց՝ բազմապատկելով A Այսպիսով, A և B երկուսն էլ չափում են C:
Եվ քանի որ A-ը ստացավ C և D՝ բազմապատկելով E և G համապատասխանաբար, ապա ինչպես E-ն է G-ին, այնպես էլ C-ն է D-ին [Prop. 7.17]: Եվ E-ն հարաբերում է G: Այսպիսով, C-ն նույնպես հարաբերում է D՝ մեծը հարաբերում է փոքրին: Դա անհնար է: Այսպիսով, A և B չեն հարաբերում մի թիվ, որը ավելի փոքր է, քան C: Հետևաբար, C-ն այն ամենափոքր թիվն է, որը հարաբերում են A-ն և B-ն: Սա հենց այն է, ինչ պետք էր ցույց տալ:
Սկզբունք == Պնդում 35==
«Եթէ երկու թվերին հարաբերեն ինչ-որ թիվ, ապա դրանցից ամենափոքրը, որն իրենով հարաբերում է այդ թիվը, նույնպես կհարաբերի նույն թվին:
Սկզբունք == Պնդում 36==
Այսպես, A, B և C երեք տրված թվեր են։ Պետք է գտնել այն ամենափոքր թիվը, որը հարաբերում է նրանց բոլորին:
Եթե E-ն ավելի փոքր է, քան D, ապա ստացվում է, որ E-ն չպետք է լինի ավելի փոքր։ Բայց այս փաստը հնարավոր չէ։ Այնպես որ, մենք պետք է հաստատենք, որ E-ն իսկապես ամենափոքր թիվն է, որը հարաբերում է A, B և C թվերին։
Այսպիսով, մենք ցույց տալիք խնդիրը, որ E-ն ամենափոքր թիվն է, որը հարաբերում է A, B և C թվերին։
Սկզբունք == Պնդում 37==
Եթե մի թիվ չափվում է մեկ այլ թվով, ապա այդ թիվը կունենա մաս, որն անվանվում է նույն անունով, ինչ մյուս թիվը:
Դիցուք A թիվը չափվում է B թվով։ Ես ասում եմ, որ A-ն ունի մաս, որը կոչվում է նույն անունով, ինչ B-ն։ Քանի անգամ B-ն հարաբերում է A-ին, այդքան շատ միավորներ լինեն C-ում։ Քանի որ B-ն չափում է A-ն ըստ C-ի միավորների, և D միավորը նույնպես չափում է C թիվը ըստ նրա մեջ եղած միավորների, ապա D միավորը այնքան անգամ կչափի C թիվը, որքան B-ն՝ A-ն։ Հետևաբար, D միավորը չափում է B թիվը, ինչպես C-ն՝ A-ն։ Եվ այսպես, ամեն մի մասնաբառ, որը D միավորը B թվի մաս է, նույն անունով մասն է նաև C-ի A թվի համար։ Հետևաբար, A-ն ունի C մասը, որը կոչվում է նույն անունով, ինչ B-ն։ Դա հենց այն է, ինչ պետք էր ապացուցել։
Սկզբունք == Պնդում 38==
Եթե թիվը բաժանվում է որոշակի մասերի (մասնիկների), ապա այդ մասերից յուրաքանչյուրն ունի համապատասխան թվային նշանակություն, որը կոչվում է այդ մասի անվանումը
Քանի որ B-ն A-ի մի մասն է, որն ունի նույն անունը, ինչ C, ապա նաև D միավորը C-ի մաս է, որն ունի նույն անունը՝ այն է՝ D-ն C-ի C-րդ մասն է։ Եվ հետևաբար, ինչպես D-ն C-ն է չափում, այնպես էլ B-ն չափում է A-ն։ Այսպես, ի վերջո, D-ն B-ն է չափում նույնքան անգամ, ինչքան C-ն չափում է A-ն։
Ուստի, C-ն չափում է A-ն։ Եվ սա այն է, ինչ պետք է ապացուցվի
Սկզբունք == Պնդում 39==
Ենթադրենք, որ տրված մասերն են A, B և C։ Պետք է գտնվի նվազագույն թիվը, որը կունենա A, B և C մասերը։
Եվ G-ն իր հերթին կունենա մասեր, որոնք համանուն են D, E և F թվերին։ Ուստի, G-ն կունենա նաև A, B և C մասերը։ Ապա ես ասում եմ, որ G-ն, լինելով նվազագույնը, եթե ոչ, ապա լինի մի թիվ՝ H, որը կլինի G-ից փոքր, բայց կունենա A, B և C մասերը։ Այս դեպքում, եթե H-ն ունի A, B և C մասերը, ապա այն կչափվի D, E և F թվերով։ Բայց քանի որ H-ն փոքր է G-ից, դա անհնար է։
Այսպիսով, չի կարող լինել մի թիվ, որը փոքր լինի G-ից և ունենա A, B և C մասերը։ Սա հենց այն է, ինչը պետք էր ապացուցել։
Սկզբունք 1
Եթե կա շարունակաբար համեմատվող թվերի որևէ խումբ, և այդ խմբի արտաքնապես թվերը միմյանց համապատասխան չեն, ապա այս թվերը կլինեն ամենափոքրները նրանց մեջ, որոնք նույն հարաբերությունն ունեն
Թող A, B, C, D լինեն շարունակաբար համեմատվող թվերի ցանկացած խումբ։ Եվ թող այդ խումբի արտաքնապես թվերը՝ A և D, միմյանց համապատասխան չեն։ Ես ասում եմ, որ A, B, C, D-ը կլինեն ամենափոքրները նրանց մեջ, որոնք նույն հարաբերությունն ունեն։
Եթե ոչ, թող E, F, G, H լինեն A, B, C, D-ից փոքր, լինելով նույն հարաբերության մեջ նրանց հետ։ Եվ քանի որ A, B, C, D-ը նույն հարաբերությունն ունեն E, F, G, H-ի հետ, ապա A, B, C, D-ի բազմապատկումը հավասար է E, F, G, H-ի բազմապատկմանը։ Հետևաբար, ըստ հավասարության, ինչպես A-ն՝ D-ին, այնպես էլ E-ն՝ H-ին, ուստի A և D թվերը միմյանց համապատասխան են, և դրանք միմյանց պնդեն։
Այսպիսով, A-ն չափում է E-ն՝ մեծը՝ փոքրին։ Սա անհնար է։ Հետևաբար, E, F, G, H թվերը չեն կարող նույն հարաբերությամբ լինել A, B, C, D-ի հետ։ Այսպիսով, A, B, C, D թվերը կլինեն ամենափոքրները նրանց մեջ, որոնք նույն հարաբերությունն ունեն։
Այսպիսով, մենք դա ապացուցեցինք։
Սկզբունք 2
Լավ, տրված հարաբերությունը A և B թվերի միջև, լինի արտահայտված ամենափոքր թվերով։ Այնուհետև անհրաժեշտ է գտնել այն ամենափոքր թվերը, որքան պահանջվի, որոնք համարժեք են A և B-ի հարաբերությանը։
Տրված են չորս թիվ։ Եվ թող A-ն ինքն իրեն բազմապատկելով C ստանա, B-ն էլ ինքն իրեն բազմապատկելով D ստանա։ Եվ կրկին, թող B-ն ինքն իրեն բազմապատկելով E ստանա։ Եվ ավելի ևս, թող A-ն C-ն, D-ն, E-ն բազմապատկելով F-ը, G-ը, H-ը ստանա։ Եվ թող B-ն E-ն բազմապատկելով K ստանա։
Եվ քանի որ A-ն Cն ստացել է ինքն իրեն բազմապատկելով, և B-ն D-ն ստացել է B-ն բազմապատկելով, ապա ինչպես A-ն B-ին, այնպես էլ C-ն D-ին համարժեք են ։ Շարունակաբար, քանի որ A-ն D-ն ստացել է B-ն բազմապատկելով, և B-ն E-ն ստացել է ինքն իրեն բազմապատկելով, ապա ինչպես A-ն B-ին, այնպես էլ D-ն E-ին համարժեք են։ Եվ քանի որ A-ն F, G-ն ստացել է C, D-ն բազմապատկելով, ապա ինչպես C-ն D-ին, այնպես էլ F-ն G-ին համարժեք են ։ Եվ ինչպես C-ն D-ին, այնպես էլ F-ն G-ին։ Եվ քանի որ A-ն G, H-ն ստացել է D, E-ն բազմապատկելով, ապա ինչպես D-ն E-ին, այնպես էլ G-ն H-ին համարժեք են ]։ Իսկ ինչպես D-ն E-ին, այնպես էլ A-ն B-ին։ Եվ այդպես, ինչպես A-ն B-ին, այնպես էլ H-ն K-ին։ Բայց քանի որ A և B-ն են արել F և K, բազմապատկելով C և E, ապա ինչպես F-ն G-ին, այնպես էլ G-ն H-ին։ Եվ այդպես, C, D, E, F, G, H, K համաժամանակ են համարժեք A-ի և B-ի հարաբերությանը։ Եվ քանի որ A և B-ն ամենափոքր թվերն են այն թվերից, որոնք ունեն նույն հարաբերությունը նրանց հետ, և ամենափոքր թվերն են, որոնք միմյանց միմյանցից քանակով փոքր են, ապա A-ն և B-ն միասին ստեղծել են C և E, և C, E և F, K թվերը միմյանցից փոքր են։
Եզրակացություն
Այնպես որ, սա հստակ է, որ եթե երեք շարունակաբար համամասն թվերը լինեն ամենափոքրերը այդ (թվերից), որոնք ունեն նույն հարաբերությունը, ապա դրանց եզրային թվերը քառակուսիներ կլինեն, իսկ եթե չորս (թվեր), ապա քառակուսիներ:
Սկզբունք 3
Եթե կան շարունակաբար համամասն թվեր, որոնք ամենափոքրն են այդ (թվերից), որոնք ունեն նույն հարաբերությունը, ապա դրանց եզրային թվերը միմյանց հետ համընդհանուր նշանակություն ունեն:
A, B, C, D լինեն որևե բազմություն շարունակաբար համամասն թվերի (որոնք) ամենափոքրն են այն թվերից, որոնք ունեն նույն հարաբերությունը, ասեմ, որ նրանց եզրային թվերը՝ A և D, միմյանց հետ համընդհանուր նշանակություն ունեն:
Թող վերցվեն երկու ամենափոքր թվեր՝ E և Z (որոնք) նույն հարաբերությունը ունեն A, B, C, D-ի հետ։ Ապա վերցվում են երեք ամենափոքր թվեր՝ H, Θ, K, և շարունակաբար ավելացվում են մեկով ավելին, մինչև որ վերցված բազմությունը հավասարվի A, B, C, D-ի բազմությանը:
Եվ երբ E և Z ամենափոքր թվերն են նրանց (որոնք) ունեն նույն հարաբերությունը, նրանք միմյանց հետ համընդհանուր նշանակություն ունեն: Եվ երբ E և Z իջեցնում են յուրաքանչյուրին, նրանք G, K են դարձնում, ապա նրանք L, Ξ շարունակում են, և բոլոր թվերը միմյանց հետ համընդհանուր նշանակություն ունեն:
Եվ քանի որ A, B, C, D ամենափոքր թվերն են, որոնք ունեն նույն հարաբերությունը, ապա L, M, N, O նույնպես ամենափոքր թվերն են, որոնք ունեն նույն հարաբերությունը, այսինքն՝ նույն հարաբերությամբ A, B, C, D-ի հետ:
Դա այն է, ինչ պետք է ապացուցվի։