
La sfera (dal greco σφαῖρα, "sphaîra") è il solido geometrico costituito da tutti i punti che sono a distanza minore o uguale a una distanza fissata formula_1, detta "raggio della sfera", da un punto formula_2 detto "centro della sfera".
L'insieme dei punti la cui distanza è eguale a formula_1 è detto "superficie sferica" di centro formula_2 e raggio formula_1.
È detta "semisfera" ciascuna delle metà di un solido sferico diviso in due da un piano passante per il centro o anche ciascuna delle due superfici di una sfera divisa da una sua circonferenza massima.
In geometria cartesiana, una superficie sferica con centro formula_6 e di raggio formula_1 è rappresentata dall'insieme di punti formula_8 tali che
I punti della superficie sferica possono essere parametrizzati in coordinate sferiche nel modo seguente
dove formula_11 e formula_12 rappresentano la latitudine e la longitudine del punto, variando negli intervalli
Ogni punto della superficie sferica è descritto da una sola coppia formula_14 di questo tipo, tranne i poli: la coppia formula_15 descrive sempre il polo nord, e formula_16 sempre il polo sud (per qualsiasi valore di formula_12).
Alternativamente si può utilizzare l'equazione cartesiana della superficie sferica:
con formula_19, formula_20, formula_21, formula_22, numeri reali tali che formula_23. Dall'equazione cartesiana si possono ricavare le coordinate del centro:
L'area della superficie di una sfera di raggio formula_25 è data dall'equazione:
La sfera può essere pensata come un solido di rotazione ottenuto ruotando attorno all'asse formula_27 il grafico della funzione
che rappresenta una semicirconferenza di raggio formula_25. Pertanto, per il primo teorema di Guldino, la superficie laterale è data da:
La superficie totale della sfera si può ottenere, per il primo teorema di Guldino, tramite il seguente integrale:
Il volume della sfera di raggio formula_25 è dato dall'equazione (integrale in formula_33 della superficie):
La dimostrazione di questa formula può essere ottenuta in modo immediato usando il metodo degli indivisibili oppure con gli strumenti nell'analisi matematica.
Si pensi di sommare tutte le aree dei cerchi che si ottengono sezionando la sfera con dei piani orizzontali. Il raggio di questi cerchi varierà con una funzione formula_35 della distanza del piano orizzontale dal centro della sfera e dato che l'area di un cerchio equivale a formula_36 per il raggio al quadrato:
dove formula_38 appunto è la distanza del piano dal centro della sfera.
Raggio alla distanza formula_27
Dunque, dal teorema di Pitagora, formula_35 vale:
che, sostituita nell'equazione del volume, si trova:
Allo stesso modo si può calcolare il volume formula_44 di un segmento di sfera di altezza formula_45
La sfera può anche essere intesa come l'insieme di numerose piramidi infinitesime, tutte con il vertice nel centro della sfera e con i poligoni di base delle piramidi che poggiano sulla superficie della sfera: queste infinite piramidi elementari riempiranno tutto e solo il volume della sfera. Il volume di ogni piramide è:
dal quale si desume il significato della formula per il volume della sfera.
La sfera è la figura tridimensionale con il minimo rapporto superficie/volume: ciò spiega perché a tale forma tendono molti oggetti fisici, dalle gocce di liquido ai corpi celesti. Ad esempio, le bolle sono sferiche perché la tensione superficiale tende a minimizzare l'area a parità di volume.
Il cilindro circoscritto ha un volume che è formula_50 quello della sfera, ed una superficie laterale che è la stessa di quella della sfera. Questo fatto, e le formule scritte sopra, erano già noti ad Archimede.
Con l'aumentare del raggio, il volume della sfera cresce più della superficie. Infatti il rapporto fra queste due quantità è formula_51.
Una sfera può anche essere definita come formata da un semicerchio che ruota intorno al suo diametro. Se si usa una ellisse, si ottiene un ellissoide di rotazione.
Due punti della superficie sferica che stanno sulla stessa retta passante per l'origine sono detti antipodali, e una tale retta è detta "asse", poiché è un asse di simmetria della sfera.
Un cerchio massimo è una circonferenza avente lo stesso centro della sfera, ottenuta quindi intersecando la superficie sferica con un piano passante per l'origine.
Se un punto della superficie sferica è identificato come polo nord, il suo antipodale è il polo sud e l'equatore è il cerchio massimo equidistante dai due poli. I cerchi massimi passanti per i poli sono i meridiani, mentre la linea retta passante per l'origine ed i due poli è l"'asse". Questa terminologia è usata anche per i corpi celesti come la terra, anche se non perfettamente sferici.
La sfera può essere generalizzata in altre dimensioni. Per ogni numero naturale formula_52, una sfera formula_52-dimensionale è l'insieme dei punti nello spazio euclideo formula_54-dimensionale formula_55 che hanno una distanza fissata formula_56 da un certo punto dello spazio.
Ad esempio:
Le sfere di dimensione > 2 sono chiamate anche ipersfere. La sfera formula_52-dimensionale di raggio unitario, centrata nell'origine, viene indicata con formula_61.
Più in generale, in uno spazio metrico formula_62, la sfera di centro formula_27 e raggio formula_56 è l'insieme 
Una sfera in uno spazio metrico può essere un oggetto molto diverso dalla sfera usuale. Ad esempio, può essere vuota: se consideriamo formula_66 con la metrica euclidea, una sfera di raggio formula_1 è vuota se e solo se formula_68 non può essere scritto come somma di formula_52 quadrati.
Dove con formula_1 si intende il raggio della sfera, con formula_45 l'altezza del segmento di sfera o della calotta sferica, con formula_72 l'ampiezza in steradianti della calotta.
Per quanto si sia avvicinato, l'uomo non è ancora riuscito a produrre alcun oggetto dalla sfericità matematicamente perfetta. Finora il miglior risultato è stato raggiunto dall"'Australian Centre for Precision Optics", di Lindfield (Australia). La sfera è stata ottenuta attraverso una levigazione ad altissima precisione di una barra di silicio 28 (un isotopo del silicio) ed è frutto del Progetto Avogadro, che si propone di arrivare alla definizione del chilogrammo perfetto, basata sulla conoscenza dell'esatto numero di atomi che compongono tale sfera. Il suo diametro è di 9,36 centimetri e come uniche imperfezioni presenta una rugosità di 0,3 nanometri e piccole deviazioni di sfericità di circa 60-70 nanometri. In precedenza, il miglior risultato era stato ottenuto dalla NASA, che per la sonda Gravity Probe B, costruita per degli studi gravitazionali in orbita, ha creato dei giroscopi con deviazioni inferiori ai 100 nanometri.
Parmenide paragona l'Essere a una sfera perfetta, sempre uguale a se stessa nello spazio e nel tempo, chiusa e finita (per gli antichi greci il finito era sinonimo di perfezione). La sfera è infatti l'unico solido geometrico che non ha differenze al suo interno, ed è uguale dovunque la si guardi; l'ipotesi collima suggestivamente con la teoria della relatività di Albert Einstein che nel 1900 dirà: «Se prendessimo un binocolo e lo puntassimo nello spazio, vedremmo una linea curva chiusa all'infinito» in tutte le direzioni dello spazio, ovvero, complessivamente, una sfera (per lo scienziato infatti l'universo è finito sebbene illimitato, fatto di uno spazio tondo ripiegato su se stesso).


In matematica, la disuguaglianza triangolare afferma che, in un triangolo, la somma delle lunghezze di due lati è maggiore della lunghezza del terzo. Una sua conseguenza, la disuguaglianza triangolare inversa, afferma invece che la differenza tra le lunghezze dei due lati è minore della lunghezza del rimanente.
Nel contesto della geometria euclidea, la disuguaglianza triangolare è un teorema, conseguenza del teorema del coseno, e, nel caso di triangoli rettangoli, conseguenza del teorema di Pitagora. Essa può essere usata per dimostrare che il percorso più breve tra due punti è il segmento rettilineo che li congiunge.
Nell'ambito degli spazi normati e degli spazi metrici, la disuguaglianza triangolare è una proprietà che ogni norma o distanza deve possedere per essere considerata tale.
Euclide dimostrò la disuguaglianza triangolare usando la costruzione in figura. Iniziando con un triangolo formula_1, si costruisce un triangolo isoscele prendendo il lato formula_2 e un segmento formula_3 della stessa lunghezza lungo il lato formula_4. Poiché l'angolo formula_5 è maggiore dell'angolo formula_6, per i corrispondenti lati opposti vale la stessa disuguaglianza: quindi formula_7. Ma poiché formula_8, si ha che formula_9, ovvero la disuguaglianza cercata. Questa dimostrazione compare negli Elementi di Euclide, libro 1, proposizione 20. Nel 1752, la proposizione euclidea è oggetto di una dissertazione di Tommaso Maria Gabrini, che ne conferma la tesi.
Nel caso di triangolo rettangoli, la disuguaglianza afferma che la somma dei due cateti è maggiore dell'ipotenusa, mentre la differenza è minore di essa.
La disuguaglianza triangolare può essere estesa, tramite induzione matematica, ad un poligono con un numero qualsiasi di lati. In questo caso, essa afferma che la lunghezza di un lato è minore della somma di tutti i rimanenti.
La disuguaglianza triangolare può essere usata per provare che la distanza più breve tra due punti è realizzata dal segmento rettilineo che li congiunge.
Nella sua forma per poligoni generali, essa già prova che ogni percorso lungo una linea spezzata è più lungo di quello lungo il segmento rettilineo che congiunge i due punti. Poiché la lunghezza di una curva qualsiasi è definita come l'estremo superiore della lunghezza delle spezzate che approssimano la curva, si ha che essa è più lunga proprio di queste spezzate, e quindi anche del segmento rettilineo tra i due punti.
Nell'ambito degli spazi metrici, la disuguaglianza triangolare è una proprietà che deve soddisfare una distanza per essere tale. Essa afferma che, in uno spazio metrico formula_10, comunque si scelgano tre punti formula_11, formula_12 e formula_13, vale che:
La disuguaglianza triangolare è responsabile di molte proprietà interessanti delle metriche, tra cui quelle riguardanti la convergenza: è grazie ad essa che si può dimostrare che ogni successione convergente in uno spazio metrico è una successione di Cauchy.
Nell'ambito degli spazi normati, ogni norma deve soddisfare la disuguaglianza triangolare per essere tale. Quindi, considerato uno spazio vettoriale normato formula_15, comunque si scelgano due vettori formula_11 e formula_12 deve valere che
ovvero la norma della somma di due vettori è minore o uguale della somma delle loro norme.
Grazie a tale proprietà, ponendo per ogni formula_11 e formula_12
la funzione formula_22 è una metrica, detta metrica indotta dalla norma. Vale infatti la disuguaglianza triangolare:
Il valore assoluto è una norma per i numeri reali, e quindi soddisfa la disuguaglianza triangolare. Infatti, poiché valgono le seguenti relazioni per ogni formula_11 e formula_12:
sommando membro a membro si ottiene
da cui la disuguaglianza triangolare (applicando una delle proprietà del valore assoluto)
Più precisamente,
Se su uno spazio è definito un prodotto scalare formula_34, è possibile definire la norma indotta da esso:
Come conseguenza della disuguaglianza di Cauchy-Schwarz, essa soddisfa la disuguaglianza triangolare:
da cui, estraendo la radice:
La disuguaglianza triangolare inversa è una immediata conseguenza della disuguaglianza triangolare, che dà un limite dal basso invece che dall'alto. Nell'ambito della geometria euclidea essa afferma che ogni lato è maggiore della differenza degli altri due.
Nel caso di spazi normati, essa afferma che:
Nel caso di spazi metrici, invece:
Questa proprietà implica che sia la funzione norma formula_39 che la funzione distanza da un punto formula_40 sono funzioni di Lipschitz con costante di Lipschitz uguale a 1.
