拉数学个完备实数系中,循环小数0.999…(零点九,九循环),也可写成 0. 9 ¯ {\displaystyle 0.{\overline {9}}} 、 0. 9 ˙ {\displaystyle 0.{\dot {9}}} 或 0. ( 9 ) {\displaystyle 0.(9)} ,表示一个等于实数1,即“0.999…”所表示个数搭“1”相同。乃朝该等式已经有各式各样个证明式;伊拉各有弗同个严谨性、背景假设,外加侪蕴含实数个实质条件,即阿基米德公理、历史文脉、搭仔目标受众。