I föregående del avslöjade vi processen med vilken vi kan förstora koordinatsystem på så sätt att de förstorade ciklarna innehåller icke-primitiva pythagoreiska tripplar.
Om ett heltal kan representeras som en summa av två kvadrater, så kan vi alltid förstora primitiva pythagoreiska tripplar med detta heltal. Till exempel är 5 = 1+4 = 12+22, alltså en summa av två kvadrattal. Rita då nya rutor (gå 1 steg åt ett håll och 2 åt ett annat) i det gamla koordinatsystemet, rutorna kommer ha area 5. Det betyder att alla areor kommer vara exakt 5 gånger större!
Hur är det med andra förstoringen av primitiva pythagoreiska tripplar, till exempel med faktor 3? Låt oss bevisa att trippeln (9,12,15) inte kan uttryckas i form av rektangelareor på en och samma cirkel. Specifikt undersöker vi hur rektangeln med arean 9 kan se ut.
Givetvis kan det vara en vanlig 3×3 eller 1×9 rektangel, där sidorna går längs med rutnätslinjerna. Men kan en rektangel med arean 9 ligga snett i rutsystemet?
Om en rektangelns ena sida ligger snett, så kommer rutnätspunkterna finnas på den med jämna mellanrum. Låt mellanrummets längd vara a. Vinkelrätt mot första sidan går rektangelns andra sida. Där hamnar rutnätspunkterna med exakt samma mellanrum. Eftersom rektangeln har sina hörn i rutnätspunkter, kommer alltså ena sidan består av k antal a:n och andra sidan av m antal a:n. Det vill säga k och m är heltal, medan a är roten ur summan av två heltalskvadrater.
Så arean på en sådan sned rektangel är k*m*a2, alltså en produkt av heltal. Det betyder att om k*m*a2=9, så är a2=1, 3 eller 9. Men varken 1, 3 eller 9 kan skrivas som summa av två positiva heltalskvadrater. Därför finns det inga sneda rektanglar med arean 9.
Överlag måste alltså någon av areans delare kunna uttryckas som en summa av två positiva kvadrattal, för att det ska finnas en sned rektangel med denna area. Det är dessutom ett tillräckligt villkor.
Det betyder att endast två rektanglar har area 9. Rektanglarnas mittpunkt sammanfaller med den omskrivna cirkelns, vi har alltså två varianter.
Men den första cirkeln innehåller bara en enda rektangel, medan den andra innehåller den primitiva pythagoreiska trippeln (9, 40, 41) och inga andra rektangelareor. Så trippeln (9,12,15) går inte att konstruera på det här sättet!
Så vi har hittat minst en trippel som inte är konstruerbar på det här sättet. Jag vet fortfarande inte om det är så att alla icke-primitiva tripplar med en faktor, som inte är en summa av två kvadrater, är okonstruerbara. Kanske kan du hitta ett motexempel?
Men denna fortfarande öppna fråga avslutar vi den här serien inlägg om pythagoreiska tripplar i form av areor. Läs gärna serien från början, kanske upptäcker du nya idéer när du läser för andra gången!