由于,d,D,f 都是距离量,
有
d>0,D>0,f>0,d^2>0
由表达式
f=(D^2-d^2)/(4D)
得
d^2=D^2-4Df
d^2>0
故
D^2-4Df>0
得
D(D-4f)>0
得
D-4f>0
所以,有
D>4f.