Թող AB մակերեսը կազմված լինի բանական ուղիղ գծից` AC-ից և երրորդ ապոտոմից` AD-ից։ Ասում եմ, որ AB-ի քառակուսի արմատը երկրորդ ապոտոմն է միջին ուղիղ գծի։
Թող DG-ն լինի AD-ի կցորդը։ Այսպիսով, AG-ն և GD-ն ռացիոնալ ուղիղ գծեր են, որոնք համաչափ են միայն իրենց քառակուսիներով։ Սակայն ո՛չ AG-ն, ո՛չ GD-ն երկարությամբ չեն համաչափվում նախապես տրված ռացիոնալ ուղիղ գծին՝ AC-ին։ Այսպիսով, համընթացապես դրված ռացիոնալ ուղիղ AC-ում, AG ամբողջ քառակուսու արժեքը գերազանցում է DG-ի քառակուսին՝ որոշ ուղիղ գծի քառակուսի չափով, որը երկարությամբ համաչափելի է AG-ի հետ [Տե՛ս «Տարրեր», 10.13]:Ապա եթե DG-ի քառակուսի չորրորդ մասն ուղղվի AG-ին՝ բայց պակասեցվի քառակուսի պատկերով, ապա այն բաժանում է AG-ն երկարություններով համաչափ մասերի [Տե՛ս «Տարրեր», 10.17]: Հետևաբար, թող DG-ն կիսվի E կետով: Եվ թող EG քառակուսիի չափով մակերեսը կիրառվի AG-ին՝ նման փոքր քառակուսիի տեսքով, ու դա կլինի AF և FG պարունակվող քառանկյունը։ Ուստի, թող LM-ը հավասար լինի AI-ին: Եվ թող NO-ն որը հավասար է FK-ին, ու որը նույն անկյան շուրջ է, հանված լինի (LM-ից): Այսպիսով, LM-ն և NO-ն նույն անկյան շուրջ են։ Թող PR-ը լինի նրանց ընդհանուր անկյունագիծը, և կռուցվի պատկերը։ Հետևաբար, քանի որ AF և FG ուղղանկյունները հավասար են EG-ի քառակուսուն, ապա ինչպես AF-ը EG-ի հետ է հարաբերակցվում, այնպես էլ EG-ը FG-ի[Տե՛ս «Տարրեր», 6.17]: Բայց նաև, ինչպես AF-ը EG-ի հետ է հարաբերակցվում, այնպես էլ AI-ը EK-ի հետ[Տե՛ս «Տարրեր», 6.1]: Եվ ինչպես EG-ը FG-ի հետ է հարաբերակցվում, այնպես էլ EK-ը FK-ի հետ [Տե՛ս «Տարրեր», 6.11]: Եվ, հետևաբար, ինչպես AI-ը EK-ի հետ է հարաբերակցվում, այնպես էլ EK-ը FK-ի հետ է հարաբերակցում [Տե՛ս «Տարրեր», 5.11]: Հետևաբար, EK-ը միջին համեմատական է AI-ի և FK-ի միջև։ Եվ MN-ն նույնպես միջին համեմատական է LM և NO քառակուսիների միջև [Տե՛ս «Տարրեր», 10.53 լեմմա]:AI-ը հավասար լինի LM-ին, իսկ FK-ն NO-ին: Հետևաբար, EK-ը նույնպես հավասար է MN-ին։ Բայց MN-ը հավասար է LO-ին, իսկ EK-ը՝ DH-ին [Տե՛ս «Տարրեր», 1.43]։ Եվ այդպես DK-ի ամբողջ մասը հավասար է UVW գոմոնին և NO-ին։ Իսկ AK-ն նույնպես հավասար է LM-ին և NO-ին։ Հետևաբար, մնացորդ AB-ն հավասար է ST-ին, այսինքն՝ LN-ի քառակուսուն։ Հետևաբար, LN-ը AB մակերեսի քառակուսային արմատն է։ Այսպիսով, LN-ը մեդիալ (ուղիղ գծի) երկրորդ ապոտոմն է։ Քանի որ ապացուցվեց, որ AI-ն և FK-ն մեդիալ մակերեսներ են և հավասար են LP-ի և PN-ի քառակուսիներին (համապատասխանաբար), ապա LP-ի և PN-ի յուրաքանչյուր քառակուսին նույնպես մեդիալ է։ Հետևաբար, LP-ն և PN-ը մեդիալ ուղիղ գծեր են։ Եվ քանի որ AI-ն համաչափ է FK-ի հետ [Տե՛ս «Տարրեր», 6.1, 10.11], ապա LP-ի քառակուսին նույնպես համաչափ է PN-ի քառակուսու հետ։ Կրկին, քանի որ ապացուցվեց, որ AI-ն անհամաչափ EK-ի հետ, ապա LM-ն նույնպես անհամաչափ է MN-ի հետ, այսինքն՝ LP-ի քառակուսին LP-ի և PN-ի ուղղանկյունի հետ։ Հետևաբար, LP-ն նույնպես երկարությամբ անհամաչափ է PN-ի հետ [Տե՛ս «Տարրեր», 6.1, 10.11]։ Այսպիսով, LP-ն և PN-ը մեդիալ ուղիղ գծեր են, որոնք համաչափ են միայն քառակուսով։ Ուստի կպնդենք, որ նրանք նույնպես մեդիալ են։ Քանի որ EK-ն ցույց տրվեց որպես մեդիալ (մակերես), որը հավասար է LP-ի և PN-ի ուղղանկյունին, ապա LP-ի և PN-ի ուղղանկյունները նույնպես մեդիալ են։ Հետևաբար, LP-ն և PN-ը մեդիալ ուղիղ գծեր են, որոնք համաչափ են միայն քառակուսով և պարունակում են մեդիալ։ Հետևաբար, LN-ը մեդիալ (ուղիղ գծի) երկրորդ ապոտոմն է [Տե՛ս «Տարրեր», 10.75]։ Եվ դա AB մակերեսի քառակուսային արմատն է։ Հետևաբար, AB մակերեսի քառակուսային արմատը մեդիալ (ուղիղ գծի) երկրորդ ապոտոմն է։ Եվ դա հենց այն է, ինչը պահանջվում էր ապացուցել։