Recurring decimals, proof, and ice floes
Why do we teach students how to prove things we all know already, such as 0.9999••• =1? Partly, of course, so they develop thinking skills to use on questions whose truth-status they won’t know in advance. Another part, however, concerns the dialogue nature of proof.