הוכחה
נסתכל על מיתר כלשהוא AB במעגל שלא עובר דרך מרכז המעגל O .
נחבר את קצות המיתר AB למרכז המעגל O ( שכאמור O מחוץ לישר AB ) , נקבל משולש AOB שווה שוקיים AO=BO ( בגלל שהם רדיוסים )
לפי אי שוויון המשולש AO+BO >AB , וסכום השוקיים הוא הקוטר ולכן הקוטר גדול מכל מיתר שאינו עובר דרך המרכז.
מ.ש.ל