Négy kocka probléma

A négy kocka problémája az , hogy megtaláljuk a diofantinuszi egyenlet összes megoldását :

x^{3}+y^{3}+z^{3}=w^{3}.

Meg kell jegyezni, hogy bár ennek az egyenletnek több teljes megoldását javasolták racionális számokban , az egész számokban kifejezett teljes megoldása 2018-ban még nem ismert [1] .

Történelem

Már Platón is tudta, hogy a Pitagorasz-háromszög oldalai kockáinak összege is kocka [2] , amit az „ Állap ” című művében [3] említ . $3^{3}+4^{3}+5^{3}=6^{3}$

Példák egész megoldásokra

A legkevésbé természetes megoldások:

3^{3}+4^{3}+5^{3}=6^{3}

1^{3}+6^{3}+8^{3}=9^{3}

3^3+10^3+18^3=19^3

7^{3}+14^{3}+17^{3}=20^{3}

4^{3}+17^{3}+22^{3}=25^{3}

18^{3}+19^{3}+21^{3}=28^{3}

11^{3}+15^{3}+27^{3}=29^{3}

2^{3}+17^{3}+40^{3}=41^{3}

6^{3}+32^{3}+33^{3}=41^{3}

16^{3}+23^{3}+41^{3}=44^{3}

Ha a negatív értékek megengedettek, akkor az azonosságok érvényesek:

-1^{3}+9^{3}+10^{3}=12^{3}

-2^{3}+9^{3}+15^{3}=16^{3}

-2^{3}+15^{3}+33^{3}=34^{3}

-2^{3}+41^{3}+86^{3}=89^{3}

-3^{3}+22^{3}+59^{3}=60^{3}

Teljes racionális paraméterezés

G. Hardy és Wright (1938) [4] [5]

$x=-a(b-3c)(b^{2}+3c^{2})+a^{4}$ $y=\quad a(b+3c)(b^{2}+3c^{2})-a^{4}$ $z=\quad a^{3}(b-3c)-(b^{2}+3c^{2})^{2}$ $w=\quad a^{3}(b+3c)-(b^{2}+3c^{2})^{2}$

N. Elkis [1]

{\begin{cases}x=d(-(s+r)t^{2}+(s^{2}+2r^{2})ts^{3}+rs^{2}- 2r^{2}sr^{3}),\\y=d(t^{3}-(s+r)t^{2}+(s^{2}+2r^{2})t+ rs ^{2}-2r^{2}s+r^{3}),\\z=d(-t^{3}+(s+r)t^{2}-(s^{2} + 2r^{2})t+2rs^{2}-r^{2}s+2r^{3}),\\w=d((s-2r)t^{2}+(r^{ 2 }-s^{2})t+s^{3}-rs^{2}+2r^{2}s-2r^{3})\end{cases}}

Egyéb megoldássorozatok

Leonhard Euler , 1740

$x=1-(a-3b)(a^{2}+3b^{2})$ $y=-1+(a+3b)(a^{2}+3b^{2})$ $z=-a-3b+(a^{2}+3b^{2})^{2}$ $w=-a+3b+(a^{2}+3b^{2})^{2}$

Linnik , 1940

$x=b(a^{6}-b^{6})$ $y=a(a^{6}-b^{6})$ $z=b(2a^{6}+3a^{3}b^{3}+b^{6})$ $w=a(a^{6}+3a^{3}b^{3}+2b^{6})$

$x=a^{2}(b^{6}-7)+9ac-3c^{2}$ $y=a^{2}{\big [}b^{3}(2b^{3}+9)+7{\big ]}-3ac(2b^{3}+3)+3c^{2}$ $z=a^{2}b{\big [}b^{3}(b^{3}+3)+2{\big ]}-3abc(b^{3}+2)+3bc^{2 }$ $w=a^{2}b{\big [}b^{3}(b^{3}+6)+11{\big ]}-3abc(b^{3}+4)+3bc^{2 }$

$x=3a^{2}(b^{6}-7)-9ac-c^{2}$ $y=3a^{2}{\big [}b^{3}(2b^{3}-9)+7{\big ]}-3ac(2b^{3}-3)+c^{2}$ $z=3a^{2}b{\big [}b^{3}(b^{3}-6)+11{\big ]}-3abc(b^{3}-4)+bc^{2 }$ $w=3a^{2}b{\big [}b^{3}(b^{3}-3)+2{\big ]}-3abc(b^{3}-2)+bc^{2 }$

Roger Heath-Brown [1] , 1993

$x=9a^{4}$ $y=3a-9a^{4}$ $z=1-9a^{3}$ $w=1$

Mordell , 1956

$x=9a^{3}b+b^{4}$ $y=9a^{4}$ $z=-b^{4}$ $w=9a^{4}+3ab^{3}$

$x=9a^{3}bb^{4}$ $y=9a^{4}-3ab^{3}$ $z=b^{4}$ $w=9a^{4}$

$x=9a^{3}b+b^{4}$ $y=9a^{3}bb^{4}$ $z=9a^{4}-3ab^{3}$ $w=9a^{4}+3ab^{3}$

Az algebrai geometria módszerével kapott megoldás ( en:Fermat köbös )

$x=3a\left(a^{2}+ab+b^{2}\jobb)-9$ $y=\left(a^{2}+ab+b^{2}\jobb)^{2}-9a$ $z=3\left(a^{2}+ab+b^{2}\right)(a+b)+9$ $w=\left(a^{2}+ab+b^{2}\jobb)^{2}+9(a+b)$

Ramanujan

$x=3a^{2}+5ab-5b^{2}$ $y=4a^{2}-4ab+6b^{2}$ $z=5a^{2}-5ab-3b^{2}$ $w=6a^{2}-4ab+4b^{2}$

$x=a^{7}-3a^{4}(1+b)+a(2+6b+3b^{2})$ $y=2a^{6}-3a^{3}(1+2b)+1+3b+3b^{2}$ $z=a^{6}-1-3b-3b^{2}$ $w=a^{7}-3a^{4}b+a(3b^{2}-1)$

$x=-a^{2}+9ab+b^{2}$ $y=a^{2}+7ab-9b^{2}$ $z=2a^{2}-4ab+12b^{2}$ $w=2a^{2}+10b^{2}$

Ismeretlen szerző, 1825

$x=a^{9}-3^{6}$ $y=-a^{9}+3^{5}a^{3}+3^{6}$ $z=3^{3}a^{6}+3^{5}a^{3}$ $w=3^{2}a^{7}+3^{4}a^{4}+3^{6}a$

D. Lemaire, 1955

$x=3888a^{{10}}-135a^{4}$ $y=-3888a^{{10}}-1296a^{7}-81a^{4}+3a$ $z=3888a^{9}+648a^{6}-9a^{3}+1$ $w=1$

V. B. Labkovszkij

$x=4b^{2}-11b-21$ $y=3b^{2}+11b-28$ $z=5b^{2}-7b+42$ $w=6b^{2}-7b+35$

Hardy és Wright

$x=a(a^{3}-2b^{3})$ $y=b(2a^{3}-b^{3})$ $z=b(a^{3}+b^{3})$ $w=a(a^{3}+b^{3})$

$x=a(a^{3}-b^{3})$ $y=b(a^{3}-b^{3})$ $z=b(2a^{3}+b^{3})$ $w=a(a^{3}+2b^{3})$

G. Alekszandrov, 1972

$x=7a^{2}+17ab-6b^{2}$ $y=42a^{2}-17ab-b^{2}$ $z=56a^{2}-35ab+9b^{2}$ $w=63a^{2}-35ab+8b^{2}$

$x=7a^{2}+17ab-17b^{2}$ $y=17a^{2}-17ab-7b^{2}$ $z=14a^{2}-20ab+20b^{2}$ $w=20a^{2}-20ab+14b^{2}$

$x=21a^{2}+23ab-19b^{2}$ $y=19a^{2}-23ab-21b^{2}$ $z=18a^{2}+4ab+28b^{2}$ $w=28a^{2}+4ab+18b^{2}$

$x=3a^{2}+41ab-37b^{2}$ $y=37a^{2}-41ab-3b^{2}$ $z=36a^{2}-68ab+46b^{2}$ $w=46a^{2}-68ab+36b^{2}$

$x=-4a^{2}+22ab-9b^{2}$ $y=36a^{2}-22ab+b^{2}$ $z=40a^{2}-40ab+12b^{2}$ $w=48a^{2}-40ab+10b^{2}$

Ajai Choudhry 1998 [6]

$dx_{1}=(a^{4}+2a^{3}b+3a^{2}b^{2}+2ab^{3}+b^{4})+(2a+b )c^{3},$ $dx_{2}=-\{a^{4}+2a^{3}b+3a^{2}b^{2}+2ab^{3}+b^{4}-(ab) c^{3}\},$ $dx_{3}=c(-a^{3}+b^{3}+c^{3}),$ $dx_{4}=-\{(2a^{3}+3a^{2}b+3ab^{2}+b^{3})c+c^{4}\},$

ahol a számok tetszőleges egész számok, és a számot úgy választjuk meg, hogy a feltétel teljesüljön . $ABC$ $d\ne 0$ ${\megjelenítési stílus (x_{1},x_{2},x_{3},x_{4})=1}$

Koroviev, 2012

$x=-(2a^{2}-2ab-b^{2})cd^{3}-(a^{2}-ab+b^{2})^{2}c^{4}$ $y=\quad (2a^{2}-2ab-b^{2})c^{3}d+(a^{2}-ab+b^{2})^{2}d^{4}$ $z=\quad (a^{2}+2ab-2b^{2})c^{3}d-(a^{2}-ab+b^{2})^{2}d^{4}$ $w=\quad (a^{2}+2ab-2b^{2})cd^{3}-(a^{2}-ab+b^{2})^{2}c^{4}$

ahol , és bármilyen egész szám. [7] $a$ $b\,,\,c$ $d$

Lásd még

Jegyzetek

↑ 1 2 Cohen, Henri 6.4 3. fokozatú diofantin egyenletek // Számelmélet – I. kötet: Eszközök és diofantin egyenletek . - Springer-Verlag , 2007. - Vol. 239- ( Diplomás szövegek matematikából ). - ISBN 978-0-387-49922-2 .
↑ Perelman Ya.I. Szórakoztató algebra / Szerkesztette és kiegészítésekkel V.G. Boltyansky .. - Tizenegyedik kiadás. - Moszkva: "Nauka" Kiadó: Fizikai és matematikai irodalom főkiadása, 1967. - P. 120 -121. — 200 s.
↑ Mario Livio . φ - Isten száma. Az aranymetszés a világegyetem képlete . - AST, 2015. - P. 110. - ISBN 978-5-17-094497-2 .
↑ Bevezetés a számelméletbe . – Első kiadás – Oxford: Oxford University Press , 1938.
↑ Idézet az "1.3.7 egyenlet " szakaszból Hardy és Wright könyvéből ${\displaystyle x^{3}+y^{3}+z^{3}=t^{3))$
↑ Ajai Choudhry. Egyenlő mennyiségű kocka archiválva 2020. július 21-én a Wayback Machine -nél . Rocky Mountain J Math. 28. kötet, 4. szám (1998), 1251-1257.
↑ Sok esetben a számoknak közös osztói vannak. A számok primitív négyesének megszerzéséhez elegendő az egyes számokat a legnagyobb közös osztójukkal csökkenteni . $x,y,z,w$

Irodalom

Hardy G. Tizenkét előadás Ramanujanról. - M. : Számítástechnikai Kutatóintézet, 2002. - 336 p.
V. Serpinsky . §tizenöt. Egyenletek megoldása racionális számokban // Az egyenletek megoldásáról egész számokkal . - M. : Fizmatlit, 1961. - 88 p.
E. Rowland. Ismert egész megoldáscsaládok $x^{3}+y^{3}+z^{3}=n$ (angolul) : napló. Az eredetiből archiválva : 2013. szeptember 27.
Labkovszkij megoldása (2. feladat)
Siziy S. V. 20. Összehasonlítások bármely diploma modulo a prime // Lectures on Number Theory: Textbook for Mathematical Specialties . - Jekatyerinburg: az Uráli Állami Egyetem névadója. A. M. Gorkij , 1999.
Weisstein, Eric W. Diophantine Equation—3rd Powers (angolul) a Wolfram MathWorld weboldalán .