Функция Эйлера и ее свойства.

Определение:(m) mN она определяется для всех натуральных чисел.

(1)=1, (m), m>1

(m) – это число чисел меньшихmи взаимно простых сm.

(3)=2 (1,2)

(5)=4 (1,2,3,4)

Теорема:15

m=pⁿ – степень простого числа, тогда

( pⁿ)=pⁿ(1-1/p)

Доказательство:

Выпишем все делители pⁿ - p,2p,3p…, pⁿ-p.

Всего этих чисел - p^n-1-1

Всего чисел в интервале (1, pⁿ) - pⁿ-1

Чтобы найти все взаимнопростые числа надо из pⁿ-1 вычестьp^n-1-1= pⁿ-p^n-1= pⁿ(1-1/p).

Теорема:16

Имеется 2 взаимно простых числа D(a,b)=1

x- пробегает полную систему вычетов по модулюa.

y- пробегает полную систему вычетов по модулюb.

Тогда.

1) Z=ay+bx=1 пробегает полную систему вычетов по модулюab.

2) иD(Z,ab)=1 тогда и только тогда, когдаD(a,x)=1 и D(b,y)=1

Доказательство:

X – может приниматьaзначений, y – может приниматьb значений

Тогда их комбинация ay+bx принимаетab значений

Покажем, что каждое значение Z не сравнимо друг с другом по модулюab, т.е. что все значенияZ образуют систему вычетов по модулюab.

Доказательство:

1. Z₁=ay₁+bx₁ покажем, что они не сравнимы сZ₂=ay₂+bx₂

Пусть аy₁+bx₁=ay₂+bx₂(ab), тогда

аy₁+bx₁=ay₂+bx₂(a)

аy₁+bx₁=ay₂+bx₂(b) =>

a(y₁-y₂)=0 => bx₁=bx₂(a)

b(x₁-x₂)=0 => ax₁=ax₂(b), но по условию теоремыD(a,b)=1

По следствию 2 теоремы 13 x пробегает полную систему вычетов поmod а, т.е.x₁=x₂, y₁=y₂ – т.к. из разных классов по 1 элементу, а они не сравнимы).

т.е. Z₁=Z₂ т.е.Z- несравнимо друг с другом по модулюab, т.е.Z – пробегает полную систему вычетов по модулюab.

2. D(Z,ab)=1, тогдаD(a,x)=1 D(y,b)=1

Доказательство:

Z=ay+bx

D(ay+bx,ab)=1 => D(ay+bx,a)=1 иD(ay+bx,b)=1

Т.к. D(a,b)=1, тоD(bx,a)=1 т.к. еслиD(bx,a)1 тоD(ay+bx,a)1

D(ay,b)=1 т.к. D(a,b)=1

D(x,a)=1 и D(y,b)=1

Следствие к теореме 16

Если D(a,b)=1, тогда(ab)=(a)(b)

Доказательство:по теореме 16.

x- пробегает полную систему вычетов по модулюa. =>

{0,1,2,…(a-1)}

(a):D(x,a)=1.

y- пробегает полную систему вычетов по модулюb. =>

{0,1,2,…(b-1)}

(b):D(y,b)=1.

Если Z- пробегает полную систему вычетов по модулюab. =>

Z=ay+bx

(ab):D(z,ab)=1.

(a)(b) условиеD(x,a)=1 иD(y,b)=1 по теореме 16 (2)D(z,ab)=1 => (ab)=(a)(b).

Если есть попарно взаимные числа D(a,b)=1 D(a,c)=1 D(c,b)=1, тогда(abс)=(a)(b)(с). Справедливо для любого числа сомножителей.

Следствие:2 Формула Эйлера для любого числаmZ и запишем его в каноническое разложение –m=p^aq^br^c…

(m)=(p^a)(q^b)(r^c) по следствию 1.

По теореме 15 (m)=p^a(1-1/p) q^b(1-1/q) r^c(1-1/r)…= m(1-1/p)(1-1/q)(1-1/r) – формула Эйлера для любого целого числа.

Пример:

(17)=16

m=60=2^2.3^.5

(m)=60(1-1/2)(1-1/3)(1-1/5)=16

Теорема:17

Формула Гаусса.

Возьмем m.

Сумма всех функций Эйлера по всем делителям числа m – есть само числоm.

Доказательство:

m=p^aq^br^c…

Заметим, что любой делитель m-d=p^aq^br^c…

Где 0<=a₁<=a

0<=b₁<=b

0<=c₁<=c

[1+(p)+(p²)+…+(p^a)]x[1+(q)+(q²)+…+(q^b)]x[1+(r)+(r²)+…+(r^c)]x…

(p)(q)(r)…=(p^aq^br^c)…=_d(d) (По свойству мультиплекативности)

0<=a₁<=a

0<=b₁<=b

0<=c₁<=c

[1+p-1+p²-p+…+pⁿ-p^n-1](pⁿ)=pⁿ(1-1/p)

Из первой скобки получимp^a из второйq^b из третьейr^c и.т.д.

p^aq^br^c…=m