მოცემულ განტოლებას ურთიერთ მარტივი ამონახსნი არა აქვს, რაც მტკიცდება მარტივად და ელეგანტურად, მაშინ როდესაც ფრანგ კანადის უნივერსიტეტის და ჰარვარდის უნივერსიტეტის პროფესორს ჰენრი დარმონს 2007 წლის სექტემბერში ინტერნეტში გამოქვეყნებული აქვს სტატია, სადაც ის იხილავს უფრო ზოგად შემთხვევას, კერძოდ: x^4-y^4=z^p, როცა p>=11 მარტივი რიცხვია. საინტერესოა ის ფაქტი, რომ ის აქ იყენებს თანამედროვე რიცხვთა თეორიის თითქმის ყველა იმ თეორიას, რაც გამოიყენა უალსმა ფერმას უკანასკნელი თეორემის დამტკიცებისას. მაშინ როდესაც მე დამტკიცებისას გამოყენებული მაქვს x^3+y^3=z^2 დიოფანტეს განტოლების ამონახსნების ზოგადი პარამეტრული ფორმულა, რაც მე აღმოვაჩინე 2003 წელს, რისი დამტკიცებაც შემიძლია, მაშინ როდესაც კოლუმბიის უნივერსიტეტის პროფესორმა ბრიტანელმა მაიკ ბენეთმა 2013 წელს დაუმტკიცებლად გამოაქვეყნა ეს პარამეტრული ფორმულა ინტერნეტში დისკუსიისას ისე, რომ არ მიუთითებია არც ავტორი და არც აღმოჩენის თარიღი. ამ სადავო საკითხზე მე ამავე ვებსაიტში საინტერესო სტატია მაქვს განთავსებული, სათაურით: სადავო საკითხი ინტელექტუალურ საკუთრებაზე.
თეორემა. დიოფანტეს განტოლებას x^4-y^4=z^3 ურთიერთ მარტივი ამონახსნი არა აქვს.
დ ა მ ტ კ ი ც ე ბ ა
(x²-y²)(x²+y²)=z³, x²-y²=u³, x²+y²=v³, 2x²=u³+v³, 2y²=v³-u³, (4x)²=(2u)³+(2v)³, (4y)²=(2v)³+(-2u)³. ახლა გვჭირდება 2003 წელს მიღებული ჩემი პარამეტრული ფორმულა, რომელიც შემდეგი სახისაა: x³+y³=z², x=6p²q²+p^4-3q^4, y=6p²q²-p^4+3q^4, z=6pq(p^4+3q^4). ამ ფორმულების ძალით გვექნება: 2u=6p²q²+p^4-3q^4, 2v=6p²q²-p^4+3q^4, 4x=6pq(p^4+3q^4); 2u=-6m²n²-m^4+3n^4, 2v=6m²n²-m^4+3n^4, 4y=6mn(m^4+3n^4). 3|(p^4-m^4), 3|(p^4+m^4), 3|p, 3|m, 3|x, 3|y; (x,y)‡1. ამით თეორემა დამტკიცებულია.
ველი კომენტარებს. ემზარ პაპავა.
|