בטריגונומטריה ספירית, משפט ז'יראר (באנגלית: Girard's theorem) קובע שסכום הזוויות של משולש גיאודטי על כדור סוטה מ⁻\pi סטייה חיובית שערכה פרופורציונלי לשטח המשולש A/r^2, או, בניסוח שקול: (\alpha + \beta + \gamma - \pi)r^2 = A, כאשר r הוא רדיוס הכדור. את המשפט, שהוא המקרה הלא⁻טריוויאלי הפשוט ביותר של משפט גאוס⁻בונה, גילה והוכיח המתמטיקאי הצרפתי אלבר ז'יראר. מתוך ויקיפדיה

משפט ברטרן, משפט ברטרנד, משפט ברי⁻אסן, משפט ברירת העצירה, משפט ברירת זמן העצירה, משפט ג'עפרי, משפט גאוס, משפט גאוס מרקוב, משפט גאוס⁻בונה, משפט גאוס⁻לוקאס