рдЕрднрд╛рдЬреНрдп рд╕рдВрдЦреНрдпрд╛ рдХреНрдпрд╛ рд╣реЛрддреА рд╣реИ?
рдЕрднрд╛рдЬреНрдп рд╕рдВрдЦреНрдпрд╛ (prime number) рд╡рд╣ рдкреВрд░реНрдг рд╕рдВрдЦреНрдпрд╛ рд╣реЛрддреА рд╣реИ рдЬреЛ 1 рд╕реЗ рдмрдбрд╝реА рд╣реЛ рдФрд░ рдЬрд┐рд╕рдХреЗ рдареАрдХ рджреЛ рд╣реА рдЕрд▓рдЧ-рдЕрд▓рдЧ рдзрдирд╛рддреНрдордХ рднрд╛рдЬрдХ рд╣реЛрдВ тАФ 1 рдФрд░ рд╕реНрд╡рдпрдВ рд╡рд╣ рд╕рдВрдЦреНрдпрд╛ред рдЬреИрд╕реЗ 2, 3, 5, 7, 11 рдФрд░ 13ред 1 рд╕реЗ рдмрдбрд╝реА рдЬреЛ рд╕рдВрдЦреНрдпрд╛рдПрдБ рдЕрднрд╛рдЬреНрдп рдирд╣реАрдВ рд╣реЛрддреАрдВ, рдЙрдиреНрд╣реЗрдВ рднрд╛рдЬреНрдп рд╕рдВрдЦреНрдпрд╛ (composite) рдХрд╣рддреЗ рд╣реИрдВ тАФ рдЗрдиреНрд╣реЗрдВ рдЫреЛрдЯреА рдкреВрд░реНрдг рд╕рдВрдЦреНрдпрд╛рдУрдВ рдХреЗ рдЧреБрдгрдирдлрд▓ рдХреЗ рд░реВрдк рдореЗрдВ рд▓рд┐рдЦрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдЖрдкрдХреЗ рджреНрд╡рд╛рд░рд╛ рджрд░реНрдЬ рдХреА рдЧрдИ рдХрд┐рд╕реА рднреА рд╕рдВрдЦреНрдпрд╛ рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рддреБрд░рдВрдд рдмрддрд╛ рджреЗрддрд╛ рд╣реИ рдХрд┐ рд╡рд╣ рдЕрднрд╛рдЬреНрдп рд╣реИ рдпрд╛ рдирд╣реАрдВ, рдФрд░ рдЕрдЧрд░ рдирд╣реАрдВ рд╣реИ рддреЛ рдЙрд╕рдХрд╛ рд╕рдмрд╕реЗ рдЫреЛрдЯрд╛ рднрд╛рдЬрдХ рднреА рджрд┐рдЦрд╛ рджреЗрддрд╛ рд╣реИред
рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдЗрдирдкреБрдЯ рдмреЙрдХреНрд╕ рдореЗрдВ рдХреЛрдИ рднреА рдкреВрд░реНрдг рд╕рдВрдЦреНрдпрд╛ (0 рдпрд╛ рдЙрд╕рд╕реЗ рдмрдбрд╝реА) рд▓рд┐рдЦреЗрдВ рдФрд░ рд╕рдмрдорд┐рдЯ рдХрд░реЗрдВред рдкрд░рд┐рдгрд╛рдо рд╡рд╛рд▓рд╛ рд╣реАрд░реЛ рдмреЙрдХреНрд╕ рд╕рдВрдЦреНрдпрд╛ рдХреЗ рдЕрднрд╛рдЬреНрдп рд╣реЛрдиреЗ рдкрд░ рд╣рд╛рдБ рдФрд░ рднрд╛рдЬреНрдп рд╣реЛрдиреЗ рдкрд░ рдирд╣реАрдВ рджрд┐рдЦрд╛рдПрдЧрд╛ред рдЬрдм рд╕рдВрдЦреНрдпрд╛ рднрд╛рдЬреНрдп рд╣реЛрддреА рд╣реИ, рддреЛ рддрд╛рд▓рд┐рдХрд╛ 1 рд╕реЗ рдмрдбрд╝рд╛ рд╕рдмрд╕реЗ рдЫреЛрдЯрд╛ рднрд╛рдЬрдХ рджрд┐рдЦрд╛рддреА рд╣реИ, рдЬрд┐рд╕рд╕реЗ рдЖрдк рдкреВрд░рд╛ рдЧреБрдгрдирдЦрдВрдбрди рд╢реБрд░реВ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред
рд╕реВрддреНрд░ рдХреЛ рд╕рдордЭреЗрдВ
рдЕрднрд╛рдЬреНрдпрддрд╛ рдХреА рдХреБрд╢рд▓рддрд╛рдкреВрд░реНрд╡рдХ рдЬрд╛рдБрдЪ рдХреЗ рд▓рд┐рдП рдЖрдкрдХреЛ рдХреЗрд╡рд▓ \(n\) рдХреЗ рд╡рд░реНрдЧрдореВрд▓ рддрдХ рдХреЗ рднрд╛рдЬрдХреЛрдВ рдХреЛ рд╣реА рдкрд░рдЦрдирд╛ рд╣реЛрддрд╛ рд╣реИред рдЕрдЧрд░ \(n\) рдХрд╛ рдХреЛрдИ рднрд╛рдЬрдХ рдЙрд╕рдХреЗ рд╡рд░реНрдЧрдореВрд▓ рд╕реЗ рдмрдбрд╝рд╛ рд╣реИ, рддреЛ рдЙрд╕рдХрд╛ рдПрдХ рдорд┐рд▓рд╛рди рдХрд░рдиреЗ рд╡рд╛рд▓рд╛ рднрд╛рдЬрдХ рд╡рд░реНрдЧрдореВрд▓ рд╕реЗ рдЫреЛрдЯрд╛ рднреА рдЬрд╝рд░реВрд░ рд╣реЛрдЧрд╛ тАФ рдЗрд╕рд▓рд┐рдП рд╡рд╣рд╛рдБ рддрдХ рдЬрд╛рдБрдЪрдирд╛ рдХрд╛рдлреА рд╣реИред рдФрдкрдЪрд╛рд░рд┐рдХ рд░реВрдк рд╕реЗ, \(n\) рддрдм рдЕрднрд╛рдЬреНрдп рд╣реЛрддреА рд╣реИ рдЬрдм \(n > 1\) рд╣реЛ рдФрд░ 2 рд╕реЗ рд▓реЗрдХрд░ \(\lfloor\sqrt{n}\rfloor\) рддрдХ рдХреЗ рд╣рд░ рдкреВрд░реНрдгрд╛рдВрдХ \(i\) рдХреЗ рд▓рд┐рдП \(n \bmod i \neq 0\) рд╣реЛред
$$n \text{ is prime} \iff n > 1 \text{ and } n \bmod i \neq 0 \;\; \forall\, i \in [2, \sqrt{n}]$$рдЗрд╕рд╕реЗ \(n\) рд╕реЗ рдиреАрдЪреЗ рдХреА рд╣рд░ рд╕рдВрдЦреНрдпрд╛ рдХреЛ рдкрд░рдЦрдиреЗ рдХреА рддреБрд▓рдирд╛ рдореЗрдВ рдХрд╛рдо рдмрд╣реБрдд рдХрдо рд╣реЛ рдЬрд╛рддрд╛ рд╣реИред
рд╣рд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдЙрджрд╛рд╣рд░рдг
рдорд╛рди рд▓реАрдЬрд┐рдП \(n = 97\)ред рдЗрд╕рдХрд╛ рд╡рд░реНрдЧрдореВрд▓ рд▓рдЧрднрдЧ \(9.85\) рд╣реИ, рдЗрд╕рд▓рд┐рдП рд╣рдо рднрд╛рдЬрдХ 2, 3, 5, 7 рдФрд░ 9 рдХреЛ рдкрд░рдЦрддреЗ рд╣реИрдВред рдЗрдирдореЗрдВ рд╕реЗ рдХреЛрдИ рднреА 97 рдХреЛ рдкреВрд░реА рддрд░рд╣ рд╡рд┐рднрд╛рдЬрд┐рдд рдирд╣реАрдВ рдХрд░рддрд╛ (97 рд╡рд┐рд╖рдо рд╣реИ, рдФрд░ 3, 5 рдпрд╛ 7 рд╕реЗ рд╡рд┐рднрд╛рдЬреНрдп рдирд╣реАрдВ рд╣реИ), рдЗрд╕рд▓рд┐рдП 97 рдЕрднрд╛рдЬреНрдп рд╣реИред рдЕрдм рд▓реАрдЬрд┐рдП \(n = 91\)ред 2, 3, 5, рдлрд┐рд░ 7 рдХреЛ рдкрд░рдЦрдиреЗ рдкрд░ рд╣рдо рдкрд╛рддреЗ рд╣реИрдВ рдХрд┐ \(91 \div 7 = 13\) рдареАрдХ-рдареАрдХ рдЖрддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП 91 рднрд╛рдЬреНрдп рд╣реИ рдЬрд┐рд╕рдХрд╛ рд╕рдмрд╕реЗ рдЫреЛрдЯрд╛ рднрд╛рдЬрдХ 7 рд╣реИред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
рдХреНрдпрд╛ 1 рдПрдХ рдЕрднрд╛рдЬреНрдп рд╕рдВрдЦреНрдпрд╛ рд╣реИ? рдирд╣реАрдВред рдкрд░рд┐рднрд╛рд╖рд╛ рдХреЗ рдЕрдиреБрд╕рд╛рд░ рдЕрднрд╛рдЬреНрдп рд╕рдВрдЦреНрдпрд╛ рдХреЛ 1 рд╕реЗ рдмрдбрд╝рд╛ рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдП, рдЗрд╕рд▓рд┐рдП 1 рди рддреЛ рдЕрднрд╛рдЬреНрдп рд╣реИ рдФрд░ рди рд╣реА рднрд╛рдЬреНрдпред
рдХреНрдпрд╛ 2 рдПрдХ рдЕрднрд╛рдЬреНрдп рд╕рдВрдЦреНрдпрд╛ рд╣реИ? рд╣рд╛рдБред 2 рдПрдХрдорд╛рддреНрд░ рд╕рдо рдЕрднрд╛рдЬреНрдп рд╕рдВрдЦреНрдпрд╛ рд╣реИ; рдмрд╛рдХреА рд╣рд░ рд╕рдо рд╕рдВрдЦреНрдпрд╛ 2 рд╕реЗ рд╡рд┐рднрд╛рдЬреНрдп рд╣реЛрддреА рд╣реИред
рдХреЗрд╡рд▓ рд╡рд░реНрдЧрдореВрд▓ рддрдХ рд╣реА рдХреНрдпреЛрдВ рдкрд░рдЦрддреЗ рд╣реИрдВ? рднрд╛рдЬрдХ рд╣рдореЗрд╢рд╛ рдЬреЛрдбрд╝реЛрдВ рдореЗрдВ рдЖрддреЗ рд╣реИрдВ рдЬрд┐рдирдХрд╛ рдЧреБрдгрдирдлрд▓ \(n\) рд╣реЛрддрд╛ рд╣реИред рдЕрдЧрд░ рджреЛрдиреЛрдВ рднрд╛рдЬрдХ \(\sqrt{n}\) рд╕реЗ рдмрдбрд╝реЗ рд╣реЛрддреЗ, рддреЛ рдЙрдирдХрд╛ рдЧреБрдгрдирдлрд▓ \(n\) рд╕реЗ рдЕрдзрд┐рдХ рд╣реЛ рдЬрд╛рддрд╛, рдЬреЛ рд╕рдВрднрд╡ рдирд╣реАрдВ рд╣реИ тАФ рдЗрд╕рд▓рд┐рдП рдХрд┐рд╕реА рднреА рдЬреЛрдбрд╝реЗ рдХрд╛ рдХрдо-рд╕реЗ-рдХрдо рдПрдХ рднрд╛рдЬрдХ \(\sqrt{n}\) рдпрд╛ рдЙрд╕рд╕реЗ рдЫреЛрдЯрд╛ рдЬрд╝рд░реВрд░ рд╣реЛрддрд╛ рд╣реИред