婆罗摩笈多-斐波那契恒等式 是以下的恒等式:
![{\displaystyle {\begin{aligned}\left(a^{2}+b^{2}\right)\left(c^{2}+d^{2}\right)&{}=\left(ac-bd\right)^{2}+\left(ad+bc\right)^{2}\ \qquad \qquad (1)\\&{}=\left(ac+bd\right)^{2}+\left(ad-bc\right)^{2}.\qquad \qquad (2)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1032ba21996cc243fef4c1ab18c6885ead00a475)
这个恒等式说明了如果有两个数都能表示为两个平方数的和,则这两个数的积也可以表示为两个平方数的和。例如,
![{\displaystyle (1^{2}+4^{2})(2^{2}+7^{2})=30^{2}+1^{2}=26^{2}+15^{2}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80705be56b2875315a0f18d3df4058ba7221245c)
(1)和(2)都可以用展开多项式的方法来证实。(2)可以通过把(1)中的
换成
来得出。
这个等式在整数环和有理数环中都成立。更一般地,在任何的交换环中都成立。
它在数论中有很多应用,例如费马平方和定理说明任何被4除余1的素数都能表示为两个平方数的和,则根据婆罗摩笈多-斐波那契恒等式,任何两个被4除余1的素数的积也都能表示为两个平方数的和。
![{\displaystyle {\begin{aligned}\left(a^{2}+b^{2}\right)\left(c^{2}+d^{2}\right)&=a^{2}c^{2}+a^{2}d^{2}+b^{2}c^{2}+b^{2}d^{2}\\&=\left(a^{2}c^{2}+b^{2}d^{2}{\color {red}-2abcd}\right)+\left(a^{2}d^{2}+b^{2}c^{2}{\color {red}+2abcd}\right)\\&=\left(ac-bd\right)^{2}+\left(ad+bc\right)^{2}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e80cb2c262218356ee1178e6763211ceeac08fa)
而若將
與
互換位置,即可得
![{\displaystyle \left(ac+bd\right)^{2}+\left(ad-bc\right)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68d3ee1c1bbc4099761153ff18171a24c229461b)
相关等式[编辑]
四平方和恒等式是一个类似的等式,含有四个平方和,与四元数有关。还有一个八平方和恒等式。
与复数的关系[编辑]
如果
、
、
和
是实数,那么这个等式与複數的绝对值的乘法性质是等价的,也就是说:
![{\displaystyle |a+bi||c+di|=|(a+bi)(c+di)|\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cba1fcbbf70d371f3309d53e3951bbcae662d7e8)
由于
![{\displaystyle |a+bi||c+di|=|(ac-bd)+i(ad+bc)|,\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/590d6828dce3f743bb2cb00256869a21cdc6d78c)
两边平方,得
![{\displaystyle |a+bi|^{2}|c+di|^{2}=|(ac-bd)+i(ad+bc)|^{2},\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d43948bcdd86f4b60aa946f2a07939530d4d1f71)
根据绝对值的定义,
![{\displaystyle (a^{2}+b^{2})(c^{2}+d^{2})=(ac-bd)^{2}+(ad+bc)^{2}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1553311bb78df09d49cc08c729814ce37123340)
用范数来解释[编辑]
在
、
、
和
是有理数的情况中,这个等式可以解释为域
的范数是积性的。也就是说:
且![{\displaystyle N(c+di)=c^{2}+d^{2},\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eee1e4c1b873f426b26a39ea0904638fc904c144)
而且
![{\displaystyle N[(a+bi)(c+di)]=N[(ac-bd)+i(ad+bc)]=(ac-bd)^{2}+(ad+bc)^{2}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40f04ac7548e4fa71a46e64aa2c54bf257dfef12)
所以,这个等式就是说
![{\displaystyle N[(a+bi)(c+di)]=N(a+bi)\cdot N(c+di).\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f89b3c001197412a18618924646f00b64c1835b5)
外部链接[编辑]