נראה לי שדרוש תנאי נוסף לקיום הזהות:
r אמור להיות לא סתם שורש יחידה, אלא שורש יחידה פרימיטיבי.
כלומר, לא קיים מספר טבעי m קטן מ-n, כזה שגם r^m=1.
למשל, יהי r שונה מ-1, ו- r^3=1.
נניח שהזהות נכונה תמיד בתנאים שציינת.
אז:
(x + y)(x + r•y)(x + (r^2)•y) = x^3 + y^3
:וגם
r^9 = (r^3)^3 = 1^3 = 1
(x + y)(x + r•y)(x + (r^2)•y)(x + (r^3)•y)(x + (r^4)•y)(x + (r^5)•y)(x + (r^6)•y)(x + (r^7)•y)(x + (r^8)•y) = x^9 + y^9
r^3 = r^6 = 1
r^4 = r^7 = r
r^5 = r^8 = r^2
(x + y)(x + r•y)(x + (r^2)•y)(x + y)(x + r•y)(x + (r^2)•y)(x + y)(x + r•y)(x + (r^2)•y) = x^9 + y^9
[(x + y)(x + r•y)(x + (r^2)•y)] ^ 3 = x^9 + y^9
(x^3 + y^3)^3 = x^9 + y^9
שזה ממש לא נכון (למשל עבור x=y=1).
כמו-כן, ברמז שכתב עריסטו, אמורים להופיע כל תשעת השורשים של יחידה, ובדוגמה שהצגתי מופיעים רק שלושה מהם, עם חזרות.
לעומת זאת, אם ניקח שורש פרימיטיבי, אז החזקות שלו ירוצו על כל השורשים.