Программирование - Быстрое преобразование Фурье Свойства поворачивающих множителей предыдущая главаоглавлениеследующая глава Рассмотрим ряд свойств поворачивающих множителей, которые нам понадобятся в дальнейшем. Верхняя цифра в поворачивающем множителе не является индексом, это - степень. Поэтому, когда она равна единице, мы не будем ее писать: Прямое преобразование Фурье можно выразить через поворачивающие множители. В результате формула (1) примет вид:     (3). Эти коэффициенты действительно оправдывают свое название. Нарисуем на комплексной плоскости любое комплексное число, в виде вектора, исходящего из начала координат. Представим это комплексное число в показательной форме: rejφ, где r - модуль числа, а φ - аргумент. Модуль соответствует длине вектора, а аргумент - углу поворота: Теперь возьмем какой-нибудь поворачивающий множитель . Его модуль равен единице, а фаза - 2π/N. Как известно, при умножении комплексных чисел, представленных в показательной форме, их модули перемножаются, а аргументы суммируются. Тогда умножение исходного числа на поворачивающий множитель не изменит длину вектора, но изменит его угол. То есть, произойдет поворот вектора на угол 2π/N (см. предыдущий рисунок). Если теперь посмотреть на формулу (3), то станет ясен геометрический смысл преобразования Фурье: он состоит в том, чтобы представить N комплексных чисел-векторов из набора {x}, каждое в виде суммы векторов из набора {X}, повернутых на углы, кратные 2π/N. Теорема 0. Если комплексное число представлено в виде e j2πN, где N - целое, то это число e j2πN = 1. Доказательство: По формуле Эйлера, и ввиду периодичности синуса и косинуса: e j2πN = cos(2πN) + j sin(2πN) = cos 0 + j sin 0 = 1 + j0 = 1 Теорема 1. Величина периодична по k и по n с периодом N. То есть, для любых целых l и m выполняется равенство:     (4). Доказательство:     (5) Величина -h = -(nl+mk+mlN) - целая, так как все множители целые, и все слагаемые целые. Значит, мы можем применить Теорему 0: Что и требовалось доказать по (4). Теорема 2. Для величины справедлива формула: Доказательство: предыдущая главаоглавлениеследующая глава #bn { DISPLAY: block } #bt { DISPLAY: block }