ara Nairizi p.70-72وذلك ما اردنا ان نبين
زيادة قال ايرن كل مثلث يكون المربع الكائن من احد اضلاعه اعظم من مجموع المربعين الكائنين من الضلعين الباقيين فان الزاوية التى يحيط بها ذانك الضلعان منفرجة فليكن مثلث (ا ب ج) مربع ضلع (ب ج) منه اعظم من مجموع مربعى ضلعى (ب ا) (ا ج) فاقول ان زاوية (ب ا ج) منفرجة برهانه انا نخرج من نقطة (ا) من خط (ا ج) عمود (ا د) مساويا لضلع (ا ب) كما بينا ذلك ببرهان الشكل المضاف الى [يب] من [ا] ونخرج خط (ج د) فلان مربع (ا ب) مساو لمربع (ا د) فانا اذا اخذنا مربع (ا ج) مشتركا فانه يكون مجموع المربعين من خطى (ا ب) (ا ج) يساوى مجموع مربعى (د ا) (ا ج) لكنا فرضنا المربع ' الكائن من ضلع (ب ج) اعظم من مجموع المربعين الكائنين من ضلعى (ا ب) (ا ج) لكن بحسب برهان [مو] من [ا] يكون مجموع مربعى (د ا) (ا ج) مثل المربع الكائن من ضلع (د ج) فاذا المربع الكائن من ضلع (ب ج) اعظم من المربع الكائن من ضلع (ج د) فضلع (ب ج) اذا اعظم من ضلع (ج د) ولانا فرضنا ضلع (د ا) مثل ضلع (ا ب) فاذا اخذنا ضلع (ا ج) مشتركا يكون ضلعا (ب ا) (ا ج) مساويين لضلعى (د ا) (ا ج) وقاعدة (ب ج) قد تبين انها اعظم من قاعدة (ج د) فبحسب برهان [كه] من [ا] تكون زاوية (ب ا ج) اعظم من زاوية (د ا ج) لكن زاوية (د ا ج) قائمة فزاوية (ب ا ج) منفرجة وذلك ما اردنا ان نبين
Title
Book I
