Составители:
207
()
(
){}()
=
==
=d
x
xfxfdF D
n
0
1n
1
2
2n1nn
dadadadaa +++++=
−
−−
Κ . □ (П1.23)
Доказательство утверждения строится на формировании последовательности
()
kf из коэффициентов ММ
(
)
xf с учетом его передачи младшим разрядом
вперед
()
Κ
Κ
,0,0,0,a,a,,a,a,a:kf
012n1nn −−
(П1.24)
с последующим применением к (П1.24) D-преобразования (П1.1). ■
Утверждение П1.2 (УП1.2).
D-образ
(
)
dF модулярного многочлена
(
)
xf
(П1.22) при его передаче старшим разрядом вперед задается соотношением
()
(
){}
()
===
=
−
−
dx
1
1
xf
~
xfdF D
n
n
1n
1n
2
210
dadadadaa +++++=
−
−
Κ , (П1.25)
где
()
1
xf
~
−
– полином по отрицательным степеням
1
x
−
задается в силу пред-
ставления
()
()
==
−1n
xf
~
xxf
(
)
n
n
)1n(
1n
2
2
1
10
n
daxaxaxaax
−−−
−
−−
+++++=Κ □ (П1.26)
Доказательство утверждения строится на формировании последовательности
()
kf из коэффициентов ММ
(
)
xf с учетом его передачи старшим разрядом впе-
ред
()
Κ
Κ
,0,0,0,a,a,,a,a,a:kf
n1n210 −
(П1.27)
с последующим применением к последовательности (П1.27) прямого D-
преобразования (П1.1) и констатацией факта совпадения порядка следования ко-
эффициентов
(
)
n,0ia
i
= в последовательности (П1.27) и в ММ
()
1
xf
~
−
(П1.26). ■
Страницы
- « первая
- ‹ предыдущая
- …
- 220
- 221
- 222
- 223
- 224
- …
- следующая ›
- последняя »
