Binary Trees and Sum of Two Squares

Technische Samenvatting: Binaire Bomen en Som van Twee Kwadraten

Probleemstelling
Het artikel behandelt de structurele relatie tussen twee prominente binaire bomen van rationale getallen: de Stern–Brocot-boom en de Calkin–Wilf-boom. Verder streeft het naar een nieuwe interpretatie van de stelling van Fermat over de som van twee kwadraten (specifiek voor priemgetallen van de vorm $4k+1$) door gebruik te maken van de theorie van de voortzetting van breuken en matrix-gebaseerde padrepresentaties binnen deze bomen.

Methodologie
De auteurs construeren een verenigend kader gebaseerd op een matrix binaire boom. Deze boom wordt gegenereerd uitgaande van de $2 \times 2$ eenheidsmatrix, waarbij een "Rechts" (R) beweging overeenkomt met post-vermenigvuldiging met $\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}$ en een "Links" (L) beweging overeenkomt met post-vermenigvuldiging met $\begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix}$.

• Herstel van bekende bomen: De Stern–Brocot-boom wordt teruggewonnen door elke matrix in deze structuur te post-vermenigvuldigen met de kolomvector $\begin{pmatrix} 1 \\ 1 \end{pmatrix}$ (sommatie van kolommen). De Calkin–Wilf-boom wordt teruggewonnen door pre-vermenigvuldiging met de rijvector $\begin{pmatrix} 1 & 1 \end{pmatrix}$ (sommatie van rijen).
• Verbinding met voortzettingen van breuken: Het artikel legt een directe koppeling vast tussen de convergenten van een voortzetting van een breuk $[q_0; q_1, q_2, \dots]$ en paden door deze matrixboom. Een pad $W$ wordt gedefinieerd door een sequentie van bewegingen die overeenkomen met de partiële breukgetallen ($q_0$ R-bewegingen, $q_1$ L-bewegingen, enz.). Stelling 1 bewijst dat de matrix die voortkomt uit een dergelijk pad de convergenten $A_n/B_n$ en hun voorgangers in haar entiteiten bevat.
• Bewijs Som van Twee Kwadraten: Om te bewijzen dat een priemgetal $p \equiv 1 \pmod 4$ een som van twee kwadraten is, maken de auteurs gebruik van de aanpak van Brillhart betreffende de voortzetting van de breuk $p/x_0$, waarbij $x_0^2 \equiv -1 \pmod p$. Zij merken op dat deze voortzetting van de breuk palindromisch is met een even aantal termen. In plaats van continuanten te gebruiken, construeren de auteurs een specifiek pad $W$ in de matrixboom dat deze palindromische structuur weerspiegelt. Door dit pad te deconstrueren in een matrix $M$ en haar transponst $M^T$, en door de resulterende matrixproducten te analyseren, leiden zij de identiteit van de som van kwadraten af.

Belangrijkste Resultaten

1. Unificatie van Bomen: Het artikel toont aan dat de Stern–Brocot- en Calkin–Wilf-bomen geen verschillende entiteiten zijn, maar worden afgeleid van één enkele onderliggende matrix binaire boom via eenvoudige lineaire operaties (kolom- of rij-sommatie).
2. Pad-Convergent Correspondentie: Stelling 1 biedt een rigoureuze formule die het matrixproduct van een pad, gedefinieerd door de coëfficiënten van de voortzetting van een breuk, koppelt aan de convergenten van die breuk.
3. Constructief Bewijs van de Stelling van Fermat: Het artikel presenteert een bewijs dat elk priemgetal $p = 4k+1$ geschreven kan worden als $p = x^2 + y^2$. Het bewijs steunt op de palindromische aard van de voortzetting van de breuk $p/x_0$.
4. Expliciete Identificatie van Kwadraten: Een significant resultaat is het vermogen om expliciet de gehele getallen $x$ en $y$ te identificeren waarvoor geldt dat $p = x^2 + y^2$. Stelling 5 stelt dat indien een breuk $x/y$ overeenkomt met het pad $M^T$ in de Stern–Brocot-boom (waarbij $M$ afgeleid is van de eerste helft van het palindromische pad van de voortzetting van de breuk), dan $p = x^2 + y^2$. Een vergelijkbaar resultaat geldt voor de Calkin–Wilf-boom met pad $M$.

Betekenis en Claims
Het artikel claimt een nieuwe interpretatie te bieden van het bewijs van Brillhart voor de stelling van Fermat over de som van twee kwadraten. In plaats van uitsluitend te vertrouwen op de algebraïsche eigenschappen van continuanten, maken de auteurs gebruik van de geometrische en structurele eigenschappen van paden door de matrix binaire boom. De primaire betekenis ligt in de expliciete constructie van de twee kwadraten die optellen tot $p$ via de padstructuur van de boom, wat een concrete algoritmische link biedt tussen voortzettingen van breuken, binaire bomen en getaltheoretische identiteiten. Het werk integreert de theorie van de voortzetting van breuken naadloos met de matrix-gebaseerde generatie van rationale bomen, en biedt hiermee een verenigd perspectief op deze wiskundige objecten.