数学联邦政治世界观
超小超大

关于体的华罗庚恒等式

设K为一体,α,b∈K且α,b不等于0,且αb≠1,证明华罗庚恒等式:

α –(α⁻¹ +(b⁻¹ – α)⁻¹)⁻¹=αbα 。

体和域的构造类似,不同的是体的乘法没有交换性,四元数集合

{α+bi+cj+dk丨α,b,c,d∈ℝ} 就是一个体,其中

ij= –ji=k,jk= –kj=i,ki= –ik=j

,是不满足交换律的。

我们先来证明,对于任何x≠0,1,恒有

(x⁻¹ –1)⁻¹=(1 – x)⁻¹ –1 。

因为x ≠ 0,1,所以x,(1-x)可逆,且

x⁻¹ ≠ 1,故x⁻¹ –1也可逆。从而:

x⁻¹ –1)x=x⁻¹x – x=1 – x,两边同时右乘x⁻¹,有:

x⁻¹ –1=(1 – x)x⁻¹。于是:

(x⁻¹ –1)⁻¹=((1 – x)x⁻¹)⁻¹=x(1 – x)⁻¹

=(1 – x)⁻¹ – (1 – x)(1 – x)⁻¹

=(1 – x)⁻¹ – 1.

这样就得到了这个结论。

接下来,对于原式:

α – (α⁻¹+(b⁻¹ – α )⁻¹)⁻¹

=α – [α⁻¹(1+α(b⁻¹ – α)⁻¹)]⁻¹

=α – [1+((b⁻¹ – α)α⁻¹)⁻¹]⁻¹α

=α – [1+(b⁻¹ α⁻¹ – 1)⁻¹]⁻¹α

因为a,b不为0,且αb≠1,所以

(αb)⁻¹=b⁻¹α⁻¹≠1,于是可利用刚刚证明的结论:

(b⁻¹α⁻¹ – 1)⁻¹=(1 – αb)⁻¹ – 1 。带入到上面的推导中:

α – (α⁻¹+(b⁻¹ – α)⁻¹)⁻¹

=α – [1+(b⁻¹α⁻¹ – 1)⁻¹]⁻¹α

=α – [(1 – αb)⁻¹]⁻¹α

=α – (1 – αb)α

=αbα.

从而体中的华罗庚恒等式得证。

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

三人行之一:魔法列车的低语 连载中
三人行之一:魔法列车的低语
璃月非李月
魔幻小说作者某天突然的脑洞,有点发疯,自认为能到个小学水平#求评论!不拒绝吐槽但别过分了灵湖小学五年三班迎来了一个新班主任!但这位班主任的行......
4.3万字8个月前
落魄小宗竟全是大佬 连载中
落魄小宗竟全是大佬
栖休安
白漠渴望得道长生于是她来到来了一个小宗门(排雷:女主傻白甜,文中有多对楠楠副cp,全员be)
7.9万字6个月前
总有Alpha想泡我家老大 连载中
总有Alpha想泡我家老大
带上Nancy
Omega老大的甜蜜爱情故事,顶着最温柔的名头,打最狠的架
2.9万字3个月前
状元府的风云之始 连载中
状元府的风云之始
少不少
2.8万字3个月前
权能:此间无梦 连载中
权能:此间无梦
黑箱子
我们的故事,是过去,是现在,是未来。冒险从不停歇!!!
0.4万字3个月前
素圈Z—12 连载中
素圈Z—12
沈归墨
特工001与实验体Z-12
3.2万字2个月前