Pappus: In Euclidis Elementa (Commentary on Euclid's Elements)

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