mula_5、formula_6，线段formula_7、formula_8、formula_9的长度分别是formula_10、formula_11、formula_12，那么埃尔德什-莫德尔不等式为：formula_13一个初等的证明方式是使用三角函数以及均值不等式。首先，由于formula_9垂直于formula_15，formula_8垂直于formula_17，A、F、O、E四点共圆且formula_1为直径，因此线段formula_19（角A为顶点A对应的内角）。过点F、E作关于fo