מדהים איך נעלמה ההודעה שכתבתי
כאן בערך לפני חצי שעה - שעה ? ? ? ? ? ? ? ? יש הוכחה די פשוטה אך ארוכה ומשעממת. הרעיון הוא, שחוצה זווית מסויים מחלק את המשולש לשני חלקים: באחד מהם הנקודות יותר קרובות לאחת הצלעות מאשר לאחת אחרת, ובחלק השני להיפך. בחוצה הזווית עצמו המרחקים לשתי הצלעות שווים. אם ניקח עכשיו את שלושת חוצי הזוויות, נקבל את ששת החלקים שראיתָ בתמונה של SHARC, וחלקים אלה שונים זה מזה בדיוק בסדרור של גדלֵי המרחקים לצלעות. כך אחד מחלקים אלה, רשום את סדרור הגדָלים, ותראה שהחלק המסויים הזה שייך לקבוצה או לא. עבור שאר החלקים - פשוט החלף את השֵמות. אפשר לנחש מראש איזה תחומים שייכים לקבוצה: פתור את הבעייה על הצלעות בלבד, כלומר אחד המרחקים שווה 0, וכמו כן עבור חוצי הזוויות. ברור שחוצי הזוויות עצמם שייכים לקבוצה במלואה. כל אחד משלושת החלקים השייכים לקבוצה מכיל גם את גבולותיו. עכשיו, אחרי הניחוש, קל יותר להוכיח את שייכותו של כל אחד מששת התחומים לקבוצה, או - להשלָמָה שלה.