рдореЙрдбреНрдпреВрд▓рд░ рдЧреБрдгрд╛рддреНрдордХ рдкреНрд░рддрд┐рд▓реЛрдо (mod m) рдХреНрдпрд╛ рд╣реЛрддрд╛ рд╣реИ?
рдХрд┐рд╕реА рдкреВрд░реНрдгрд╛рдВрдХ a рдХрд╛ m рдХреЗ рд╕рд╛рдкреЗрдХреНрд╖ рдореЙрдбреНрдпреВрд▓рд░ рдЧреБрдгрд╛рддреНрдордХ рдкреНрд░рддрд┐рд▓реЛрдо рд╡рд╣ рдкреВрд░реНрдгрд╛рдВрдХ x рд╣реЛрддрд╛ рд╣реИ, рдЬреЛ 1 рд╕реЗ mтИТ1 рдХреА рд╕реАрдорд╛ рдореЗрдВ рд╣реЛ рдФрд░ рдЬрд┐рд╕рдХреЗ рд▓рд┐рдП \((a \cdot x) \bmod m = 1\) рд╕рд╣реА рд╣реЛред рд╕рд░рд▓ рд╢рдмреНрджреЛрдВ рдореЗрдВ, рдЬрдм a рдХреЛ x рд╕реЗ рдЧреБрдгрд╛ рдХрд░рдХреЗ m рд╕реЗ рднрд╛рдЧ рджрд┐рдпрд╛ рдЬрд╛рдП, рддреЛ рд╢реЗрд╖рдлрд▓ рдареАрдХ 1 рдмрдЪреЗред рдпрд╣ рдореЙрдбреНрдпреВрд▓рд░ рдЕрдВрдХрдЧрдгрд┐рдд рдореЗрдВ "a рд╕реЗ рднрд╛рдЧ рджреЗрдиреЗ" рдХреЗ рд╕рдорддреБрд▓реНрдп рд╣реИ, рдФрд░ рдпрд╣реА рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд (Number Theory) рддрдерд╛ рдХреНрд░рд┐рдкреНрдЯреЛрдЧреНрд░рд╛рдлреА рдХреА рдиреАрдВрд╡ рд╣реИ тАФ рдЬреИрд╕реЗ RSA рдХреБрдВрдЬреА рдирд┐рд░реНрдорд╛рдг, рд╣реИрд╢рд┐рдВрдЧ, рдЪреАрдиреА рд╢реЗрд╖рдлрд▓ рдкреНрд░рдореЗрдп (Chinese Remainder Theorem) рдЖрджрд┐ред
рдЗрд╕ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдкреВрд░реНрдгрд╛рдВрдХ a рдФрд░ рдореЙрдбреНрдпреВрд▓рд╕ m рджрд░реНрдЬ рдХрд░реЗрдВ (m рдХрд╛ рдорд╛рди 2 рдпрд╛ рдЙрд╕рд╕реЗ рдЕрдзрд┐рдХ рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдП)ред рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдкрд╣рд▓реЗ a рдХреЛ m рдХреЗ рд╕рд╛рдкреЗрдХреНрд╖ рдХрдо рдХрд░рддрд╛ рд╣реИ, рдлрд┐рд░ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдпреВрдХреНрд▓рд┐рдбрд┐рдпрди рдПрд▓реНрдЧреЛрд░рд┐рдердо рдЪрд▓рд╛рддрд╛ рд╣реИ рдФрд░ рдпрджрд┐ рдкреНрд░рддрд┐рд▓реЛрдо рдореМрдЬреВрдж рд╣реЛ рддреЛ рдЙрд╕реЗ рджрд┐рдЦрд╛ рджреЗрддрд╛ рд╣реИред a рдХреЗ рдЛрдгрд╛рддреНрдордХ рдорд╛рдиреЛрдВ рдХреЛ рдпрд╣ рд╕реНрд╡рддрдГ рд╣реА 0 рд╕реЗ mтИТ1 рдХреА рд╕реАрдорд╛ рдореЗрдВ рд▓рд╛рдХрд░ рд╕рдВрднрд╛рд▓ рд▓реЗрддрд╛ рд╣реИред
рд╕реВрддреНрд░ рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛
рдкреНрд░рддрд┐рд▓реЛрдо рдХреЗрд╡рд▓ рдФрд░ рдХреЗрд╡рд▓ рддрднреА рдореМрдЬреВрдж рд╣реЛрддрд╛ рд╣реИ рдЬрдм \(\gcd(a, m) = 1\) рд╣реЛ тАФ рдпрд╛рдиреА a рдФрд░ m рдореЗрдВ 1 рдХреЗ рдЕрд▓рд╛рд╡рд╛ рдХреЛрдИ рдЙрднрдпрдирд┐рд╖реНрда рдЧреБрдгрдирдЦрдВрдб рди рд╣реЛ (рд╡реЗ рд╕рд╣рднрд╛рдЬреНрдп рдпрд╛ coprime рд╣реЛрдВ)ред рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдпреВрдХреНрд▓рд┐рдбрд┐рдпрди рдПрд▓реНрдЧреЛрд░рд┐рдердо рдРрд╕реЗ рдкреВрд░реНрдгрд╛рдВрдХ s рдФрд░ t рдвреВрдБрдврд╝рддрд╛ рд╣реИ рдЬреЛ \(a \cdot s + m \cdot t = \gcd(a, m)\) рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░реЗрдВред $$\text{a} \cdot x \equiv 1 \pmod{\text{m}}, \quad x \text{ exists } \iff \gcd\!\left(\text{a},\, \text{m}\right) = 1$$ рдЬрдм gcd 1 рд╣реЛрддрд╛ рд╣реИ, рддреЛ рдЧреБрдгрд╛рдВрдХ s рдХреЛ m рдХреЗ рд╕рд╛рдкреЗрдХреНрд╖ рдХрдо рдХрд░рдиреЗ рдкрд░ рд╡рд╣реА рдкреНрд░рддрд┐рд▓реЛрдо рдорд┐рд▓рддрд╛ рд╣реИред рдпрджрд┐ \(\gcd(a, m) \neq 1\) рд╣реЛ, рддреЛ рдХреЛрдИ рдкреНрд░рддрд┐рд▓реЛрдо рдореМрдЬреВрдж рдирд╣реАрдВ рд╣реЛрддрд╛ред
рд╣рд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдЙрджрд╛рд╣рд░рдг
рдЖрдЗрдП 3 рдХрд╛ 11 рдХреЗ рд╕рд╛рдкреЗрдХреНрд╖ рдкреНрд░рддрд┐рд▓реЛрдо рдирд┐рдХрд╛рд▓реЗрдВред рд╣рдореЗрдВ рдРрд╕рд╛ x рдЪрд╛рд╣рд┐рдП рдЬрд┐рд╕рдХреЗ рд▓рд┐рдП \((3 \cdot x) \bmod 11 = 1\) рд╣реЛред рдЖрдЬрд╝рдорд╛рдиреЗ рдкрд░, $$3 \cdot 4 = 12, \quad 12 \bmod 11 = 1$$ рдЕрддрдГ рдкреНрд░рддрд┐рд▓реЛрдо 4 рд╣реИред рдЪреВрдБрдХрд┐ \(\gcd(3, 11) = 1\) рд╣реИ, рдЗрд╕рд▓рд┐рдП рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдпреВрдХреНрд▓рд┐рдбрд┐рдпрди рдПрд▓реНрдЧреЛрд░рд┐рдердо рднреА рдпрд╣реА рдЙрддреНрддрд░ рддреБрд░рдВрдд рджреЗ рджреЗрддрд╛ рд╣реИред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рд╕рд╡рд╛рд▓
рдкреНрд░рддрд┐рд▓реЛрдо рдХрдм рдореМрдЬреВрдж рдирд╣реАрдВ рд╣реЛрддрд╛? рдЬрдм a рдФрд░ m рд╕рд╣рднрд╛рдЬреНрдп рди рд╣реЛрдВред рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, 4 рдХрд╛ mod 8 рдореЗрдВ рдХреЛрдИ рдкреНрд░рддрд┐рд▓реЛрдо рдирд╣реАрдВ рд╣реИ, рдХреНрдпреЛрдВрдХрд┐ \(\gcd(4, 8) = 4 \neq 1\) рд╣реИред
рдХреНрдпрд╛ рдореЙрдбреНрдпреВрд▓рд╕ рдХрд╛ рдЕрднрд╛рдЬреНрдп (prime) рд╣реЛрдирд╛ рдЬрд╝рд░реВрд░реА рд╣реИ? рдирд╣реАрдВред рдХреЛрдИ рднреА рдореЙрдбреНрдпреВрд▓рд╕ рдЪрд▓реЗрдЧрд╛, рдмрд╢рд░реНрддреЗ a рдЙрд╕рдХреЗ рд╕рд╣рднрд╛рдЬреНрдп рд╣реЛред рдпрджрд┐ m рдЕрднрд╛рдЬреНрдп рд╣реИ, рддреЛ 1 рд╕реЗ mтИТ1 рддрдХ рдХрд╛ рд╣рд░ рдЕрд╢реВрдиреНрдп a рдкреНрд░рддрд┐рд▓реЛрдо рд░рдЦрддрд╛ рд╣реИред
рдкрд░рд┐рдгрд╛рдо рд╣рдореЗрд╢рд╛ 1 рдФрд░ mтИТ1 рдХреЗ рдмреАрдЪ рд╣реА рдХреНрдпреЛрдВ рд░рд╣рддрд╛ рд╣реИ? рдХреНрдпреЛрдВрдХрд┐ рд╣рдо рдкреНрд░рддрд┐рд▓реЛрдо рдХреЛ m рдХреЗ рд╕рд╛рдкреЗрдХреНрд╖ рдХрдо рдХрд░рдХреЗ рдЙрд╕рдХрд╛ рдорд╛рдирдХ (canonical) рдиреНрдпреВрдирддрдо рдзрдирд╛рддреНрдордХ рд░реВрдк рджреЗрддреЗ рд╣реИрдВред