Uhm alur... prima mettiamo la formula calata dal cielo:
$ $ (a^2+ab+b^2)(c^2+cd+d^2)=(ac+bc+bd)^2+(ac+bc+bd)(ad-bc)+(ad-bc)^2 $
Ora... come si arriva a questo formulone?
Alur noto prima di tutto che n è bello sse 4n è rappresentabile come $ $x^2+3y^2 $. Questo lo ricavo dal discriminante di $ $P(x,y)-n=0 $. Definisco brutti i numeri rappresentabili come $ $x^2+3y^2 $ Ora dimostrare la chiusura per prodotto dei numeri belli è equivalente a dimostrare che: se 4m, 4n sono brutti allora 4mn è brutto. Come fare? Scrivo 4mn e cerco i valori adatti:
$ $4mn=\frac{4m\cdot 4n}{4}=\frac{(x^2+3y^2)(z^2+3v^2)}{4}=\frac{x^2z^2+9y^2v^2+3x^2v^2+3y^2z^2}{4} $
Ora cerchiamo di esprimere questo come numero brutto... fatti:
i primi 2 addendi potrebbe far parte del quadrato $ $(xz\pm 3yv)^2 $
I secondi 2 sono moltiplicati per 3... quindi potrebbero far parte del secondo quadrato della rappresentazione come numero brutto
I secondi 2 divisi per 3 fanno parte del quadrato $ $(xv\pm yz)^2 $
I 2 quadrati visti hanno lo stesso doppio prodotto... se lo voglio far scomparire mi conviene mettere un quadrato con gli addendi concordi ed uno con gli addendi discordi
Per togliermi il 4 al denominatore potrei dividere entrambi i quadrati per 4 (quindi la loro radice per 2)
Per tutti questi fatti è credibile che $ $\left(\frac{xz+3yv}{2}\right)^2+3\left(\frac{xv-yz}{2}\right)^2 $ funzioni... e infatti svolgendo i conti funziona.
Da cui deriva la chiusura dei numeri belli per prodotto. (i quadrati sono interi dati che se $ $x^2+3y^2 $ è divisibile per 4 allora x,y hanno la stessa parità)
Questo basterebbe, ma se si vuole arrivare anche alla formula che ho mostrato all'inizio bisogna svolgersi qualche conticino e trasformare il sse iniziale in un'identità.
Ho dimostrato anche che se un numero è divisibile per un primo dispari congruo a 2 modulo 3 allora non è bello. Questo perchè $ $ x^2+xy+y^2\equiv 0 \pmod{p} $ ha soluzione sse -3 è un residuo quadratico mod p che tramite i simboli di legendre si dimostra essere equivalente a $ $p\equiv 1\pmod{3} $
Inoltre se n è bello allora l'esponente del 2 nella fattorizzazione è pari. Questo viene notando che $ x^2+xy+y^2\equiv 2 \pmod{4} $ non ha soluzione. Quindi se un numero bello è pari è divisibile per 4 e x,y sono pari... quindi divido per 4 e mi ritrovo a dimostrare la stessa cosa con un numero bello minore... induzione.
Ora dimostro che 4p con p primo congruo a 1 modulo 3 è brutto. Considero gli x,y tali che $ $x^3+3y^3\equiv 0\pmod{p} $. Definisco $ $k\equiv \sqrt{-3}\pmod{p} $. Allora vale $ $x=ky\pmod{p} $. Per il lemma di Tue esistono $ $x,y<\sqrt{p} $ che soddisfano quella, li chiamo a,b. Quindi vale uno di questi casi:
$ $a^2+3b^2=p\Rightarrow (2a)^2+3(2b)^2=4p $ che è la tesi
$ $a^2+3b^2=2p\Rightarrow a^2-b^2\equiv 2\pmod{4} $ che è assurdo
$ $a^2+3b^2=3p\Rightarrow a=3a'\Rightarrow b^2+3a'^2=p $ e ci si riconduce al primo caso.
Quindi 4p è brutto.
Ma se 4p è brutto per quanto analizzato all'inizio p è bello.
Unendo tutti i fatti ho dimostrato che n è bello sse non è divisibile per primi dispari congrui a 2 modulo 3 e l'esponente del 2 nella fattorizzazione è pari.
Spero si capisca...
p.s. per il numero di modi in cui è possibile rappresentare n... bisogna passarci un altro po di tempo ma ad occhio e croce viene in base al numero di fattori primi...
p.p.s.
http://it.wikipedia.org/wiki/Lemma_di_Thue
