Celoštevilski trikotnik
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0c/Triangle-heronian.svg/220px-Triangle-heronian.svg.png)
Céloštevílski trikótnik je trikotnik s celoštevilskimi dolžinami stranic. Racionálni trikótnik se lahko definira kot trikotnik z racionalnimi dolžinami stranic. Vsak tak trikotnik se lahko reskalira na cele vrednosti dolžin stranic – vse njegove stranice se lahko pomnožijo z istim celim številom – s skupnim mnogokratnikom njihovih imenovalcev), da se dobi celoštevilski trikotnik. Zaradi tega v tem smislu ni pomembnejše razlike med celoštevilskimi in racionalnimi trikotniki.
Obstajajo tudi druge definicije izraza »racionalni trikotnik« – leta 1914 je Carmichael[1] uporabil izraz v smislu, ki se sedaj rabi za heronski trikotnik. Somos[2] ga rabi za trikotnike, katerih dolžine stranic so racionalne. Conway in Guy[3] sta definirala racionalni trikotnik kot trikotnik z racionalnimi dolžinami stranic in racionalnimi koti, merjenimi v stopinjah. V tem primeru je edini racionalni trikotnik enakostranični trikotnik z racionalnimi dolžinami stranic.
Obstaja mnogo splošnih značilnosti za celoštevilski trikotnik. Obstajajo razredi celoštevilskih trikotnikov s posebnimi značilnostmi.
Splošne značilnosti
[uredi | uredi kodo]Z danim obsegom
[uredi | uredi kodo]Vsaka trojica pozitivnih celih števil lahko vedno služi kot dolžine stranic celoštevilskega trikotnika, dokler zanjo velika trikotniška neenakost: najkrajša dolžina stranice je krajša od vsote drugih dveh dolžin stranic:
Vsaka takšna trojica določa celoštevilski trikotnik, ki je do kongruence edini. Tako je število celoštevilskih trikotnikov (do kongruence) z obsegom enako številu particij števila v tri pozitivne dele, za katere velja trikotniška neenakost. To je celo število najbližje , kadar je sod, in , kadar je lih.[4][5] To pomeni tudi, da je število celoštevilskih trikotnikov s sodimi obsegi enako številu celoštevilskih trikotnikov z lihimi obsegi . Zato ne obstajajo celoštevilski trikotniki z obsegi 1, 2 ali 4, obstaja en z obsegi 3, 5, 6 ali 8, dva z obsegomoma 7 ali 10, trije z obsegomoma 9 ali 12, štirje z obsegoma 11 ali 14, pet z obsegoma 13 ali 16, sedem z obsegoma 15 ali 18, osem z obsegoma 17 ali 20, deset z obsegoma 19 ali 22, itd. Prvi členi zaporedja števila celoštevilskih trikotnikov z obsegom pri so:
To zaporedje se imenuje Alkuinovo zaporedje in je enako členom koeficientov razvoja potenčne vrste:
Štirje celoštevilski trikotniki z obsegom 11 imajo na primer dolžine stranic {1, 5, 5}, {2, 4, 5}, {3, 3, 5} ali {3, 4, 4}.
Z dano največjo dolžino stranice
[uredi | uredi kodo]Število celoštevilskih trikotnikov (do kongruence) z dano največjo dolžino stranice in celoštevilsko trojico je takšno število celoštevilskih trojic, da velja in . To je celo število oblike:
Alternativno ima za sodi obliko dvojnega trikotniškega števila in za lihi obliko kvadrata . To pomeni tudi, da število celoštevilskih trikotnikov z največjo dolžino stranice presega število celoštevilskih trikotnikov z največjo dolžino stranice za . Prvi členi zaporedja števila nekongruentnih celoštevilskih trikotnikov z največjo dolžino stranice za so:
Število celoštevilskih trikotnikov (do kongruence) z dano največjo dolžino stranice in celoštevilsko trojico , ki ležijo na ali znotraj polkrožnice s premerom , je enako številu celoštevilskih trojic, da velja , in . To je tudi število celoštevilskih topokotnih ali pravokotnih (neostrokotnih) trikotnikov z največjo dolžino stranice . Prvi členi tega zaporedja za so:
Posledično da razlika med zgornjima zaporedjema število celoštevilskih ostrokotnih trikotnikov (do kongruence) z dano največjo dolžino stranice . Prvi členi tega zaporedja za so:
Ploščina
[uredi | uredi kodo]Po Heronovi formuli, če je ploščina trikotnika z dolžinami stranic , in , je:
Ker so vsi členi pod radikalom na desni strani formule cela števila, sledi, da morajo vsi celoštevilski trikotniki imeti celoštevilske vrednosti , pa bo racionalen.
Koti
[uredi | uredi kodo]Po kosinusnem izreku ima vsak kot v celoštevilskem trikotniku racionalni kosinus.
Če koti poljubnega trikotnika tvorijo aritmetično zaporedje, potem mora biti eden od njih enak 60°.[6] V celoštevilskem trikotniku morajo preostali koti imeti racionalne kosinuse, metoda za tvorjenje takšnih trikotnikov je podana spodaj. Vendar razen trivialnega primera enakostraničnega trikotnika ne obstajajo celoštevilski trikotniki, katerih koti tvorijo geometrijsko ali harmonično zaporedje. To je zaradi tega, ker morajo takšni koti biti racionalni oblike z racionalnim razmerjem Vsi koti celoštevilskega trikotnika pa morajo imeti racionalne kosinuse, to pa se zgodi le kadar je razmerje enako , to je kadar je trikotnik enakostranični.[7]
Kvadrat vsake notranje simetrale kota celoštevilskega trikotnika je racionalen, ker je splošna trikotniška formula za notranjo simetralo kota enaka , kjer je polobseg (in podobno za drugi dve simetrali kotov).
Stranica, razdeljena z višino
[uredi | uredi kodo]Vsaka višina iz oglišča na nasprotno stranico ali njena podaljšana nosilka bo razdelila to stranico ali njeno nosilko v racionalni daljici.
Težiščnice
[uredi | uredi kodo]Kvadrat dvakratnika vsake težiščnice celoštevilskega trikotnika je celo število, ker je splošna formula za kvadrirano težiščnico na stranico enaka , kar da (in podobno za težiščnici drugih dveh stranic).
Polmer očrtane in včrtane krožnice
[uredi | uredi kodo]Ker je kvadrat ploščine celoštevilskega trikotnika racionalen, sta racionalna tudi kvadrata njegovega polmera očrtane in polmera včrtane krožnice.
Razmerje med polmerom včrtane in polmerom očrtane krožnice celoštevilskega trikotnika je racionalno in je enako:
za polobseg in ploščino .
Produkt polmera včrtane in polmera očrtane krožnice celoštevilskega trikotnika je racionalen in je enak:
Zato je kvadrat razdalje med središčem včrtane in središčem očrtane krožnice celoštevilskega trikotnika, ki je po Eulerjevemu izreku enak , racionalen.
Heronski trikotniki
[uredi | uredi kodo]Vse heronske trikotnike se lahko postavi na mrežo z vsakim ogliščem na mrežno točko.[8]
Splošna formula
[uredi | uredi kodo]Heronski trikotnik je trikotnik s celoštevilskimi dolžinami stranic in celoštevilsko ploščino. Vsak heronski trikotnik ima dolžine stranic sorazmerne z:[9]
za cela števila , in , za katera veljajo zveze:
- – največji skupni delitelj števil , in
Sorazmernostni faktor je v splošnem racionalen , kjer pretvori tvorjeni heronski trikotnik v njegovo primitivno obliko, pa skalira to primitivno obliko na zahtevano velikost.
Pitagorejski trikotniki
[uredi | uredi kodo]Pitagorejski trikotnik je pravokoten in heronski. Njegove tri celoštevilske dolžine stranic so znane kot pitagorejska trojica.[10] Vse pitagorejske trojice z dolžino hipotenuze , ki so primitivne (dolžine stranic nimajo skupnega faktorja) se lahko tvorijo z naslednjimi zvezami:
kjer sta in tuji celi števili, en člen pa je sod pri .
Vsako sodo število večje od 2 je lahko kateta pitagorjeskega trikotnika (ne nujno primitivnega), ker, če je dolžina ene katete podana kot in se za dolžino druge katete izbere , je dolžina hipotenuze enaka .[11] To je ravno zgornja rodovna formula, kjer je , območje za pa je lahko od 2 do neskončnosti.
Pitagorejski trikotniki s celoštevilsko dolžino višine na hipotenuzo
[uredi | uredi kodo]Ne obstajajo primitivni pitagorejski trikotniki s celoštevilsko dolžino višine na hipotenuzo. To je zaradi tega, ker je dvakratnik ploščine enak produktu dolžine katerekoli katete in dolžine odgovarjajoče višine – dvakratnik ploščine je tako enak ali , kjer je višina na hipotenuzo . Tri dolžine stranic primitivnega trikotnika so si med seboj tuje, tako da je v popolnoma reducirani obliki – ker za poljubni primitivni pitagorejski trikotnik ne more biti , ne more biti celo število.
Z vsakim pitagorejskim trikotnikom s katetama , in hipotenuzo pa se lahko tvori pitagorejski trikotnik s celoštevilsko dolžino višine s skaliranjem stranic z dolžino hipotenuze . Če je višina, je dobljeni pitagorejski trikotnik s celoštevilsko dolžino višine dan z:[12]
Posledično so vsi pitagorejski trikotniki s katetama , , hipotenuzo in celoštevilsko dolžino višine na hipotenuzo z , kjer nujno velja in , tvorjeni z naslednjimi zvezami:[13][12]
za tuji celi števili in pri .
Heronski trikotniki z dolžinami stranic iz aritmetičnega zaporedja
[uredi | uredi kodo]V trikotniku s celoštevilskimi dolžinami stranic in celoštevilsko ploščino so dolžine stranic v aritmetičnem zaporedju, če in samo če so dolžine stranic enake , kjer je:[14]
pa je največji skupni delitelj , in .
Heronski trikotniki s kotom, enakim dvakratniku drugega
[uredi | uredi kodo]Za vse heronske trikotnike z veljajo naslednje zveze:[15]
s takšnimi celimi števili , in , da velja , ali naslednje:
s celimi števili , in pri in .
Noben od heronskih trikotnikov z ni enakokraki ali pravokotni trikotnik, ker vse nastale kombinacije kotov dajo kote z neracionalnimi sinusi, kar da neracionalno ploščino ali dolžino stranice.
Enakokraki heronski trikotniki
[uredi | uredi kodo]Vsi enakokraki heronski trikotniki so razstavljivi. Tvorijo se z združevanjem dveh skladnih pitagorejskih trikotnikov vzdolž njune skupne katete, tako da so enake stranice enakokrakega trikotnika hipotenuze pitagorejskega trikotnika, kateta enakostraničnega trikotnika pa je dvakratnik druge katete pitagorejskega trikotnika. Zato je vsak pitagorejski trikotnik gradnik dveh enakokrakih heronskih trikotnikov, saj se ju lahko združi po katerikoli kateti. Vsi pari enakokrakih heronskih trikotnikov so dani z racionalnimi mnogokratniki naslednjih zvez:[16]
in:
za tuji celi števili in pri in lihem .
Heronski trikotniki z obsegom, enakim štirikratniku praštevila
[uredi | uredi kodo]Pokazalo se je, da je heronski trikotnik, katerega obseg je štirikratnik praštevila, izključno povezan s praštevilom in, da ima praštevilo obliko .[17][18]
Dobro je znano, da se lahko takšno praštevilo razdeli izključno na takšni celi števili in , da velja (glej Eulerjeva primerna števila). Pokazalo se je tudi, da so takšni heronski trikotniki primitivni, ker mora najmanjša dolžina stranice trikotnika biti enaka praštevilo, ki je ena četrtina njegovega obsega.
Zaradi tega za vse primitivne heronske trikotnike, katerih obseg je štirikratnik praštevila, veljajo naslednje zveze:
za celi števili in pri praštevilskem .
Faktorizacija ploščine je naprej enaka , kjer je praštevilo. Ploščina heronskega trikotnika pa je vedno deljiva s . To da rezultat, da poleg tega, kadar je in , kar da , morajo vse druge delitve in imeti lihi , od katerih je le en deljiv s .
Heronski trikotniki s celoštevilskimi polmeri včrtanih in očrtanih krožnic
[uredi | uredi kodo]Obstaja neskončno mnogo razstavljivih in neskončno mnogo nerazstavljivih primitivnih heronskih (nepitagorejskih) trikotnikov s celim polmerom vrčtane in vsake očrtane krožnice.[19]:§ 3 in 4 Družina razstavljivh je dana z:
družina nerazstavljivih pa je dana z:
Heronski trikotniki kot stranske ploskve tetraedra
[uredi | uredi kodo]Obstajajo tetraedri s celoštevilsko prostornino in heronskimi trikotniki za stranske ploskve. En zgled ima na primer dolžino enega robu enako 896, dolžino nasprotnega robu enako 190 in dolžine preostalih štirih robov enake 1073 – dve ploskvi imata ploščini enaki 436800, druga 47120, prostornina pa je enaka 62092800.[10]:str. 107
Heronski trikotniki na dvorazsežni mreži
[uredi | uredi kodo]Dvorazsežna mreža je pravilna razporeditev med seboj ločenih točk, kjer, če se izbere ena točka za kartezično koordinatno izhodišče (0, 0), imajo potem vse točke koordinati . pri čemer sta in elementa množic vseh pozitivnih in negativnih celih števil. Trikotnik na mreži je vsak trikotnik postavljen na dvorazsežno mrežo na tak način, da vsa oglišča ležijo na mrežnih točkah. Po Pickovem izreku ima trikotnik na mreži racionalno ploščino, ki je ali celo število ali pa ima imenovalec enak 2. Če ima trikotnik na mreži dolžine stranic cele, je heronski s celoštevilsko ploščino.[20]
Dokazalo se je naprej, da se lahko vsi heronski trikotniki postavijo na mrežo.[8][21] Zaradi tega je celoštevilski trikotnik heronski, če in samo če se ga lahko postavi na mrežo.
Obstaja neskončno mnogo primitivnih heronskih (nepitagorejskih) trikotnikov, ki se jih lahko postavi na celoštevilsko mrežo z vsemi oglišči, središči včrtane in središči očrtanih krožnic na mrežnih točkah. Dve družini takšnih trikotnikov sta tisti s parametrizacijami, danimi zgoraj v razdelku #Heronski trikotniki s celoštevilskimi polmeri včrtanih in očrtanih krožnic.[19]:§ 5
Celoštevilski samotežiščnični trikotniki
[uredi | uredi kodo]Samotežiščnični trikotnik je trikotnik katerega težiščnice so v enakem razmeru (v nasprotnem vrstnem redu) z dolžinami stranic. Če so , in dolžine treh stranic pravokotnega trikotnika, razvrščene v naraščajočem vrstnem redu, in, če je , potem so , in dolžine treh stranic samotežiščničnega trikotnika. Pravokotni trikotnik z dolžinami stranic 5, 12, in 13 lahko na primer služi za tvorjenje najmanjšega netrivialnega (to je neenakostraničnega) celoštevilskega samotežiščničnega trikotnika z dolžinami stranic 13, 17 in 7.[22]
Posledično je z Evklidovo formulo, ki tvori primitivne pitagorejske trikotnike, možno tvoriti primitivne celoštevilske samotežiščnične trikotnike z zvezami:
s celoštevilskima tujima in , lihim pri , (če je količina znotraj znaka absolutne vrednosti negativna), ali , (če je ta količina pozitivna), kjer velja trikotniška neenakost.
Pomembna značilnost samotežiščničnega trikotnika je, da kvadrati dolžin njegovih stranic tvorijo aritmetično zaporedje. Posebej je , tako da je .
Celoštevilski trikotniki s posebnimi značilnostmi kotov
[uredi | uredi kodo]Celoštevilski trikotniki z racionalno simetralo kota
[uredi | uredi kodo]Družina trikotnikov s celoštevilskimi dolžinami stranic in racionalno simetralo kota kota je dana z zvezami:[23]
s celima številoma .
Celoštevilski trikotniki s celoštevilskimi n-sektorji vseh kotov
[uredi | uredi kodo]Obstaja neskončno mnogo nepodobnih trikotnikov, v katerih so dolžine vseh treh stranic in simetrale vseh treh kotov cela števila.[24]
Obstaja neskončno mnogo nepodobnih trikotnikov, v katerih so dolžine vseh treh stranic in dva trisektorja vseh treh kotov cela števila.[24]
Za ne obstajajo trikotniki, v katerih bi bile dolžine vseh treh stranic in (n–1) n-sektorjev vseh treh kotov cela števila.[24]
Celoštevilski trikotniki z enim kotom z danim racionalnim kosinusom
[uredi | uredi kodo]Nekateri celoštevilski trikotniki z enim kotom v oglišču z danim racionalnim kosinusom pri ali in so dani z naslednjimi zvezami:[25]
kjer sta in tuji celi števili pri .
Celoštevilski trikotniki s kotom 60° (koti v aritmetičnem zaporedju)
[uredi | uredi kodo]V vseh celoštevilskih trikotnikih s kotom 60° so njihovi koti v aritmetičnem zaporedju. Vsi takšni trikotniki so sorazmerni z:[6]
s tujima celima številoma in pri ali . Od tod se lahko dobijo vse primitivnew rešitve z deljenjem dolžin stranic , in z njihovim največjim skupnim deliteljem.
Celoštevilski trikotnik s kotom 60° se lahko tvori tudi z naslednjimi zvezami:[26]
s tujima celima številoma in pri (kot 60° je nasproti stranice z dolžino ). Od tod se lahko dobijo vse primitivne rešitve z deljenjem dolžin stranic , in z njihovim največjim skupnim deliteljem. Rešitev enakostraničnega trikotnika se na primer dobi pri in , vendar to da , kar ni primitivna rešitev.[a]
Točneje, če je , je , drugače pa . Dva različna para in tvorita enako trojico. Na žalost lahko za oba para enaka velja , tako da se je nemogoče ogniti dvojnikom le z izpuščanjem tega primera. Namesto tega se lahko dvojniki ognejo, če teče le do . Še vedno je treba deliti s 3, če je . Edina rešitev za pod zgornjimi omejitvami je za . S to dodatno omejitvijo se lahko izključno tvorijo vse trojice.
Eisensteinova trojica je množica celih števil, ki so dolžine stranic trikotnika, v katerem je en od kotov enak 60°.
Celoštevilski trikotniki s kotom 120°
[uredi | uredi kodo]Celoštevilski trikotniki s kotom 120° se lahko tvorijo z naslednjimi zvezami:[29]
s tujima celima številoma in pri (kot 120° je nasproti stranice z dolžino ). OD tod se lahko vse primitivne rešitve dobijo z deljenjem dolžin stranic , in z njihovim največjim skupnim deliteljem. Če se na primer vzame in , kar da , in , kar ni primitivna rešitev, vendar vodi do primitivne rešitve , in , ki se lahko do reda dobi z vrednostima in . Glej tudi [27] in [28].
Točneje, če je , potem je , drugače pa . Ker se lahko največja stranica tvori z enim parom , se lahko vsaka primitivna trojica tvori točno na dva načina: enkrat neposredno pri in drugič posredno pri . Zato je za tvorjenje izključno vseh primitivnih trojic treba dodati le en pogoj .
Celoštevilski trikotniki z enim kotom, enakim produktu racionalnega števila z drugim kotom
[uredi | uredi kodo]Za pozitivni tuji celi števili in ima trikotnik z naslednjimi dolžinami stranic kote enake , in in zato dva kota v razmerju , dolžine njegovih stranic pa so cela števila:[30]
kjer je , in sta tuji celi števili, da velja .
Celoštevilski trikotniki z enim kotom, enakim dvakratniku drugega
[uredi | uredi kodo]S kotom nasproti stranice in kotom nasproti stranice se lahko nekateri trikotniki z tvorijo z naslednjimi zvezami:[31]
s celima številoma in pri
Za vse trikotnike z (celoštevilske ali ne) velja .[32]
Celoštevilski trikotniki s kotom, enakim 3/2 drugega
[uredi | uredi kodo]Ekvivalenčni razred podobnih trikotnikov z določajo naslednje zveze:[31]
s celima številoma pri , kjer je število zlatega reza .
Za vse trikotnike z (celoštevilske ali ne) velja .
Celoštevilski trikotniki z enim kotom, enakim trikratniku drugega
[uredi | uredi kodo]Polni ekvivalenčni razred podobnih trikotnikov, za katere velja , se lahko tvori z naslednjimi zvezami:[33]
s celima številoma in pri .
Za vse trikotnike z math> \beta = 3 \alpha \!\, </math> (celoštevilske ali ne) velja .
Celoštevilski trikotniki s tremi racionalnimi koti
[uredi | uredi kodo]Edini celoštevilski trikotnik s tremi racionalnimi koti (racionalnimi števili stopinj ali enakovredno racionalnimi ulomki polnega zasuka) je enakostranični trikotnik.[3] To je zato, ker celoštevilske dolžine stranic pogojujejo tri racionalne kosinuse po kosinusnem izreku, po Nivenovem izreku pa racionalni kosinus sovpada z racionalnim koto, če in samo če je enak 0, ±1/2 ali ±1. Edini od teh, ki dajo kot strogo med 0° in 180° so kosinus z vrednostjo 1/2 s kotom enakim 60°, kosinus z vrednostjo –1/2 s kotom enakim 120° in kosinus z vrednostjo 0 s kotom enakim 90°. Edina kombinacija vseh treh, ki dopušča njihovo mnogokratno rabo in katerih vsota je enaka 180°, je pri vseh kotih enakih 60°.
Celoštevilski trikotniki s celoštevilskim razmerjem polmerov včrtane in očrtane krožnice
[uredi | uredi kodo]Pogoji, da ima celoštevilski trikotnik cloštevilsko razmerje med polmerom očrtane in polmerom včrtane krožnice, so znani prek eliptičnih krivulj.[34][35] Pri najmanjšem primeru za enakostranični trikotnik je . V vsakem znanem primeru velja , to je je deljivo z 8.
Pari skoraj skladnih trikotnikov
[uredi | uredi kodo]Par skoraj skladnih trikotniknikov je par trikotnikov, ki sta podobna ne pa tudi skladna, in imata skupne tri kote in dve stranici. Primitivni celoštevilski skoraj skladni trikotniki, v katerih celoštevilske dolžine štirih različnih stranic (dve stranici sta v obeh trikotnikih in tretja stranica v vsakem trikotniku) nimajo skupnega prafaktorja, imajo trojice stranic:
- and
za pozitivni celi števili in . Najmanjši primer je par (8, 12, 18), (12, 18, 27), ki ga tvorita in .
Posebni celoštevilski trikotniki
[uredi | uredi kodo]- edini trikotnik z zaporednimi celoštevilskimi dolžinami stranic in celo ploščino ima dolžine stranic (3, 4, 5) in ploščino 6.
- edini trikotnik z zaporednimi celoštevilskimi dolžinami višine in stranic ima dolžine stranic (13, 14, 15) in dolžino višine na stranico z dolžino 14 enako 12.
- trikotnik (2, 3, 4) in njegovi mnogokratniki so edini trikotniki s celoštevilskimi dolžinami stranic v aritmetičnem zaporedju in značilnostjo komplementarnih zunanjih kotov.[36][37][38] Pri tej značilnosti, če je kot () topi, in, če se iz oglišča potegne premica, ki pravokotno seka podaljšek stranice v točki , velja .
- trikotnik (3, 4, 5) in njegovi mnogokratniki so edini celoštevilski pravokotni trikotniki z dolžinami stranic v aritmetičnem zaporedju.[38]
- trikotnik (4, 5, 6) in njegovi mnogokratniki so edini trikotniki v katerih je en kot dvakratnik drugega in celoštevilske dolžine stranic v aritmetičnem zaporedju.[38]
- trikotnik (3, 5, 7) in njegovi mnogokratniki so edini trikotniki s kotom 120° in celoštevilskimi dolžinami stranic v aritmetičnem zaporedju.[38]
- edini celoštevilski trikotnik s ima dolžine stranic enake (3, 4, 5).[39]
- edini celoštevilski trikotniki z imajo dolžine stranic enake (5, 12, 13), (6, 8, 10), (6, 25, 29), (7, 15, 20) in (9, 10, 17).[39][40] Od teh prvi dve trojici predstavljajo pravokotne trikotnike. Druga je dvakratnik primitivne pitagorejske trojice (3, 4, 5).
- obstajajo celoštevilski trikotniki s tremi racionalnimi dolžinami težiščnic.[10]:str. 64 Najmanjši ima dolžine stranic (68, 85, 87). Drugi imajo na primer dolžine stranic (127, 131, 158), (113, 243, 290), (145, 207, 328) in (327, 386, 409).
- enakokraki pitagorejski trikotniki ne obstajajo.[16]
- edini primitivni pitagorejski trikotniki za katere je kvadrat obsega enak celoštevilskemu mnogokratniku ploščine () imajo dolžine stranic (3, 4, 5) z obsegom enakim 12 in ploščino enako 6, ter razmerjem med kvadratom obsega in ploščino (); (5, 12, 13) z obsegom enakim 30 in ploščino enako 30, ter razmerjem ; in (9, 40, 41) z obsegom enakim 90 in ploščino enako 180, ter razmerjem .[41]
- (do podobnosti) obstaja edini par racionalnega pravokotnega trikotnika in racionalnega enakostraničnega trikotnika z enakima obsegom in ploščino (). V paru imata trikotnika dolžine stranic enake (377, 135, 352) in (366, 366, 132).[42] Če se zahteva, da sta trikotnika tudi primitivna celoštevilska, tak par ne obstaja.[42] Avtorja poudarjata presenetljivo dejstvo, da se lahko druga trditev dokaže z elementarno argumentacijo (kar sta v dodatku A tudi izvedla), dokaz prve trditve pa zahteva moderno višjo netrivialno matematiko.
Glej tudi
[uredi | uredi kodo]- Robbinsov petkotnik – ciklični petkotnik s celoštevilskimi dolžinami stranic in celoštevilsko ploščino
- Eulerjeva opeka – kvader s celoštevilskimi robovi in diagonalami stranskih ploskev
- celoštevilski tetraeder
Opombe
[uredi | uredi kodo]Sklici
[uredi | uredi kodo]- ↑ Carmicahel (1914), str. 11–13.
- ↑ Somos (2019).
- ↑ 3,0 3,1 Conway; Guy (1996), str. 201 in 228–239.
- ↑ 4,0 4,1 Jenkyns; Muller (2000).
- ↑ Honsberger (1985), str. 39–37.
- ↑ 6,0 6,1 Zelator (2008).
- ↑ Jahnel (2010), str. 2.
- ↑ 8,0 8,1 Yiu (2001).
- ↑ Carmichael (1952).
- ↑ 10,0 10,1 10,2 Sierpiński (2003).
- ↑ A009111: List of ordered areas of Pythagorean triangles, pridobljeno dne 3. marca 2017.
- ↑ 12,0 12,1 Richinick (2008).
- ↑ Voles (1999).
- ↑ Buchholtz; MacDougal (1999).
- ↑ Mitchell (2007).
- ↑ 16,0 16,1 Sastry (2005).
- ↑ Yiu (1998).
- ↑ Yiu; Taylor (1999).
- ↑ 19,0 19,1 Zhou (2018).
- ↑ Buchholz; MacDougall (2001).
- ↑ Marshall; Perlis (2012), str. 2.
- ↑ Parry (1991).
- ↑ Zelator (2007).
- ↑ 24,0 24,1 24,2 De Bruyn (2005).
- ↑ Sastry (1984).
- ↑ Gilder (1982).
- ↑ 27,0 27,1 Burn (2003).
- ↑ 28,0 28,1 Read (2006).
- ↑ Selkirk (1983).
- ↑ Hirschhorn (2011).
- ↑ 31,0 31,1 Deshpande (2002).
- ↑ Willson (1976).
- ↑ Parris (2007).
- ↑ MacLeod (2010).
- ↑ Goehl (2012).
- ↑ Barnard; Silvester (2001).
- ↑ Lord (1998).
- ↑ 38,0 38,1 38,2 38,3 Mitchell (2008).
- ↑ 39,0 39,1 MacHale (1989).
- ↑ Dickson (1920), str. 181..
- ↑ Goehl (2009).
- ↑ 42,0 42,1 Hirakawa; Matsumura (2018).
Viri
[uredi | uredi kodo]- Barnard, T.; Silvester, J. (Julij 2001), »Circle theorems and a property of the (2,3,4) triangle«, Mathematical Gazette, 85: 312−316
- Buchholz, R. H.; MacDougall, J. A. (1999), »Heron Quadrilaterals with sides in Arithmetic or Geometric progression«, Bulletin of the Australian Mathematical Society, 59 (2): 263–269, doi:10.1017/S0004972700032883
- Buchholz, R. H.; MacDougall, J. A. (2001), Cyclic Polygons with Rational Sides and Area, CiteSeerX Penn State University, str. 3, CiteSeerX 10.1.1.169.6336
- Burn, Bob (Marec 2003), »Triangles with a 60° angle and sides of integer length«, Mathematical Gazette, 87: 148–153
- Carmichael, Robert Daniel (1952), The Theory of Numbers and Diophantine Analysis, New York: Dover
- Carmichael, Robert Daniel (1959) [1914], »Diophantine Analysis«, v R. D. Carmichael (ur.), The Theory of Numbers and Diophantine Analysis, Dover Publications, str. str. 11–13
- Conway, John Horton; Guy, Richard Kenneth (1996), »The only rational triangle«, The Book of Numbers, Springer-Verlag, str. 201 in 228–239
- De Bruyn, Bart (2005), »On a Problem Regarding the n-Sectors of a Triangle« (PDF), Forum Geometricorum, 5: 47–52, arhivirano iz prvotnega spletišča (PDF) dne 5. decembra 2020, pridobljeno 23. septembra 2020
- Deshpande, M. N. (november 2002), »Some new triples of integers and associated triangles«, Mathematical Gazette, 86: 464–466
{{citation}}
: Vzdrževanje CS1: samodejni prevod datuma (povezava) - Dickson, Leonard Eugene (1920), History of the Theory of Numbers, vol.2, str. 181
- Gilder, J. (december 1982), »Integer-sided triangles with an angle of 60°«, Mathematical Gazette, 66: 261–266
{{citation}}
: Vzdrževanje CS1: samodejni prevod datuma (povezava) - Goehl, John F. Jr. (2009), »Pythagorean triangles with square of perimeter equal to an integer multiple of area« (PDF), Forum Geometricorum, 9: 281–282, arhivirano iz prvotnega spletišča (PDF) dne 5. decembra 2020, pridobljeno 23. septembra 2020
- Goehl, John F. Jr. (2012), »More integer triangles with R/r = N« (PDF), Forum Geometricorum, 12: 27−28, arhivirano iz prvotnega spletišča (PDF) dne 20. decembra 2021, pridobljeno 23. septembra 2020
- Hirakawa, Yoshinosuke; Matsumura, Hideki (2018), »A unique pair of triangles«, Journal of Number Theory, 194: 297–302, arXiv:1809.09936, doi:10.1016/j.jnt.2018.07.007, ISSN 0022-314X
- Hirschhorn, Michael D. (Marec 2011), »Commensurable triangles«, Mathematical Gazette, 95: 61−63
- Honsberger, Ross (1985), Mathematical Gems III, Vol.9 Dolciani Mathematical Expositions, The Mathematical Association of America, str. 39–37
- Jahnel, Jörg (2010), When is the (Co)Sine of a Rational Angle equal to a rational number?, arXiv:1006.2938, Bibcode:2010arXiv1006.2938J
- Jenkyns, Tom; Müller, Eric (Avgust 2000), »Triangular Triples from Ceilings to Floors«, American Mathematical Monthly, 107 (7): 634–639
- Lord, N. (Marec 1998), »A striking property of the (2,3,4) triangle«, Mathematical Gazette, 82: 93−94
- MacHale, D. (Marec 1989), »That 3,4,5 triangle again«, Mathematical Gazette, 73: 14−16
- MacLeod, Allan J. (2010), »Integer triangles with R/r = N« (PDF), Forum Geometricorum, 10: 149−155, arhivirano iz prvotnega spletišča (PDF) dne 20. januarja 2022, pridobljeno 23. septembra 2020
- Marshall, Susan H.; Perlis, Alexander R. (2012), Heronian tetrahedra are lattice tetrahedra (PDF), University of Arizona, str. 2
- Mitchell, Douglas W. (Julij 2007), »Heron triangles with ∠B=2∠A«, Mathematical Gazette, 91: 326–328
- Mitchell, Douglas W. (Julij 2008), »The 2:3:4, 3:4:5, 4:5:6, and 3:5:7 triangles«, Mathematical Gazette, 92
- Parris, Richard (november 2007), »Commensurable Triangles«, College Mathematics Journal, 38 (5): 345–355, doi:10.1080/07468342.2007.11922259
{{citation}}
: Vzdrževanje CS1: samodejni prevod datuma (povezava) - Parry, C. F. (1991), »Steiner–Lehmus and the automedian triangle«, Mathematical Gazette, 75 (472): 151–154, doi:10.2307/3620241, JSTOR 3620241
- Read, Emrys (Julij 2006), »On integer-sided triangles containing angles of 120° or 60°«, Mathematical Gazette, 90: 299−305
- Richinick, Jennifer (Julij 2008), »The upside-down Pythagorean Theorem«, Mathematical Gazette, 92: 313–317
- Sastry, K. R. S. (december 1984), »Integer-sided triangles containing a given rational cosine«, Mathematical Gazette, 68: 289−290
{{citation}}
: Vzdrževanje CS1: samodejni prevod datuma (povezava) - Sastry, K. R. S. (2005), »Construction of Brahmagupta n-gons« (PDF), Forum Geometricorum, 5: 119–126, arhivirano iz prvotnega spletišča (PDF) dne 5. decembra 2020, pridobljeno 23. septembra 2020
- Selkirk, K. (december 1983), »Integer-sided triangles with an angle of 120°«, Mathematical Gazette, 67: 251–255
{{citation}}
: Vzdrževanje CS1: samodejni prevod datuma (povezava) - Sierpiński, Wacław Franciszek (2003) [1962], Pythagorean Triangles, Dover Publications
- Somos, Michael (2. julij 2019), Rational triangles (v angleščini), arhivirano iz prvotnega spletišča dne 20. decembra 2021, pridobljeno 16. septembra 2020
- Voles, Roger (Julij 1999), »Integer solutions of a−2+b−2=d−2«, Mathematical Gazette, 83: 269–271
- Willson, William Wynne (Junij 1976), »A generalisation of the property of the 4, 5, 6 triangle«, Mathematical Gazette, 60: 130–131
- Yiu, Paul (1998), »CRUX, Problem 2331, Proposed by Paul Yiu« (PDF), Memorial University of Newfoundland, str. 175–177, arhivirano iz prvotnega spletišča (PDF) dne 5. septembra 2015, pridobljeno 23. septembra 2020
- Yiu, Paul (2001), »Heronian triangles are lattice triangles«, American Mathematical Monthly, 108: 261–263
- Yui, Paul; Taylor, J. S. (1999), »CRUX, Problem 2331, Solution« (PDF), Memorial University of Newfoundland, str. 185–186, arhivirano iz prvotnega spletišča (PDF) dne 16. februarja 2017, pridobljeno 23. septembra 2020
- Zelator, Konstantine (2007), »Integral Triangles and Diophantine Equations« (PDF), Mathematical Spectrum, 39 (2): 59−62[mrtva povezava]
- Zelator, Konstantine (2008), Triangle Angles and Sides in Progression and the diophantine equation x2+3y2=z2 (PDF), Cornell Univ. archive
- Zhou, Li (2018), »Primitive Heronian Triangles With Integer Inradius and Exradii«, Forum Geometricorum, 18: 71–77
Zunanje povezave
[uredi | uredi kodo]