小数点以下で9が連続する循環小数(0.999…とか1.999…とか10.999…とか)は
その循環小数の整数部分に1を足した値(0.999…なら0に1を足して1、10.999…なら10に1を足して11)と等しい
<証明>
実数の定義より、循環小数は有理数であることから、四則演算が適用できる。
あとはQ7の�Fとか使う
<証明終わり>

とかじゃ駄目なのか