几何学的佩多不等式,是关连两个三角形的不等式,以唐·佩多(Daniel Pedoe)命名。
内容
设△A1B1C1和△A2B2C2的边长分别是a1a2a3和b1b2b3,它们的面积分别记为S1 和S2证明:
a12(b22+b32-b12)+a22(b32+b12-b22)+a32(b12+b22-b32)≥16S1S2
当且仅当△A1B1C1∽△A2B2C2时等号成立.
证明过程
我们将式稍微变形后可以得到其等价形式:
16S1S2 ≤( a12+a22+a32)(b12+b22+b32)-2(a1 2b12+ a22 b22+ a32 b32)
16S1S2+2(a1 2b12+ a2 2b22+ a32 b32) ≤√(16S12+2( a14+a24+a34)+(16S12+2( a14+a24+a34))=( a12 +a22+a32)(b12+b22+b32)
当且仅当S1:S2= a1 : b1= a2 : b2= a3: b3,即△A1B1C1∽△A2B2C2时等号成立.
补充说明
这个不等式是1891年纽伯格提出的,1943年佩多重新发现并证明了这个不等式。