Od šestiúhelníku k afinní invarianci: Jak iracionální posuny navrací algebraickou čistotu

V minulém příspěvku jsme zkoumali geometricko-algebraickou vlastnost šestiúhelníku, jehož obsah lze vyjádřit pomocí zobecněného funkčního předpisu:

S = |2c F(c) − a F(a) − b F(b)|

Ukázali jsme si, že pro lineární souřadnice dává tento vztah obsah S = 2c² − a² − b² a pro kvadratické souřadnice (n = 2) dostáváme S = 2c³ − a³ − b³, což lze geometricky nahlédnout rozkladem na tři lichoběžníky díky faktoru 2⁻¹ (resp. ½) v Gaussově vzorci (Shoelace formula).

Co se však stane, pokud se na stejný problém podíváme očima afinní geometrie a pootočíme celou konstrukci o 45° do soustavy tvořené rovnoramennými pravoúhlými trojúhelníky?

1. Otočení do soustavy čtverce (diamantu)

Uvažujme vnější útvar určený vrcholy A₁ až A₄ v pootočené soustavě. Pro parametr c = 5 dostáváme vrcholové body čtverce s úhlopříčkami rovnoběžnými s osami:

• A₁ = (c, 2c) = (5, 10)
• A₂ = (0, c) = (0, 5)
• A₃ = (c, 0) = (5, 0)
• A₄ = (2c, c) = (10, 5)

Tento vnější čtverec sestává ze čtyř rovnoramenných pravoúhlých trojúhelníků se společným vrcholem v centru (c, c) = (5, 5). Jeho celkový obsah je:

V = 2c² = 2 · 5² = 50

Délka strany tohoto vnějšího čtverce je a₁ = c√2 ≈ 7,07.

2. Přítomnost iracionálních bodů B₁ až B₄

Pokud do této geometrie vnoříme vnitřní čtverec tvořený body B₁ až B₄ tak, aby jeho úhlopříčky či vzdálenosti od středu odpovídaly poloměru c / √2, dostáváme souřadnice s odmocninou ze dvou:

Bod	Analytické vyjádření	Numerická hodnota (pro c = 5)
B1	(c, c + c / √2)	(5; 8,54)
B2	(c − c / √2, c)	(1,46; 5)
B3	(c, c − c / √2)	(5; 1,46)
B4	(c + c / √2, c)	(8,54; 5)

Při této volbě mají strany vnitřního čtverce najednou celočíselnou délku b₁ = c = 5 a jeho obsah je přesně S_vnitřní = c² = 25.

Prohození rolí: Dochází zde k pozoruhodnému jevu – zatímco vnější čtverec měl celočíselnou úhlopříčku a iracionální strany, vnitřní čtverec má celočíselné strany, ale iracionální souřadnice vrcholů.

3. Odstranění iracionality pomocí posunutí r a s

Nyní hledáme posunutí o vzdálenosti r a s od iracionálních hranic k našim původním parametrům a a b:

r = b − (c / √2)   a   s = (c / √2) − a

Když tyto dvě hodnoty sečteme, iracionální člen c / √2 se stornuje a úplně vypadne:

r + s = [b − (c / √2)] + [(c / √2) − a] = b − a

✨ ALGEBRAICKÁ ALCHYMIE

Ačkoliv jednotlivé mezikroky v diagonální soustavě generují iracionální čísla s√2, celková bilance ploch a rozměrů zůstává striktně racionální. Iracionální členy se chovají jako doplňkový algebraický most, který se při finálním výpočtu obsahu stornuje.

4. Afinní vlastnosti kvadratické plochy

Proč původní vzorec S = |2c F(c) − a F(a) − b F(b)| funguje bez ohledu na to, zda pracujeme v pravoúhlé mřížce nebo v otočené soustavě rovnoramenných pravoúhlých trojúhelníků? Odpověď dává afinní geometrie:

• Zachování poměrů obsahů: Afinní transformace (rotace, skosení, rovnoměrné škálování) zachovávají poměry obsahů rovinných útvarů. Pokud má útvar v jedné soustavě obsah vyjádřený jako 2c² − a² − b², v jakékoliv afinně transformované soustavě bude jeho obsah násobkem téhož výrazu s invariantním jakobiánem transformace.
• Zachování rovnoběžnosti a dělení úseček: Lichoběžníky zůstávají lichoběžníky a středy úseček zůstávají středy úseček. Důkaz rozkladem na tři lichoběžníky (pro n = 2) je tudíž platný i po pootočení.
• Kvadratické číslo jako afinní invariant: Plocha vyjádřená kvadratickým číslem reprezentuje invariantní bilanci. Přechod mezi souřadnicemi pouze redistribuuje váhy mezi jednotlivé osy, ale algebraická struktura předpisu F(x) zůstává nedotčena.

Závěr

Zkoumání jednoduchého šestiúhelníku nás dovedlo od elementárního odřezávání rohových trojúhelníků přes Gaussovu metodu až k afinním vlastnostem rovinných útvarů. Vnitřní iracionalita bodů B₁…B₄ se při vhodném posunutí r a s stornuje a ponechává čistou algebraickou eleganci.

Geometrické znázornění mocnin: Invariantní obsah pětiúhelníku

Úvod

Když se v geometrii řekne „druhá mocnina čísla $c$“, naprostá většina z nás si automaticky představí klasický čtverec o straně $c$. Matematická krása však spočívá v tom, že stejného obsahu ($S = c^2$) lze dosáhnout i pomocí mnohem komplexnějších a dynamičtějších tvarů.

Při zkoumání goniometrických závislostí a specifických sklonů přímek (kde $\tan(\alpha) = \frac{1}{2}$) lze zkonstruovat pozoruhodné rodiny pětiúhelníků. Tyto útvary se s měnícím se parametrem $c$ lineárně deformují, avšak jejich výsledná plocha zůstává vůči těmto transformacím zcela imunní – je invariantní a stále dokonale odpovídá hodnotě $c^2$. Níže si ukážeme dvě varianty takového pětiúhelníku (konvexní prohyb a variantu s překřížením do tvaru písmene „W“) a matematicky si ověříme jejich vlastnosti.

Teoretické ověření (Gaussova reprezentace obsahu)

Pro exaktní důkaz, že obsah obou variant je nezávisle na tvaru roven $c^2$, využijeme tzv. Gausvův vzorec pro obsah n-úhelníku (lacing formula). Tento algoritmický přístup počítá plochu pomocí sumy determinantů souřadnic sousedních vrcholů.

Mějme souřadnice vrcholů pro Variantu A:

• Q1 = (0, 2c)
• Q2 = (3/5c, 8/5c)
• Q3 = (2/5c, 2/5c)
• Q4 = (c, 0)
• Q5 = (c, 2c)

Dosazením do vzorce pro dvojnásobek obsahu ($2S$) získáme:

2S = (x₁y₂ - y₁x₂) + (x₂y₃ - y₂x₃) + (x₃y₄ - y₃x₄) + (x₄y₅ - y₄x₅) + (x₅y₁ - y₅x₁)

2S = [0·(8/5)c - 2c·(3/5)c] + [(3/5)c·(2/5)c - (8/5)c·(2/5)c] + [(2/5)c·0 - (2/5)c·c] + [c·2c - 0·c] + [c·2c - 2c·0]

2S = [-1.2c²] + [0.24c² - 0.64c²] + [-0.4c²] + [2c²] + [2c²]

2S = -1.2c² - 0.4c² - 0.4c² + 2c² + 2c²

2S = -2c² + 4c² = 2c²

S = c²

U Varianty B, kde dochází k záměně pořadí vnitřních bodů Q2 a Q3, dává výpočet analogicky stejný výsledek. Změna pořadí pouze přesune ekvivalentní dílčí obsahy v rámci vymezeného obdélníku o rozměrech $c \times 2c$.

Interaktivní vizualizace

Pohybujte posuvníkem parametru c a sledujte, jak se hodnoty v Gaussově metodě pod grafy dynamicky přepočítávají, zatímco výsledné $S$ zůstává konstantně rovno $c^2$.

Parametr c: 5.0

Teoretický obsah (c²): 25.00

Varianta A (Konvexní prohyb)

Varianta B (Překřížení / "W")