Changes

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

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