../images/Emo62.gif פתרון
נסמן כ-α את הזוויות:
BAC = BCA = BEA = BEC = α
הזווית α<60°, אחרת, הנקודה D לא היתה יכולה להיות בתוך המעגל. הזווית המרכזית: BOC = 2α. תהי הנקודה Q מרכז המיתר BC. אז במשולש ישר-הזווית QOC הזווית: QOC = α. עכשיו חישוב פשוט של זוויות:
AOC = 180° - BAC - BCA = 180° - 2α ABD = ABC - DBC = 180° - 2α - 60° = 120° - 2α BAD + BDA = 180° - ABD = 180° - (120° - 2α) = 60° + 2α
המשולש ABD שווה-שוקיים:
AB = BC = BD :והזוויות BAD = BDA BDA = (BAD + BDA) / 2 = (60° + 2α) / 2 = 30° + α CDE = 180° - ADB - BDC = 180° - (30° + α) - 60° = 90° - α
תהי R נקודת המפגש של CD ו-EB. הקטע ER מהווה גובה וחוצה זווית במשולש CDE. משמע, משולש זה שווה-שוקיים:
EC = ED CR = DR
כמו-כן, המשולשים ישרי-הזווית DER ו-COQ דומים: הזוויות
DER = COQ = α :אך גם הניצבים DR = CQ
כי כל אחד מהם שווה למחצית צלע המשולש שווה-הצלעות BCD. משמע, גם היתרים שלהם שווים:
DE = CO = R
מש"ל. ודרך אגב התקבלה תוצאה נוספת: גם
CE = DE = R
מה שרומז על קיומה של הוכחה קצרה יותר לטענת התרגיל.