Brahmagupta-Fibonacci two-square identity: Difference between revisions

Latest revision as of 04:58, 16 January 2012

Statement

As an identity

For all $a,b,c,d$ in a commutative ring:

$\!(a^{2}+b^{2})(c^{2}+d^{2})=(ac-bd)^{2}+(ad+bc)^{2}$

For products two at a time

In any commutative unital ring, if $x$ and $y$ can each be written as a sum of two squares, so can $xy$ .

More concretely, if $x=a^{2}+b^{2}$ and $y=c^{2}+d^{2}$ , then $xy=(ac+bd)^{2}+(ad-bc)^{2}$ .

For products more than two at a time

In any commutative unital ring, if $x_{1},x_{2},\dots ,x_{n}$ are elements each of which can be written as a sum of two squares, so can the product $x_{1}x_{2}\dots x_{n}$ .

Note that this follows by induction from the statement for products two at a time.

Interpretations

In terms of complex numbers

This identity is motivated by complex numbers. In fact, it is precisely the statement that the modulus-squared operation for complex numbers is multiplicative. To see this note that:

$a^{2}+b^{2}$ is the modulus-squared of the complex number $a+ib$
$c^{2}+d^{2}$ is the modulus-squared of the complex number $c+id$ .
$(ac-bd)^{2}+(ad+bc)^{2}$ is the modulus-squared of the complex number $(a+ib)(c+id)$ .

In terms of trigonometry

This is based on the interpretation in terms of complex numbers, and relates the formula to the angle sum formulas for sine and cosine. Fill this in later

Related facts

Applications

Positive integer is a sum of two squares iff it has no prime divisor that is 3 mod 4 with odd multiplicity

@@ Line 1: / Line 1: @@
 ==Statement==
-In any [[commutative unital ring]], if <math>x</math> and <math>y</math> can each be written as a [[sum of two squares]], so can <math>xy</math>.
+===As an identity===
-More concretely, if <math>x = a^2 + b^2</math> and <math>y = c^2 + d^2</math>, then <math>xy = (ac + bd)^2 + (ad - bc)^2</math>. In other words, for all <math>a,b,c,d</math> in a commutative ring:
+For all <math>a,b,c,d</math> in a commutative ring:
-<math>\! (a^2 + b^2)(c^2 + d^2) = (ac + bd)^2 + (ad - bc)^2</math>
+<math>\! (a^2 + b^2)(c^2 + d^2) = (ac - bd)^2 + (ad + bc)^2</math>
+===For products two at a time===
+In any [[commutative unital ring]], if <math>x</math> and <math>y</math> can each be written as a [[fact about::sum of two squares]], so can <math>xy</math>.
+More concretely, if <math>x = a^2 + b^2</math> and <math>y = c^2 + d^2</math>, then <math>xy = (ac + bd)^2 + (ad - bc)^2</math>.
+===For products more than two at a time===
+In any [[commutative unital ring]], if <math>x_1, x_2, \dots, x_n</math> are elements each of which can be written as a [[sum of two squares]], so can the product <math>x_1x_2 \dots x_n</math>.
+Note that this follows by induction from the statement for products two at a time.
+==Interpretations==
+===In terms of complex numbers===
+This identity is motivated by complex numbers. In fact, it is precisely the statement that the modulus-squared operation for complex numbers is multiplicative. To see this note that:
+* <math>a^2 + b^2</math> is the modulus-squared of the complex number <math>a + ib</math>
+* <math>c^2 + d^2</math> is the modulus-squared of the complex number <math>c + id</math>.
+* <math>(ac - bd)^2 + (ad + bc)^2</math> is the modulus-squared of the complex number <math>(a + ib)(c + id)</math>.
+===In terms of trigonometry===
+This is based on the interpretation in terms of complex numbers, and relates the formula to the angle sum formulas for sine and cosine. {{fillin}}
+==Related facts==
+* [[Euler's four-square identity]]
+* [[Degen's eight-square identity]]
+===Applications===
+* [[Positive integer is a sum of two squares iff it has no prime divisor that is 3 mod 4 with odd multiplicity]]