しょぼなまログ

百五減算

2026/05/28
最終更新: 2026/05/28
タグ: article, 数学, 記事3
目次

内容

105105 未満の整数 xx について
xx33 で割ったあまりが aa,
xx55 で割ったあまりが bb,
xx77 で割ったあまりが cc と分かっているとき、
xx70a+21b+15c70a + 21b + 15c の値から105未満になるまで105を引き続けることで求められる.

(つまり、70a+21b+15c70a + 21b + 15c105105 で割ったあまりが xx ということ)

証明

ある整数 xx が、整数 a,b,ca, b, c について

{xamod3xbmod5xcmod7\begin{equation} \begin{cases} x \equiv a \mod 3 \\ x \equiv b \mod 5 \\ x \equiv c \mod 7 \end{cases} \end{equation}

を満たすとき、

70a+21b+15cxmod105\begin{equation} 70a + 21b + 15c \equiv x \mod 105 \end{equation}

が成り立つことを証明する。

まず(1)(1)より, 整数 α,β,γ\alpha, \beta, \gamma を用いて以下の式が成り立つ:

{x=3α+ax=5β+bx=7γ+c\begin{cases} x = 3\alpha + a \\ x = 5\beta + b \\ x = 7\gamma + c \end{cases}

ゆえに,

{a=x3αb=x5βc=x7γ\begin{equation} \begin{cases} a = x - 3\alpha \\ b = x - 5\beta \\ c = x - 7\gamma \end{cases} \end{equation}

70a+21b+15c70a + 21b + 15ca,b,ca, b, c(3)(3) の結果を代入すると,

70a+21b+15c=70(x3α)+21(x5β)+15(x7γ)=70x210α+21x105β+15x105γ=106x210α105β105γ=x+105(x2αβγ)xmod105\begin{aligned} 70a + 21b + 15c = 70(x - 3\alpha) + 21(x - 5\beta) + 15(x - 7\gamma) \\ = 70x - 210\alpha + 21x - 105\beta + 15x - 105\gamma \\ = 106x - 210\alpha - 105\beta - 105\gamma \\ = x + 105(x - 2\alpha - \beta - \gamma) \\ \equiv x \mod 105 \end{aligned}

したがって、 (2)(2) は成り立つ. (証明終わり)