i рдХреА рдШрд╛рдд рд╡рд╛рд▓рд╛ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХреНрдпрд╛ рд╣реИ?
рдХрд╛рд▓реНрдкрдирд┐рдХ рдЗрдХрд╛рдИ i рдХреЛ \(i^2 = -1\) рд╕реЗ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдЬрдм рдЖрдк i рдХреЛ рдХреНрд░рдорд╢рдГ рдмрдврд╝рддреА рдкреВрд░реНрдгрд╛рдВрдХ рдШрд╛рддреЛрдВ рдкрд░ рдКрдкрд░ рдЙрдард╛рддреЗ рд╣реИрдВ, рддреЛ рдкрд░рд┐рдгрд╛рдо рдЪрд╛рд░ рдХреЗ рдПрдХ рдЪрдХреНрд░ рдореЗрдВ рджреЛрд╣рд░рд╛рддреЗ рд╣реИрдВ: \(i^0 = 1\), \(i^1 = i\), \(i^2 = -1\), \(i^3 = -i\), рдФрд░ рдлрд┐рд░ рд╕реЗ \(i^4 = 1\)ред рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХрд┐рд╕реА рднреА рдкреВрд░реНрдгрд╛рдВрдХ рдШрд╛рддрд╛рдВрдХ n тАФ рдзрдирд╛рддреНрдордХ, рд╢реВрдиреНрдп рдпрд╛ рдЛрдгрд╛рддреНрдордХ тАФ рдХреЛ рд▓реЗрддрд╛ рд╣реИ рдФрд░ рддреБрд░рдВрдд \(i^n\) рдХреЛ 1, i, тИТ1 рдпрд╛ тИТi рдЗрди рдЪрд╛рд░ рдорд╛рдиреЛрдВ рдореЗрдВ рд╕реЗ рдПрдХ рдХреЗ рд░реВрдк рдореЗрдВ рд▓реМрдЯрд╛рддрд╛ рд╣реИ, рд╕рд╛рде рд╣реА рдЙрд╕рдХрд╛ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдФрд░ рдХрд╛рд▓реНрдкрдирд┐рдХ рднрд╛рдЧ рднреА рджрд┐рдЦрд╛рддрд╛ рд╣реИред
рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдЗрдирдкреБрдЯ рдмреЙрдХреНрд╕ рдореЗрдВ рдШрд╛рддрд╛рдВрдХ n рд▓рд┐рдЦреЗрдВ рдФрд░ рд╕рдмрдорд┐рдЯ рдХрд░реЗрдВред рдХреИрд▓рдХреБрд▓реЗрдЯрд░ n mod 4 рдирд┐рдХрд╛рд▓рддрд╛ рд╣реИ (рдЗрд╕ рддрд░рд╣ рд╕рдорд╛рдпреЛрдЬрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ рдХрд┐ рдЛрдгрд╛рддреНрдордХ рд╕рдВрдЦреНрдпрд╛рдПрдБ рд╕рд╣реА рдврдВрдЧ рд╕реЗ рдХрд╛рдо рдХрд░реЗрдВ) рдФрд░ рд╢реЗрд╖рдлрд▓ рдХреЛ рд╕рдВрдЧрдд рдорд╛рди рд╕реЗ рдЬреЛрдбрд╝ рджреЗрддрд╛ рд╣реИред рд╢реЗрд╖рдлрд▓ 0 рдкрд░ рдорд╛рди 1 рдЖрддрд╛ рд╣реИ, 1 рдкрд░ i, 2 рдкрд░ тИТ1, рдФрд░ 3 рдкрд░ тИТiред
рд╕реВрддреНрд░ рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛
рдЪреВрдБрдХрд┐ \(i^4 = 1\) рд╣реИ, рдЗрд╕рд▓рд┐рдП \(i^4\) рд╕реЗ рдЧреБрдгрд╛ рдХрд░рдиреЗ рдкрд░ рдХрд┐рд╕реА рднреА рдорд╛рди рдореЗрдВ рдмрджрд▓рд╛рд╡ рдирд╣реАрдВ рдЖрддрд╛ред рдЗрд╕реА рдХрд╛рд░рдг \(i^n\) рдХреЗрд╡рд▓ n modulo 4 рдкрд░ рдирд┐рд░реНрднрд░ рдХрд░рддрд╛ рд╣реИред рдЛрдгрд╛рддреНрдордХ рдШрд╛рддрд╛рдВрдХреЛрдВ рдХреЛ рд╕рд╣реА рдврдВрдЧ рд╕реЗ рд╕рдВрднрд╛рд▓рдиреЗ рдХреЗ рд▓рд┐рдП рдпрд╣ рдЯреВрд▓ рд╡рд╛рд╕реНрддрд╡рд┐рдХ modulo рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддрд╛ рд╣реИ:
$$i^{\text{Exponent (n)}} = i^{\,((\,n \bmod 4)\,+\,4)\,\bmod\,4}$$рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, \(i^{-1} = 1/i = -i\), рдЬреЛ рд╢реЗрд╖рдлрд▓ 3 рдХреЗ рдЕрдиреБрд░реВрдк рд╣реИред
рд╣рд▓ рдХрд┐рдпрд╛ рдЧрдпрд╛ рдЙрджрд╛рд╣рд░рдг
\(i^{13}\) рдирд┐рдХрд╛рд▓рд┐рдПред 13 рдХреЛ 4 рд╕реЗ рднрд╛рдЧ рджреЗрдВ: рд╢реЗрд╖рдлрд▓ 1 рдЖрддрд╛ рд╣реИ (рдХреНрдпреЛрдВрдХрд┐ \(13 = 4\times 3 + 1\))ред рдЗрд╕рд▓рд┐рдП \(i^{13} = i^1 =\) i, рдЬрд┐рд╕рдХрд╛ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рднрд╛рдЧ 0 рдФрд░ рдХрд╛рд▓реНрдкрдирд┐рдХ рднрд╛рдЧ 1 рд╣реЛрддрд╛ рд╣реИред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
\(i^0\) рдХреНрдпрд╛ рд╣реЛрддрд╛ рд╣реИ? рдХрд┐рд╕реА рднреА рд╢реВрдиреНрдпреЗрддрд░ рд╕рдВрдЦреНрдпрд╛ рдХреЛ рдШрд╛рдд 0 рдкрд░ рдКрдкрд░ рдЙрдард╛рдиреЗ рдкрд░ 1 рдЖрддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП \(i^0 = 1\)ред
рдХреНрдпрд╛ рдпрд╣ рдЛрдгрд╛рддреНрдордХ рдШрд╛рддрд╛рдВрдХреЛрдВ рдХреЗ рд▓рд┐рдП рдХрд╛рдо рдХрд░рддрд╛ рд╣реИ? рд╣рд╛рдБред рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП \(i^{-2} = -1\) рдФрд░ \(i^{-1} = -i\), рдЬрд┐рдиреНрд╣реЗрдВ рд╕рдорд╛рдпреЛрдЬрд┐рдд modulo рдХреЗ рджреНрд╡рд╛рд░рд╛ рд╕рдВрднрд╛рд▓рд╛ рдЬрд╛рддрд╛ рд╣реИред
рдпрд╣ рд╣рд░ 4 рдкрд░ рдЪрдХреНрд░ рдХреНрдпреЛрдВ рджреЛрд╣рд░рд╛рддрд╛ рд╣реИ? рдХреНрдпреЛрдВрдХрд┐ \(i^2 = -1\) рдХрд╛ рдЕрд░реНрде рд╣реИ \(i^4 = (i^2)^2 = (-1)^2 = 1\), рдЬреЛ рд╣рдореЗрдВ рдлрд┐рд░ рд╕реЗ рд╢реБрд░реБрдЖрдд рдкрд░ рд▓реЗ рдЖрддрд╛ рд╣реИред