Eulerjeva enakost štirih kvadratov: Razlika med redakcijama

Izbrisana vsebina Dodana vsebina
m m+/dp/+ktgr
m m/dp/slog
Vrstica 5:
: <math>+\,(a_1 b_3 - a_2 b_4 + a_3 b_1 + a_4 b_2)^2 + (a_1 b_4 + a_2 b_3 - a_3 b_2 + a_4 b_1)^2\!\, . </math>
 
[[Leonhard Euler]] je pisal o tej enakosti leta [[1750 v znanosti|1750]]. Lahko se jo [[matematični dokaz|dokažemodokaže]] z [[elementarna algebra|elementarno algebro]] in velja za vsak [[kolobar|komutativni kolobar]]. Če so števila ''a''<sub>i</sub> in ''b''<sub>i</sub> [[realno število|realna]], obstaja še bolj ličen dokaz: enakost izraža dejstvo, da je [[absolutna vrednost]] produkta dveh [[kvaternion]]ov enaka produktu njunih absolutnih vrednosti.
 
Enakost je uporabil [[Joseph-Louis de Lagrange]] pri dokazu svojega [[Lagrangeev izrek štirih kvadratov|izreka štirih kvadratov]].