Brahmagupta-Fibonacci- identiteetti , jota kutsutaan myös Brahmagupta -identiteetiksi tai diofantiniseksi identiteetiksi [1] [2] [3] [4] on algebrallinen identiteetti, joka näyttää kuinka kahden neliösumman tulo voidaan esittää neliösummana ( ja kahdella tavalla):
Yleisalgebran kannalta tämä identiteetti tarkoittaa, että kahden neliön kaikkien summien joukko on suljettu kertolaskussa .
Esimerkki:
Tämä identiteetti julkaistiin ensimmäisen kerran 300-luvulla jKr. e. Diophantus Aleksandrialainen tutkielmassa "Aritmetiikka" (kirja III, lause 19). Intialainen matemaatikko ja tähtitieteilijä Brahmagupta 6. vuosisadalla luultavasti löysi itsenäisesti ja jonkin verran yleisti identiteetin lisäämällä mielivaltaisen parametrin :
Brahmagupta kuvaili identiteettiä tutkielmassa "Brahma-sphuta-siddhanta" ("Brahman parannetut opetukset", 628) ja käytti Pellin yhtälön ratkaisemiseen ( alla )
Euroopassa identiteetti esiintyi ensimmäisen kerran Fibonaccin neliöiden kirjassa ( Liber quadratorum ) (1225).
Antaa olla kompleksilukuja . Sitten Brahmagupta-Fibonacci-identiteetti vastaa kompleksisen moduulin kertovan ominaisuutta :
Todellakin, neliöimällä molemmat puolet, saamme:
tai moduulin määritelmän mukaan:
Kuten edellä mainittiin , Brahmagupta käytti identiteettiään (3), (4) ratkaiseessaan Pell-yhtälön [5] :
missä on luonnollinen luku , joka ei ole neliö. Brahmagupta valitsi ensin yhtälön alkuratkaisun ja kirjoitti sitten identiteetin seuraavassa muodossa [5] :
Tämä osoittaa, että jos kolmiot ja muodostavat ratkaisun yhtälöön x 2 − Ay 2 = k , niin yksi kolmois lisää löytyy
ja niin edelleen, saamalla äärettömän määrän ratkaisuja.
Yleinen menetelmä Pellin yhtälön ratkaisemiseksi, jonka Bhaskara II julkaisi vuonna 1150 ( "chakravala" -menetelmä ), perustuu myös Brahmaguptan identiteettiin.
Yhdessä Fermat–Euler-lauseen kanssa Brahmagupta–Fibonacci-identtisyys osoittaa, että kokonaisluvun neliön ja minkä tahansa muodon alkulukujen tulo voidaan esittää neliöiden summana.
Identiteettiä sovellettiin alun perin kokonaislukuihin , mutta se pätee missä tahansa kommutatiivisessa renkaassa tai kentässä , kuten polynomirenkaassa tai kompleksilukujen kentässä .
Brahmagupta-Fibonacci-identiteetti on Eulerin neljän neliön identiteetin tai Lagrangen identiteetin (lukuteoria) erikoistapaus . Neljän neliön identiteetti pätee myös kvaternioneihin ja analoginen kahdeksan neliön identiteetti oktonioihin .