פתרון?
ההוכחה נופלת בהוצאת השורש הראשונה. רקע: לכל מספר יש שני שורשים. כדי לעבוד כמו בני אדם, הגדרנו שכשרושמים "שורש a" מתכוונים בעצם ל"השורש החיובי של a". אם a=b, אז יש להם אותם שורשים חיוביים. במילים אחרות, "שורש" אינו חד ערכי, "השורש החיובי" הוא כן חד ערכי (חד משמעי). לעניין הגרירה בהוצאת השורש הראשונה מסתמכת על חד הערכיות (חד משמעיות) של הפונקציה sqrt, שכאמור מוגדרת כ"שורש החיובי". במרוכבים אין משמעות למילה חיובי, כי אין יחס סדר. לדוגמא ל -1 (לא משנה בתור איזה שבר תציג אותו) יש שני שורשים: "i" ו "מינוס i". אף אחד מהם לא חיובי. סיכום בצד הימני, דרך כל מיני משחקי שורשים, הוצאנו את השורש "מינוס i" של -1. בצד השמאלי, דרך כל מיני משחקי שורשים, הוצאנו את השורש "i" של -1. הכל נחמד, רק שבהוצאת השורש איבדנו את ה"זכות" לכתוב "=" בין הצדדים.