Fermat, ultimo teorema di
Massimo Bertolin
"Cubum autem in duos cubos, aut quadrato quadratum in duos quadrato quadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos ejusdem [...] analitica di L(f,s) e quindi di L(E,s). La seconda parte della congettura di Birch e Swinnerton-Dyer è nota, grazie ai teoremi di Benedict Gross e Don Zagier e di Victor Kolyvagin, solamente se l'ordine di annullamento di L(E,s) in s=1 è minore o ...
Leggi Tutto
teorema fondamentale dell’algebra
Luca Tomassini
Teorema che stabilisce, per ogni polinomio a coefficienti complessi, l’esistenza di almeno una radice nel campo dei numeri complessi. Più precisamente, [...] complessi ha sempre un numero di radici complesse pari al suo grado. È questa la forma completa del teorema fondamentale dell’algebra. Il teorema è stato per la prima volta enunciato da René Descartes nel 1637, seppure in veste diversa da quella ...
Leggi Tutto
teorema di esistenza degli zeri
Luca Tomassini
Sia f una funzione continua a valori reali su un intervallo chiuso [a,b] della retta reale ℝ e sia c un numero reale compreso tra f(a) e f(b). Il teorema [...] ), esiste un punto x0 tale che f(x0)=0. In questa forma, tale risultato è noto con il nome di teorema di esistenza degli zeri. La dimostrazione può essere realizzata a partire dal principio degli intervalli inclusi di Bolzano-Weierstrass, secondo il ...
Leggi Tutto
theorema egregium
theorema egregium 〈teorèma egrègium〉 [Lat. "teorema egregio"] [ALG] Riguarda la curvatura di una superficie: v. curve e superfici: II 81 e. ...
Leggi Tutto
L'Eta dei Lumi: matematica. La teoria dei numeri
Günther Frei
La teoria dei numeri
La teoria dei numeri (o aritmetica) tratta delle proprietà dei numeri. Lungo tutta la sua storia, un tema dominante [...] Elementi di Euclide, i cui Libri VII, VIII e IX trattano della teoria dei numeri. Nel Libro IX (prop. 36) Euclide dimostra il seguente teorema (teorema 1.1): se la somma 1+2+22+...+2n−1=2n−1=p è un numero primo, allora 2n−1p=m è un numero perfetto; m ...
Leggi Tutto
validita
validità [Der. di valido] [ALG] [FAF] Teorema di v., o di correttezza, dei calcoli predicativi del primo ordine: nella logica matematica, afferma che qualunque teorema di un calcolo predicativo [...] del primo ordine è una formula logicamente valida, cioè è vera sotto ogni possibile interpretazione ...
Leggi Tutto
Uno dei rami fondamentali delle scienze matematiche: in senso lato l’a. studia le operazioni, definite in un insieme, che godono di proprietà analoghe a quelle delle ordinarie operazioni dell’aritmetica. [...] . Uno dei risultati più importanti è, in ambito classico, la dimostrazione, effettuata nel 1995 da A.J. Wiles del cosiddetto grande teorema di Fermat (➔). In campo moderno, un settore di ricerca che ha avuto uno sviluppo notevole, in parte grazie all ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
inverso1
invèrso1 agg. e s. m. [dal lat. inversus, part. pass. di invertĕre «invertire»]. – 1. agg. Contrario, opposto, rovescio rispetto a un altro, rispetto al precedente, rispetto a ciò che è abituale: facciamo ora il caso i.; rifare il...