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