I del 1 såg vi hur vissa pythagoreiska tripplar kunde representeras i form av areor på rektanglar inuti cirklar på rutnät. I den här delen undersöker vi huruvida detta är möjligt för alla primitiva tripplar.
Primitiva pythagoreiska tripplar (a,b,c) är sådana att talen a, b och c inte har några gemensamma delare. Till exempel är (3,4,5) en primitiv pythagoreisk taltrippel, medan (6,8,10) är en icke-primitiv sådan.
Ur varje icke-primitiv pythagoreisk taltrippel kan vi nämligen få en primitiv: Om de tre talen har största gemensamma delaren d, så kan de skrivas på följande sätt: a = d·r, b = d·s och c = d·t.
Eftersom a2 + b2 = c2, så är även (dr)2 + (ds)2 = (dt)2. Förkortar vi likheten med d2, så får vi r2 + s2 = t2. Således har vi fått en ny pythagoriesk trippel (r,s,t). Den är primitiv, eftersom r, s och t inte kan ha några gemensamma delare (deras gemensamma primfaktorer skulle ha ingått i d).
Ur primitiva taltripplar kan man förstår tvärtom få oändligt många icke-primitiva genom att multiplicera alla tre talen med en och samma faktor.
Således finns det oändligt många pythagoreiska taltripplar, men finns det oändligt många primitiva?
Ja, det visar sig att det finns oändligt många sådana och dessutom genereras varje primitiv trippel genom två heltal, som vanligen betecknas m och n. Dessa tal bör vara relativt prima och ett av dem måste vara udda, medan det andra måste vara jämnt. Givet sådana två tal, kommer följande tre tal bilda en pythagoreisk trippel: (m2-n2, 2mn, m2+n2). Kontrollera gärna att oavsett vad m och n är, så kommer Pythagoras likhet gälla för dem.
Till exempel kan trippeln (3,4,5) skrivas som (22-12, 2·2·1, 22+12), det vill säga den genereras av talen 1 och 2.
Talen 3 och 8 ger oss trippeln (2·3·8, 82-32, 82+32), det vill säga (48, 55, 73) och just för det exemplet kommer vi rita upp en cirkel som innehåller rektanglar med respektive areor. Men låt oss beskriva hur vi agerar för allmänna m och n, det vill säga för en godtycklig primitiv pythagoreisk taltrippel.
Talen m och n är nämligen till stor hjälp när cirkeln konstrueras. Vi börjar inte i cirkelns mittpunkt, som man skulle kunna tro, utan på en punkt på randen (en heltalspunkt, som kommer vara hörn för åtminstone en rektangel). Markera en punkt m+n steg nedanför startpunkten, samt m-n steg till höger. Komplettera till en rektangel med en fjärde punkt på rutnätet. Rektangelns area är (m+n)(m-n) = m2 – n2 och dess mittpunkt måste sammanfalla med cirkelns. Vi bestämmer den genom att korsa diagonalerna.
Rektangeln vi har ritat är uppenbarligen inte en kvadrat, så vi får fyra nya rutnätspunkter som också ligger på cirkeln genom att rotera rektangeln 90 grader runt cirkelns mittpunkt:
Nu har vi fått en cirkel med åtta rutnätspunkter utsatta och det är faktiskt allt vi behöver! Låt oss bevisa det.
Markera en rektangel som har sina sidor vinklade 45 grader i jämförelse med den första. Kortsidan utgör hypotenusan i en likbent rätvinklig triangel med sida n, medan långsidan är på samma sätt, fast med m. Då kommer alltså arean att vara √(2n2)·√(2m2) = √(4m2n2) = 2mn. Precis som ett av talen i den pythagoreiska trippeln.
Markera nu en rektangel, som dessutom är en kvadrat genom att ta varannan punkt på cirkeln. Sidan blir lika med √(m2+n2), så arean måste bli lika med just m2+n2. Därmed är den sista arean funnen!
Nu uppstår det fler frågor: Dyker det någonsin upp några extra rektanglar med en annan area vid en sådan konstruktion? Och hur gör man för att konstruera cirklar för icke-primitiva pythagoreiska taltripplar?
Vi försöker besvara dessa frågor i nästa del.