Changes
/* Պնդում 9† */ fixed
† Այս պնդումը հետևյալ հանրահաշվական նույնության երկրաչափական տարբերակն է՝ <math> 4\cdot (a+b)\cdot a + b^2 = [(a+b)+a] ^2 </math>։
== Պնդում 9† 9<ref>Այս պնդումը հետևյալ հանրահաշվական նույնության երկրաչափական տարբերակն է՝ <math> a^2 + b^2 =2 \cdot [(\frac{a+b}{2})^2+ (\frac{a+b}{2} - b)^2] </math>։</ref> ==
Հատվածը հավասար և անհավասար մասերի բաժանելիս՝ անհավասար մասերի վրա կառուցված քառակուսիների գումարը հավասար է հատվածի կեսի և հավասար ու անհավասար մասերի տարբերության վրա կառուված քառակուսիների գումարի կրկնապատիկին։
C կետով՝ AB-ին ուղղահայաց կառուցենք CE հատվածը [Պնդում 1․11], այնպես, որ հավասար լինի AC-ին և CB-ին [Պնդում 1․3]։ Միացնենք EA-ն և EB-ն։ EC-ին զուգահեռ՝ D կետով կառուցենք DF-ը [Պնդում 1․31], իսկ AB-ին զուգահեռ՝ FG-ը F կետով [Պնդում 1․31]։ Միացնենք AF-ը։ Քանի որ AC-ն ու CE-ն հավասար են, անկյուն EAC-ն հավասար է AEC-ին [Պնդում 1․5]։ Եվ քանի որ C անկյունը ուղիղ անկյեւն է, EAC և AEC անկյունների գումարը նույնպես ուղիղ անկյուն է կազմում [Պնդում 1․32]։ Հետևում է, որ CEA CAE անկյուններից յուրաքանչյուրը ուղիղ անկյան կեսն է։ Նույն պատճառով՝ CEB և EBC անկյունները նույնպես հավասար են ուղիղ անկյան կեսին։ Հետևում է, որ AEB-ն ուղիղ անկյուն է։ Եվ քանի որ GEF-ն ուղիղ անկյան կես է, իսկ EGF՝ ուղիղ անկյուն (որը հավասար է ներքին ECB անկյանը [Պնդում 1․29]), մնացյալ EFG-ն նույնպես ուղիղ անկյան կես է [Պնդում 1․32]։ Հետևաբար, GEF անկյունը հավասար է EFG-ին, իսկ EG կողմը՝ GF-ին [Պնդում 1․6]։ Քանի որ անկյուն B-ն ուղիղ անկյան կես է, իսկ FDB-ն՝ ուղիղ անկյուն (որը հավասր է ներքին ECB անկյանը [Պնդում 1․29]), մնացյալ BFD անկյունը նույնպես ուղիղ անկյան կես է [Պնդում 1․32]։ Այսպիսով՝ B և DFB անկյունները, FD և DB կողմերը նույնպես հավասար են [Պնդում 1․6]։ Քանի որ AC-ն և CE-ն հավասար են, այդ կողմերով կառուցված համապատասխան քառակուսիները ևս հավասար են։ Հետևաբար, AC-ի և CE-ի վրա կառուցված քառակուսիների գումարը հավասար է AC-ի վրա կառուցված քառակուսու կրկնապատիկին։ EA հիմքով քառակուսին հավասար է AC և CE հիմքերով քառակուսիների գումարին։ ACE անկյունն էլ ուղիղ է [Պնդում 1․47]։ Հետևաբար, EA հիմքով քառակուսին AC հիմքովի կրկնապատիկն է։ Քանի որ EG-ն և GF-ը հավասար են, համապատասխան հիմքերով քառակուսիները նույնպես հավասար են, և դրանց գումարը GF հիմքով քառակուսու կրկնապատիկն է։ EF-ի վրա կառուցված քառակուսին էլ հավասար է EG-ի և GF-ի վրա կառուցած քառակուսիների գումարին [Պնդում 1․47]։ Այսպիսով՝ EF հիմքով քառակուսին GF հիմքովի կրկնապատիկն է։ GF-ն էլ հավասար է CD-ին [Պնդում 1․34]։ Հետևաբար, EF հիմքով քառակուսին CD հիմքովի կրկնապատիկն է, EA հիմքովն էլ՝ AC-ի։ Հետևում է, որ AE և EF հիմքերով քառակուսիների գումարը AC և CD հիմքերով քառակուսիների գումարի կրկնապատիկն է։ AF հիմով քառակուսին AE և EF հիմքերովների գումարին է հավասար։ AEF-ն ուղիղ անկյուն է [Պնդում 1․47]։ Հետևաբար, AF հիմքով քառակուսին AC և CD հիմքերով քառակուսիների գումարի կրկնապատիկն է։ AD և DF հիմքերով քառակուսիների գումարը հավասար է AF հիմքով քառակուսուն։ D-ն ուղիղ անկյուն է [Պնդում 1․47], հետևաբար AD և DF հիմքերով քառակուսիների գումարը AC և CD հիմքերով քառակուսիների կրկնապատիկն է։ DF-ն էլ հավասար է DB-ին։ Արդյունքում՝ AD-ի և DB-ի վրա ընկած քառակուսիների գումարը AC-ի և CD-ի վրա ընկած քառակուսիների գումարի կրկնապատիկն է։
Ստաղվում է, որ հատվածը հավասար և անհավասար մասերի բաժանելիս՝ անհավասար մասերի վրա կառուցված քառակուսիների գումարը հավասար է հատվածի կեսի և հավասար ու անհավասար մասերի տարբերության վրա կառուված քառակուսիների գումարի կրկնապատիկին։
== Պնդում 10† ==
