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

بيّنّا ان زاوية حهز نصف قائمة فبحسب برهان ڪط من ا تبقى زاوية هزح نصف قائمة فزاوية حهز مثل زاوية هزح فبحسب برهان لب من ا يكون ساق هح مثل ساق حز وايضا فلان خط اب وقع على خطى هجـ زد المتوازيين فبحسب الاستشهاد المتقدم تكون زاوية بدز الخارجة مساويةً لزاوية بجه الداخلة لكن زاوية بجه قائمة فزاوية بدر اذن قائمة وكنّا بيّنّا ان زاوية جبه نصف قائمة فبحسب برهان لب من ا تبقى زاوية دزب نصف قائمة فبحسب برهان و من ا يكون ساق دب مساوياً لساق دز فلان عمود جه اخرجناه مساوياً لخط اجـ فان مجموع المربعين الكائنين من خطى جه اجـ مساو لضعف المربع الكائن من خط اجـ لكن مجموع مربعى جه اجـ مساو للمربع الكائن من خط اه لان زاوية اجه قائمة وذلك ببرهان [مو] من [ا] فالمربع الكائن من خط اه اذن ضعف المربع الكائن من خط اجـ وايضا فانّا قد بيّنّا ان ضلع حه مثل ضلع حز فمجموع المربعين الكائنين من ضلعى حه حز مساو لضعف المربع الكائن من ضلع حز فلان زاوية هحز قائمة فبحسب برهان مو من ا يكون مجموع المربعين الكائنين من ضلعى حه حز مثل المربع الكائن من خط هز فالمربع الكائن من خط هز اذن ضعف المربع الكائن من خط زح ولان ضلع حز مثل ضلع جـد وذلك بحسب برهان [لد] من [ا] لان سطح حد متوازى الاضلاع فالمربع الكائن من خط هز اذن ضعف المربع الكائن من خط جـد وقد بيّنا ان المربع الكائن من خط هز (اذن) ضعف المربع الكائن من خط جـد وقد بيّنا ان المربع الكائن من خط اه مساو لضعف