Дробь ab\frac{a}{b}ba в несократимом виде (т.е. gcd(a,b)=1\gcd(a,b)=1gcd(a,b)=1) является конечной десятичной тогда и только тогда, когда знаменатель bbb делит некоторую степень 101010: существуют kkk такие, что \(\;b\mid 10^k\.\) Эквивалентное и удобное условие: bbb в разложении на простые множители содержит только 222 и 555, т.е. b=2m5n\;b=2^m5^nb=2m5n для некоторых неотрицательных целых m,nm,nm,n. Краткое объяснение: если b∣10kb\mid10^kb∣10k, то ab=A10k\frac{a}{b}=\frac{A}{10^k}ba=10kA — конечная десятичная; наоборот, если десятичная запись конечна с kkk знаками, то 10kab10^k\frac{a}{b}10kba — целое, значит b∣10kb\mid10^kb∣10k, а простые делители 101010 — только 222 и 555. Примеры: 38=0.375\frac{3}{8}=0.37583=0.375 — да (8=238=2^38=23), 712\frac{7}{12}127 — нет (12=22⋅312=2^2\cdot312=22⋅3).
Эквивалентное и удобное условие: bbb в разложении на простые множители содержит только 222 и 555, т.е. b=2m5n\;b=2^m5^nb=2m5n для некоторых неотрицательных целых m,nm,nm,n.
Краткое объяснение: если b∣10kb\mid10^kb∣10k, то ab=A10k\frac{a}{b}=\frac{A}{10^k}ba =10kA — конечная десятичная; наоборот, если десятичная запись конечна с kkk знаками, то 10kab10^k\frac{a}{b}10kba — целое, значит b∣10kb\mid10^kb∣10k, а простые делители 101010 — только 222 и 555.
Примеры: 38=0.375\frac{3}{8}=0.37583 =0.375 — да (8=238=2^38=23), 712\frac{7}{12}127 — нет (12=22⋅312=2^2\cdot312=22⋅3).