幾何學的佩多不等式,是關連兩個三角形的不等式,以唐·佩多(Don Pedoe)命名。這不等式指出:如果第一個三角形的邊長為
,面積為
,第二個三角形的邊長為
,面積為
,那麼:
,
等式成立當且僅當兩個三角形為一對相似三角形,對應邊成比例;
也就是
。
![{\displaystyle 16f^{2}=(a+b+c)(a+b-c)(a-b+c)(b+c-a)=(a^{2}+b^{2}+c^{2})^{2}-2(a^{4}+b^{4}+c^{4})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a9cdaf7536302f8e93bd9a64bbbb84c473984ec)
![{\displaystyle 16F^{2}=(A+B+C)(A+B-C)(A-B+C)(B+C-A)=(A^{2}+B^{2}+C^{2})^{2}-2(A^{4}+B^{4}+C^{4})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7edfd5b5193ad321fe6340b59089e789ff86b943)
再由柯西不等式,
![{\displaystyle 16Ff+2a^{2}A^{2}+2b^{2}B^{2}+2c^{2}C^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4695d3772c6a8387c6a87088fa88e7c5abffa97)
![{\displaystyle \leq {\sqrt {(16f^{2}+2a^{4}+2b^{4}+2c^{4})}}{\sqrt {(16F^{2}+2A^{4}+2B^{4}+2C^{4})}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca29b7477ab1d2f591881124ce993a760ff2f7e5)
![{\displaystyle =(a^{2}+b^{2}+c^{2})(A^{2}+B^{2}+C^{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ee39eb3225cae6e2dd0136bfb470c9d48e0665a)
於是,
![{\displaystyle 16Ff\leq A^{2}(a^{2}+b^{2}+c^{2})-2a^{2}A^{2}+B^{2}(a^{2}+b^{2}+c^{2})-2b^{2}B^{2}+C^{2}(a^{2}+b^{2}+c^{2})-2c^{2}C^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70460182d1d3d554d79cca5128b4ab6e9bdbc5f1)
![{\displaystyle =A^{2}(b^{2}+c^{2}-a^{2})+B^{2}(a^{2}+c^{2}-b^{2})+C^{2}(a^{2}+b^{2}-c^{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80df8cd3e3485f1af3b7e56d49d9849e4d8f4610)
命題得證。
等號成立若且唯若
,也就是說兩個三角形相似。
ABC是第一個三角形,A'B'C'是取相似後的第二個三角形,BC與B'C'重合
三角形的面積與邊長的平方成正比,因此在要證的式子兩邊同乘一個係數
,使得
,幾何意義是將第二個三角形取相似(如右圖)。
設這時A、B、C變成x、y、z,F變成F'。
考慮 AA' 的長度。由余弦公式,
![{\displaystyle AA'^{2}=AB^{2}+BA'^{2}-2AB\cdot BA'\cos(\angle B-\angle B')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bef1cf5f059327305c8cbba74334f54ddfd55aa7)
![{\displaystyle =c^{2}+z^{2}-2cz(\cos \angle B\cos \angle B'+\sin \angle B\sin \angle B')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/927d52764ee50284c08bee21fa8e41078412b4f9)
將
,
代入就變成:
![{\displaystyle 0\leq AA'^{2}=c^{2}+z^{2}-2cz\left[{\frac {(a^{2}+c^{2}-b^{2})(x^{2}+z^{2}-y^{2})}{4acxz}}+{\frac {4F'f}{acxz}}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acd882305bc123c9a5ee0f3d009a05669afd0110)
兩邊化簡後同時乘以
,並注意到a=x,就可得到原不等式。
等號成立若且唯若A與A'重合,即兩個三角形相似。
相關條目[編輯]