既然无限小数的运算没有被定义，不能用参与运算的方法来证明，那么楼主的方法也是有问题的。因为他所引用的实数的稠密性定理是靠运算来证明的。
【 在 hijupiter 的大作中提到: 】
: 我好像在某本数学分析教材看过这样的证明，这是对的。其他用0.9循环参与运算的证明是有问题的，因为无限小数的运算没有被定义
--
FROM 36.57.129.*