The Field Q and the Equality 0.999. . . = 1 from Combinatorics of Circular Words and History of Practical Arithmetics

We reconsider the classical equality 0.999 . . . = 1 with the tool of circular words, that is, finite words whose last letter is assumed to be followed by the first one. Such circular words are naturally embedded with algebraic structures that enlight this problematic equality, allowing it to be considered in Q rather than in R. We comment early history of such structures, that involves English teachers and accountants of the first part of the 18th century, who appear to be the firsts to assert the equality 0.999 . . . = 1. Their level of understanding show links with Dubinsky et al.’s apos theory in mathematics education. Eventually, we rebuilt the field Q from circular words, and provide an original proof of the fact that an algebraic integer is either an integer or an irrational number

数系と置換規則（Numeration and Substitution）2012

"Numeration and Substitution 2012. June 4～8, 2012". edited by Shigeki Akiyama, Valerie Berthe, Hui Rao and Takao Komatsu. The papers presented in this volume of RIMS Kokyuroku Bessatsu are in final form and refereed