不用那么麻烦
a<b => a < (a+b)/2 < b
很多人拍脑袋的觉得跟整数似的，1左边也存在一个最近邻的位置
【 在 weiminglake 的大作中提到: 】
: 按照实数稠密性原则，不存在紧挨着的两个实数。
: 以你的假设a、b是紧挨的两个确定性实数，同时按照实数稠密性原则，确定性的两个数a、b之间必然存在c，使得a<c<b,则只需要令c=a+ε,且ε<(b-a)，必然满足条件。
--
FROM 123.114.89.*