O’zbеkiston rеspublikasi oliy va o’rta maxsus ta'lim vazirligi mavzu


TEOREMA. Agar ???? −tub son bo`lsa, u holda ????????−1 − 1 ≡ 0(????????????????) taqqoslama ???? − 1 ta yechimga ega bo`ladi. ISBOTI


Download 88.34 Kb.
bet2/5
Sana31.01.2024
Hajmi88.34 Kb.
#1832471
1   2   3   4   5
Bog'liq
Mavzu Tub model bo`yicha indekslar, ularning tadqiqlari-hozir.org

TEOREMA. Agar 𝑝 −tub son bo`lsa, u holda 𝑥𝑝−1 − 1 ≡ 0(𝑚𝑜𝑑𝑝)

taqqoslama 𝑝 − 1 ta yechimga ega bo`ladi.


ISBOTI. Ferma teoremasiga ko`ra, 𝑥𝑝 = 𝑥(𝑚𝑜𝑑𝑝) yoki 𝑥𝑝−1 ≡ 1(𝑚𝑜𝑑𝑝) bo`lib, uning yechimlari esa, 𝑝 ga bo`linmaydigan 1,2, … , 𝑝 − 1 lardan iborat bo`ladi.
Masalan, 𝑥7−1 ≡ 1(𝑚𝑜𝑑7)
𝑥6 ≡ 1(𝑚𝑜𝑑7) taqqoslamaning yechimlari, 1,2,3,4,5,6 bo`ladi.


  1. TEOREMA. (1) taqqoslama darajasi 𝑝 − 1 dan katta bo`lmagan taqqoslamaga teng kuchli.


ISBOTI. 𝑓(𝑥) ni 𝑥𝑝 − 𝑥 ga bo`lib,
𝑓(𝑥) = (𝑥𝑝 − 𝑥)𝑎(𝑥) + 𝑅(𝑥)
ga ega bo`lamiz. 𝑅(𝑥) ning darajasi 𝑝 − 1 dan katta emas. Ferma teoremasiga ko`ra,
𝑥𝑝 − 𝑥 ≡ 0(𝑚𝑜𝑑𝑝)
taqqoslama o`rinli bo`lgani uchun 𝑓(𝑥) ≡ 𝑅(𝑥)(𝑚𝑜𝑑𝑝) taqqoslama o`rinli.


  1. TEOREMA. (Vil`son teoremasi). 𝑝 tub son uchun


(𝑝 − 1)! + 1 ≡ 0(𝑚𝑜𝑑𝑝)
taqqoslama o`rinli.

ISBOTI. 𝑝 = 2 uchun teorema o`rinli. Agar 𝑝 > 2 bo`lsa,
(𝑥 − 1)(𝑥 − 2) … (𝑥 − (𝑝 − 1)) − (𝑥𝑝−1 − 1) ≡ 0(𝑚𝑜𝑑𝑝)
taqqoslamani qarasak, uning darajasi 𝑝 − 2 dan katta emas va u 𝑝 − 1 ta yechimga ega. (yechim 1,2,…,p-1 lardan iborat). Demak, 1-natijaga ko`ra, uning
barcha koeffitsientlari, jumladan uning ozod hadi (𝑝 − 1)! + 1 ham 𝑝 ga bo`linadi, ya`ni (𝑝 − 1) + 1 ≡ 0(𝑚𝑜𝑑𝑝)
MISOL. 1) 1 ∙ 2 ∙ 3 ∙ 4 ∙ 5 ∙ 6 + 1 ≡ 0(𝑚𝑜𝑑7)
2) 4! + 1 = 24 + 1 ≡ 0(𝑚𝑜𝑑5)
MISOL. 251𝑥54 + 63𝑥25 − 7𝑥11 + 4𝑥3 + 2 ≡ 0(𝑚𝑜𝑑 5) taqqoslamani soddalashtiring.
Yechish: berigan taqqoslamani soddalashtirish uchun taqqoslamalar xossalaridan va Eyler teoremasidan foyalanamiz:
251 ≡ 1(𝑚𝑜𝑑 5);
63 ≡ 3(𝑚𝑜𝑑 5);
7 ≡ 2(𝑚𝑜𝑑 5);
4 ≡ 4(𝑚𝑜𝑑 5);
2 ≡ 2(𝑚𝑜𝑑 5).
𝜑(5) = 4 dan: 𝑥54 ≡ (𝑥4)13 ∙ 𝑥2 ≡ 𝑥2(𝑚𝑜𝑑 5); 𝑥25 ≡ (𝑥4)6 ∙ 𝑥 ≡ 𝑥(𝑚𝑜𝑑 5);
𝑥11 ≡ (𝑥4)2 ∙ 𝑥3 ≡ 𝑥3(𝑚𝑜𝑑 5).
Keltirilgan taqqoslamalar yordamida berilgan taqqoslamani soddalashtiramiz:
251𝑥54 + 63𝑥25 − 7𝑥11 + 4𝑥3 + 2 ≡ 𝑥2 + 3𝑥 − 2𝑥3 + 4𝑥3 + 2 ≡ 2𝑥3 + 𝑥2 +
3𝑥 + 2 ≡ 0 (𝑚𝑜𝑑 5).

Download 88.34 Kb.

Do'stlaringiz bilan baham:
1   2   3   4   5




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling