裴多不等式的解析证明

裴多(Pedoe)不等式是指:设△ABC,与△A′B′C′的边长分别为α,β,γ与α′β′,γ′,面积分别为S与S′,那么α′~2(β~2 γ~2-α~2) β′~2(γ~2 α~2-β~2) γ′~2(α~2 β~2-γ~2)≥16SS′①其中等号当且仅当△ABC～△A′B′C′时成立。这个不等式自1979年传入我国后,以其外形的有趣对称,证法的多种多样引起了广泛的兴趣和讨论,出现了一些新的证法。本文用解析几何的方法给出它的证明。如图放置△ABC与△A′B′C′,则A与