Thread:

1. Determine that a number terminates in base m but will not terminate in base n?

Is there a way to determine that for some number $a$ in base m that it will or will not have a terminating equivalent number $b$ in base n?

For example, when converting number 0.315 in base 10 to base 2, we get the base 2 number 0.01010000101000111101011100001010... I assume this will be nonterminating. How can I actually prove that this number will be nonterminating?

Thanks

2. In base $b$, the numbers which "terminate" are of the form $\frac{a}{b^k}$ for some $a,k\in\mathbb{Z}$.

A necessary and sufficient condition for a rational ${p\over q}$, where $p,q$ are relatively prime, to "terminate" in base $b$ is therefore that the prime divisors of $q$ are prime divisors of $b$. (which is equivalent to saying that $q$ divides $b^k$ for some $k$)

For instance, in base 10, ${p\over q}$ "terminates" iff the only prime divisors of $q$ are 2 and 5 (supposing again that $gcd(p,q)=1$). In base 2, $q$ has to be even.

I hope I was clear. If not, just ask.

Laurent.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 17, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9141542911529541, "perplexity_flag": "head"}