ניסיון...
נתון:
e[1] + e[2] + . . . + e[n] = 0
כאשר [e[k הם מספרים חיוביים - כמויות הדלק במיכלים, ומספרים שליליים - צריכת הדלק עד המיכל הבא.
השאלה היא, אם קיים כזה מספר k, שבין כל הסכומים החלקיים של:
e[k] + e[k+1] + . . . + e[n] + e[1] + e[2] + . . . + e[k-1]
אין אף מספר שלילי..
נניח בדרך השלילה שלא קיים כזה k.
נתחיל לסכם את המספרים, למשל מ-[e[1.
כשנגיע לסכום שלילי (לפי הנחת השלילה, זה יקרה לפני השלמת מעגל), נתחיל לסכם את המספרים מחדש, החל מהמספר הבא, עד ששוב נגיע לסכום שלילי לפני השלמת המעגל.
וכן הלאה.
מכיוון שכמות המספרים סופית, ברגע מסוים נגיע שנית לסכום שלילי אחרי הוספת אותו המספר.
אבל בין שתי הפעמים שהוספת אותו המספר נתנה לנו סכום שלילי, עברנו מספר שלם של מעגלים! הסכום במעגל שלם שווה 0, וכך גם בכל הקטע הזה. אבל כל אחד מהנסיונות באותו קטע נתן מספר שלילי. יוצא שסכום כמה מספרים שליליים שווה 0.