数学 – 代数学 - 整数 - 1次の合同式(連立合同式の解法(順に解いていく方法))

代数系入門

学習環境

• Surface 3 (4G LTE)、Surface 3 タイプ カバー、Surface ペン(端末)
• Windows 10 Pro (OS)
• 数式入力ソフト(TeX, MathML): MathType
• MathML対応ブラウザ: Firefox、Safari
• MathML非対応ブラウザ(Internet Explorer, Google Chrome...)用JavaScript Library: MathJax

代数系入門 (松坂 和夫(著)、岩波書店)の第1章(整数)、7(1次の合同式)、問題6.を取り組んでみる。

問題6.

$\begin{array}{l}x=3+8t\\ 3+8t\equiv 1\left(\mathrm{mod}15\right)\\ 8t\equiv -2\left(\mathrm{mod}15\right)\\ 7t\equiv 2\left(\mathrm{mod}15\right)\\ 2+15t\text{'}\equiv 0\left(\mathrm{mod}7\right)\\ 15t\text{'}\equiv -2\left(\mathrm{mod}7\right)\\ t\text{'}\equiv -2\left(\mathrm{mod}7\right)\\ 7t\equiv 2-2·15\left(\mathrm{mod}15\right)\\ 7t\equiv -28\left(\mathrm{mod}15\right)\\ t\equiv -4\left(\mathrm{mod}15\right)\\ t=-4+15t\text{'}\text{'}\\ x=3+8\left(-4+15t\text{'}\text{'}\right)\\ =-29+120t\text{'}\text{'}\\ -29+120t\text{'}\text{'}\equiv 11\left(\mathrm{mod}20\right)\\ 120t\text{'}\text{'}\equiv 40\left(\mathrm{mod}20\right)\\ 40\left(3t\text{'}\text{'}-1\right)\equiv 0\left(\mathrm{mod}20\right)\\ x=-29+120t\text{'}\text{'}\\ =91+120t\text{'}\text{'}\text{'}\\ x\equiv 91\left(\mathrm{mod}120\right)\end{array}$