gre IΙ,9διὰ τὰ αὐτὰ δὴ καὶ ἑκατέρα τῶν ὑπὸ ΓΕΒ, ΕΒΓ ἡμίσειά ἐστιν ὀρθῆς:
engFor the same reason each of the angles CEB, EBC is also half a right angle;
lat SicRursus quoniam latera GB et GE sibi invicem equaIia sunt et angulus qui ad g est rectus, erit unusquisque angulorum qui sub GEB et qui sub GBE medietas recti.
lat GerardEt quia linea EG etiam linee GB est equalis, erit angulus GEB angulo GBE equalis. Angulus vero BGE est rectus. Unusquisque igitur duorum angulorum GEB; GBE est recti medietas,
ara Uppsala[١:] ولأن (ه ج) أيضا مساو لـ(ج ب) تكون زاوية (ج ه ب) مساوية لزاوية (ج ب ه) وزاوية (ب ج ه) قائمة فكل واحدة من زاويتي (ج ه ب) (ج ب ه) نصف قائمة ولأن كل واحدة من زاويتي (ج ه ب) (ا ه ج) نصف قائمة تكون زاوية (ا ه ز) قائمة [٢:] ولأن زاوية (ج ب ه) نصف قائمة وزاوية (ز د ب) قائمة تكون زاوية (د ز ب) نصف قائمة فخط (ب د) مساو لخط (د ز) [٣:] وكذلك أيضا يكون (ز ح) مساو لـ(ح ه)
1
1. The proof in Isḥaq-Thābit is constructed in the following way: [Step 1:] EC = CB, so CEB = CBE [by I. 5]. BCE is right, so each of CEB, CBE is half a right [by I. 32]. Both CEB and AEC are half a right, so AEF is right. [Step 2:] CBE is half a right and FDB is right, so DFB is half a right. Therefore BD = DF [by I. 6]. [Step 3:] In the same way FG = GE.
=>Isḥāq-Thābit continues
here.
ara Tuṣi p. 42[١:] وزاوية (ا ه ز) قائمة [كط ا] [٢:] تبقى زاوية (ب ز د) أيضا نصف قائمة ويكون (ب د) (ز د) متساويين [٣:] ولمثل ذلك يكون في مثلث (ح ه ز) ضلعا (ه ح) (ز ح) متساويين
1
1. Same structure of proof in al-Ṭūsī's Taḥrīr as in Isḥāq-Thābit. For comparison, we have added numbers referring to the three steps here too.
ara Nairizi p. 46وايضا فلان عمود (ج ه) اخرج مثل خط (ج ب) فبذلك البرهان والاستشهاد تكون كل واحدة من زاويتى (ج ب ه) (ج ه ب) نصف قائمة
http://www2.hf.uio.no/common/apps/permlink/permlink.php?app=polyglotta&context=record&uid=69333f6a-3ed4-11e1-aecb-00215aecadea
Title
Book I
