Взаимно прости числа: Разлика между версии

Изтрито е съдържание Добавено е съдържание
Ред 11:
 
*Съществуват цели числа ''x'' и ''y'', такива, че ''ax'' + ''by'' = 1 (виж [[Теорема на Безу]]).
*Цялото число ''b'' има [[реципрочност|реципрочен]] [[модул (аритметика)|модул]] ''a'': съществува цяло число ''y'', такова, че ''by'' ≡ 1 (mod ''a''). С други думи, ''b'' е [[неутрален елемент (теория на пръстените)|неутрален елемент]] в [[пръстен (математика)|пръстен]]а '''Z'''/''a'''''Z''' от цели числа с модул ''a''.
 
Вследствие на това, ако ''a'' и ''b'' са взаимно прости и ''br'' &equiv; ''bs'' (mod ''a''), то ''r'' &equiv; ''s'<del>' (mod '</del>'a'') (тъй като можем да „делим на ''b''“, когато работим с модул ''a''). Освен това, ако ''a'' и ''b''<sub>1</sub> са взаимно прости и ''a'' и ''b''<sub>2</sub> са взаимно прости, то ''a'' и ''b''<sub>1</sub>''b''<sub>2</sub> са също взаимно прости (тъй като прозиведението на неутрални елементи е неутрален елемент).
 
Ако ''a'' и ''b'' са взаимно прости и ''a'' е делител на произведението ''bc'', то ''a'' е делител на ''c''. Това може да се разглежда като обобщение на [[Лема на Евклид|лемата на Евклид]], която твърди, че ако ''p'' е просто и ''p'' е делител на произведението ''bc'', то или ''p'' е делител на ''b'', или ''p'' е делител на ''c''.