al-Nayrīzī: Šarḥ kitāb al-Uṣūl li-Ūqlīdis (pt. 1) (Commentary on Euclid's Elements)

الشكل الثامن عشر من المقالة الاولى

الضلع الاطول من كل مثلث يوتّر الزاوية العظمى مثاله ان ضلع اب من مثلث ابﺟ اطول من ضلع اﺟ فاقول ان زاوية اﺟب اعظم من زاوية ابﺟ برهانه انا نفصل من ضلع اب الاعظم مثل ضلع اﺟ الاصغر كما بيّنّا ذلك بشكل ﺟ من ا وليكن خط اد ونصل ﺟد فساق اﺟ مثل ساق اد من مثلث اﺟد فمما بيّنّا ببرهان ه تكون زاوية اجد مثل زاوية ادﺟ ولان زاوية ادﺟ خارجة من مثلث ﺏدﺟ فبحسب برهان يو من ا تكون زاوية ادﺟ اعظم من زاويه ﺟﺏد فزاوية اﺟب اذن اعظم من زاوية ابﺟ بكثير فقد تبيّن ان الضلع الاعظم وهو اب يوتّر الزاوية العظمى وهى زاوية اﺟب وذلك ما اردنا ان نبيّن

الشكل التاسع عشر من المقالة الاولى

الزاوية العظمى من كلّ مثلث يوتّرها الضلع الاطول مثاله ان زاوية اﺟب من مثلث ابﺟ اعظم من زاوية ابﺟ فاقول ان ضلع اب اعظم من ضلع اﺟ برهانه ان امكن ان تكون زاوية اﺟب اعظم من زاوية ابﺟ ولا يكون ضلع اب اعظم من ضلع اﺟ فانّه اذن امّا يكون مساوياً له او اصغر منه فان كان ضلع اب مساوياً لضلع اﺟ فقد بيّنّا ببرهان ه انه تكون زاوية اﺟب مساوية لزاوية ابﺟ لكن فرضت اعظم منها فهذا خلف لا يمكن وان