已知A,B是两个任意有理数,且A

设A1=(A+B)/2,则A1也是A、B之间的一个有理数
再设A2=(A1+B)/2,则A2也是A、B之间的一个有理数
再设A3=(A1+B)/2,则A3也是A、B之间的一个有理数
.
再设An=(A(n-1)+B)/2,则An也是A、B之间的一个有理数
.