Rozměrová bariéra

Geometrická demonstrace rozměrové bariéry Velké Fermatovy věty

Tento text analyzuje pokus o geometrickou reprezentaci Velké Fermatovy věty v eukleidovské rovině (2D). Ukazuje, na jakém přesném rozměrovém konfliktu selhává možnost promítnout třetí a vyšší mocniny do pravoúhlého trojúhelníku pomocí lineárního parametru rozdělení \(\mu\).

1. Referenční stav pro n = 2 (Homogenní prostor)

Uvažujme velký pravoúhlý trojúhelník, který reprezentuje mocninu \(c^2\). Zvolíme základnu \(c\) a výšku \(2c\).

Celkový obsah: \( S = \frac{c \cdot 2c}{2} = c^2 \)

Nyní definujeme posun \(\mu\) od středové polohy tak, abychom plochu rozdělili na obsahy odpovídající \(b^2\) a \(a^2\):

\( \frac{2c \left( \frac{c}{2} + \mu \right)}{2} = b^2 \)

Z toho lineární úpravou získáme parametr posunu:

\( \mu = \frac{b^2 - a^2}{2c} \)

Geometrický závěr: Obě odvěsny mají rozměr délky (\([c]\)). Výsledná plocha má rozměr obsahu. Parametr \(\mu\) je lineární délka. Všechny geometrické entity jsou v rámci 2D roviny homogenní a plně slučitelné s aritmetikou celých čísel (Pythagorejské trojice).

2. Rozměrový konflikt pro n = 3

Abychom v rovině vyjádřili obsah odpovídající třetí mocnině \(c^3\), musíme formálně nahradit výšku \(2c\) výrazem \(2c^2\).

Základna = \(c\)
Výška = \(2c^2\)
Obsah = \( \frac{c \cdot 2c^2}{2} = c^3 \)

Při pokusu o rozdělení plochy pro získání \(b^3\) a \(a^3\) opět použijeme posun \(\mu\):

\( \frac{2c^2 \left( \frac{c}{2} + \mu \right)}{2} = b^3 \)

\( \mu = \frac{b^3 - a^3}{2c^2} \)

Až sem se zdá být vše algebraicky v pořádku. Kritický zlom ovšem nastává při pohledu z druhé osy. Pokud se pokusíme vyjádřit obsah \(a^3\) pomocí parametru \(\mu\), narazíme na vztah:

\( \frac{c (c^2 - 2\mu^2)}{2} = a^3 \)

Tento vztah už není geometricky ekvivalentní tomu prvnímu. Výraz \(2c^2\) totiž nemá rozměr délky, ale obsahu (\([c^2] \neq [c]\)). V obrázku geometricky neexistuje úsečka o délce \(c^2 - 2\mu^2\). Je to čistě algebraická konstrukce, která míchá rozměrově nekompatibilní veličiny.

3. Rozpad parametrizace

Výše popsaný rozměrový konflikt vede k tomu, že parametr \(\mu\) je definován dvěma neslučitelnými způsoby:

• Z první rovnice plyne lineární závislost: \( \mu \propto (b^3 - a^3) \)
• Z druhé rovnice plyne kvadratická závislost: \( \mu^2 \propto (b^3 - a^3) \)

Předpoklad, že obě tyto definice musí platit současně, vede k algebraickému sporu:

\( b^3 - a^3 = 2c^3 \)

4. Archimédovská mechanická metoda: Model klínu

Pokud do geometrického modelu zavedeme fyzikální veličinu hmotnost ($M$), získáme nový pohled na bariéru pro $n=3$. Představme si původní trojúhelník ne jako plochu, ale jako těleso (klín) s proměnnou hustotou $\rho$.

Aby hmotnost odpovídala $c^3$, musí hustota v každém bodě $x$ růst lineárně: $\rho(x) = x$.
Celková hmotnost klínu:
$$ M = \int_0^c (2x \cdot x) \, dx = \int_0^c 2x^2 \, dx = \frac{2}{3}c^3 $$

Problém pootočení osy (řezu)

Předpokládejme, že existuje celočíselné řešení $a^3 + b^3 = c^3$. Mechanicky to znamená, že tento hmotný klín lze rozdělit jediným přímým řezem (úhlopříčkou) na dvě části o hmotnostech odpovídajících $a^3$ a $b^3$.

{/* Reason: Procedurální vysvětlení fyzikálního rozpadu modelu při pootočení osy. */} Hledáme polohu dělicí přímky $y = kx + q$ tak, aby momenty sil obou částí vzhledem k těžišti byly v rovnováze. Řez je lineární operace (1. stupeň), ale hmota v modelu roste kubicky (3. stupeň). Pootočení osy tak, aby hmotnostně vyhověla celým číslům $a^3$ a $b^3$, nevyhnutelně vede k tomu, že směrnice $k$ (úhel pootočení) bude obsahovat iracionální hodnoty (třetí odmocniny).

Fyzikální závěr: Nelze provést lineární řez v eukleidovské mřížce tak, aby oddělil celočíselné objemy třetích mocnin. Geometrická "osa rozdělení" by v takovém případě musela procházet body, které neleží v celočíselné struktuře prostoru.

Závěr

Tento rozpor (\( b^3 - a^3 = 2c^3 \)) není chybou ve výpočtu, ale je přímým důkazem nekompatibility parametrizace. Dokládá, že tentýž parametr \(\mu\) nelze v 2D rovině definovat konzistentně pro obě osy současně, pokud \(n > 2\).

Můj model nevytváří formální algebraický důkaz Velké Fermatovy věty, ale poskytuje exaktní geometrickou demonstraci. Ukazuje bod, kde se 2D eukleidovská rovina "hroutí" při pokusu o zobrazení třetích mocnin. Dvojka (\(n=2\)) je rozměrový strop, za kterým se geometrie roviny a aritmetika mocnin definitivně rozcházejí.