ספר א, משפט ג
[הקצאת קטע באורך קטע א על קטע ב הגדול ממנו]
נרצה שנבדיל מאחד משני קוים ישרים מונחים, מן היותר גדול [או: בלתי שווים], קו שוה ליותר קטן מהם.
הנה יהיו שני הקוים הישרים המונחים אשר אינם שוים א”ב וג’, והגדול מהם א”ב.
ונרצה שנבדיל מקו א”ב הגדול קו שוה לקו ג’ הקטן.
נחבר אל נקודת א’ קו ישר שוה לקו ג’, והוא א”ד.
ונקיף על מרכז א’ ובמרחק א”ד עגולת דה”ז.
הנה מפני שנקודת א’ מרכז עגולת דה”ז, יהיה קו א”ז שוה לקו א”ד.
ומפני שקו א”ד שוה לקו ג’, יהיה קו א”ז שוה לקו ג’.
הנה כבר הבדלנו מהגדול משני קוי א”ב וג’ הישרים המונחים הבלתי שוים, והוא קו א”ב, קו שוה לקטן מהם, והוא ג’, קו א”ז.
וזה מה שרצינו לבאר.
[נבדיל מקו קו = נקצה קטע על קטע; נקיף = נצייר מעגל]