下界定性定理:
崔坤根据容斥原理得到的哥猜表法数真值公式:
r₂(N)=C(N)+2π(N-3)-N/2,简称崔坤恒等式。
崔坤恒等式变形为:
r₂(N)+N/2=C(N)+2π(N-3)
当N≥6时,
因为C(N)≥0,
2π(N-3)≥4,
则恒等式右边有全域最小值4,
同时恒等式左边必然也有全域最小值,
设r₂(N)的最小值为y≥0,
则左边最小值是y+3
根据恒等式性质可知:
y+3=4,
y=1,即r₂(N)≥1
即这是数学存在优先原则下的一般性结论。
崔坤根据容斥原理得到的哥猜表法数真值公式:
r₂(N)=C(N)+2π(N-3)-N/2,简称崔坤恒等式。
崔坤恒等式变形为:
r₂(N)+N/2=C(N)+2π(N-3)
当N≥6时,
因为C(N)≥0,
2π(N-3)≥4,
则恒等式右边有全域最小值4,
同时恒等式左边必然也有全域最小值,
设r₂(N)的最小值为y≥0,
则左边最小值是y+3
根据恒等式性质可知:
y+3=4,
y=1,即r₂(N)≥1
即这是数学存在优先原则下的一般性结论。










