已知面积正好等于该上界的全局最大值。
由和的条件,32=Area≤BD(16−BD)232=\mathrm{Area}\le\frac{BD(16-BD)}232=Area≤2BD(16−BD)。二次函数 f(x)=x(16−x)/2f(x)=x(16-x)/2f(x)=x(16−x)/2 的最大值为 323232,在 x=8x=8x=8 时取得,因此两个不等式都取等号,且 BD=8BD=8BD=8。