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