המשפט היפני למצולעים ציקליים

180px|left|thumb|סכום הרדיוסים של המעגלים הירוקים שווה לסכום הרדיוסים של המעגלים האדומים.
בגאומטריה, המשפט היפני למצולעים ציקליים קובע כי לא משנה כיצד מחלקים מצולע ציקלי למשולשים על ידי אלכסונים לא נחתכים, סכום הרדיוסים של המעגלים החסומים במשולשים הוא קבוע. בכיוון ההפוך, אם סכום הרדיוסים של המעגלים החסומים אינו תלוי באופן הטריאנגולציה, אז המצולע הוא ציקלי. המשפט היפני למצולעים ציקליים נובע מהמשפט היפני למרובעים ציקליים (שמשמש מקרה בסיס עבורו), שבתורו נובע ממשפט קרנו.  

משפט זה נקרא כך משום שהוא התגלה חרוט על לוח עץ (Sangaku) במקדש במחוז יאמאגטה שביפן, בשנת 1880.  

 הוכחה 
 המשפט היפני למרובעים ציקליים 
המשפט ניתן להוכחה באמצעות הוכחת מקרה פרטי שלו: לא משנה איך מחלקים מרובע ציקלי למשולשים (ישנן שתי דרכים לעשות זאת - כל אחת מתאימה לאחד משני האלכסונים של המרובע), סכום הרדיוסים של המעגלים החסומים במשולשים הוא זהה. הוכחה סטנדרטית של המקרה המרובע עושה שימוש במשפט קרנו: אם נסמן את רדיוסי שני המעגלים החסומים המתקבלים באופן הטריאנגולציה הראשון ב- ואת רדיוסי שני המעגלים החסומים באופן הטריאנגולציה השני ב-, אז מתקיים לפי משפט קרנו:

כאשר בקשרים אלו הסימן  הוא מרחק מרכז המעגל החוסם את המרובע O מהצלע ה-i ואילו  הם מרחקי מרכז המעגל החוסם מכל אחד מאלכסוני המרובע. מכיוון ש-O נמצא בתוך אחד מהמשולשים ומחוץ למשולש השני (או על אחד האלכסונים, ובמקרה זה המרחק מהאלכסון מתאפס), אז מיישום משפט קרנו נובע שהמרחק בין O לאלכסון מופיע פעם אחת עם סימן חיובי ופעם עם אחת סימן שלילי, כך שמקבלים את הביטויים לעיל, המראים כי ערך הסכומים  ו- הוא זהה.

 הוכחת המקרה הכללי 
לאחר שמוכיחים את המקרה המרובע, המקרה הכללי של מצולע ציקלי נובע כמסקנה כמעט מיידית. הסיבה לכך היא שניתן לעבור מטריאנגולציה של מצולע ציקלי לאחרת באמצעות סדרה סופית של החלפות אלכסונים ב"מרובעים חלקיים" חלקיים למצולע הנתון ("מרובע חלקי" נוצר על ידי בחירה שרירותית של ארבעה מקודקודי המצולע). מכיוון שמהמקרה המרובע נובע שכל צעד כזה משמר את סכום הרדיוסים של המעגלים החסומים, מקבלים שסכום רדיוסי המעגלים החסומים קבוע ואינו תלוי בבחירת הטריאנגולציה הספציפית של המצולע הציקלי.

 ראו גם 
 משפט קרנו

 קישורים חיצוניים 

Japanese theorem at Mathworld
Japanese Theorem interactive demonstration at the C.a.R. website


קטגוריה:משפטים בגאומטריה