cis - математическая запись, определяемая формулой cis x = cos x + i sin x , где cos -функция косинуса , i - мнимая единица, а sin -функция синуса . Обозначения используются реже, чем формула Эйлера , e ix , которая предлагает еще более короткие и более общие обозначения для cos x + i sin x .
Обзор [ править ]
Цис обозначение является сокращенным для комбинации функций на правой стороне формулы Эйлера :
где i 2 = −1 . Так,
т.е. « цис » - это аббревиатура от « Cos I Sin ».
Цис обозначение впервые было придумано William Rowan Hamilton в элементах кватернионов (1866) [4] [5] , а затем используются Irving Стрингхого в работах , такие как одноплановые алгебры (1893), [6] [7] , или Джеймс Harkness и Фрэнк Морли в их « Введении в теорию аналитических функций» (1898 г.). [7] [8] Он связывает тригонометрические функции с экспоненциальными функциями на комплексной плоскости с помощью формулы Эйлера .
Он в основном используется в качестве удобной сокращенной записи для упрощения некоторых выражений, [9] [10] [11], например, в сочетании с преобразованиями Фурье и Хартли , [12] [13] [14] или когда экспоненциальные функции не должны быть почему-то используется в математическом образовании.
В области информационных технологий, функция видит целенаправленную поддержку в различных высокоэффективных математических библиотеках (например, Intel «s Math Kernel Library (MKL) [15] ), для многих компиляторов языков программирования (включая C , C ++ , [16] Common Lisp , [17] [18] D , [19] Fortran , [20] Haskell , [21] Julia [22] ) и операционные системы (включая Windows , Linux , [20] macOS и HP-UX [23]). В зависимости от платформы объединенная операция примерно в два раза быстрее, чем вызов функций синуса и косинуса по отдельности. [19] [3]
Математические тождества [ править ]
Производная [ править ]
- [1] [24]
Интегральный [ править ]
- [1]
Другие свойства [ править ]
Они непосредственно следуют из формулы Эйлера .
- [25]
Приведенные выше тождества верны, если x и y - любые комплексные числа. Если x и y действительны, то
- [25]
История [ править ]
Это обозначение было более распространено в эпоху после Второй мировой войны, когда пишущие машинки использовались для передачи математических выражений.
Цис обозначения иногда используется , чтобы подчеркнуть один способ просмотра и дело с проблемой , над другой. [26] Математика тригонометрии и экспонент связаны, но не совсем одинаковы; экспоненциальная запись подчеркивает целое, тогда как обозначения cis x и cos x + i sin x подчеркивают части. Это может быть риторически полезно для математиков и инженеров при обсуждении этой функции, а также может служить мнемоникой (для cos + i sin ).
Цис нотация удобна для студентов по математике , чьи знания тригонометрии и комплексных чисел позволяют это обозначение, но чьи концептуальное понимание еще не разрешает запись электронной IX . По мере того, как учащиеся изучают концепции, основанные на предшествующих знаниях, важно не заставлять их переходить на уровни математики, к которым они еще не готовы: обычное доказательство того, что cis x = e ix требует исчисления , которое ученик, возможно, не изучал до того, как выражение cos x + i sin x .
В 1942 году, вдохновленный нотацией цис , Ральф В.Л. Хартли представил функцию cas ( косинус-синус ) для действительного ядра Хартли , тем временем установленный ярлык в сочетании с преобразованиями Хартли : [27] [28]
См. Также [ править ]
- Формула де Муавра
- Формула Эйлера
- Комплексное число
- Теорема Птолемея
- Фазор
- Versor
Ссылки [ править ]
- ^ a b c Вайсштейн, Эрик У. (2015) [2000]. «СИС» . MathWorld . Wolfram Research, Inc. Архивировано 27 января 2016 года . Проверено 9 января 2016 .
- ^ Симмонс, Брюс (2014-07-28) [2004]. «СИС» . Математические слова: термины и формулы от алгебры I до исчисления . Орегон-Сити, Орегон, США: Общественный колледж Клакамас , математический факультет . Проверено 15 января 2016 .
- ^ a b «Обоснование международного стандарта - языки программирования - C» (PDF) . 5.10. Апрель 2003. С. 114, 117, 183, 186–187. Архивировано (PDF) из оригинала 06.06.2016 . Проверено 17 октября 2010 .
- ^ Гамильтон, Уильям Роуэн (1866-01-01). «Глава II. Дробные полномочия, общие корни единства» . Написано в Дублине. В Гамильтоне, Уильям Эдвин (ред.). Элементы кватернионов (1-е изд.). Лондон, Великобритания: Longmans, Green & Co. , University Press , Майкл Генри Гилл . С. 250–257, 260, 262–263 . Проверено 17 января 2016 .
[…]
Cos […] +
i
sin […]
мы иногда будем
сокращать
до следующего: […] цис […]. Что касается знаков […], то их следует считать имеющимися в основном для данной
экспозиции.
системы, и поскольку это нечасто требуется и не используется в ее последующей практике ; и то же самое замечание относится к недавнему сокращению cis для cos + i sin […]
( [1] , [2] [3] ) (NB. Эта работа была опубликована посмертно, Гамильтон умер в 1865 году.) - ^ Гамильтон, Уильям Роуэн (1899) [1866-01-01]. Гамильтон, Уильям Эдвин ; Джоли, Чарльз Джаспер (ред.). Элементы кватернионов . Я (2-е изд.). Лондон, Великобритания: Longmans, Green & Co., стр. 262 . Проверено 3 августа 2019 .
[…] Недавнее
сокращение
cis для
cos +
i
sin
[…]
(NB. Это издание было переиздано Chelsea Publ. Co. в 1969 году.)
- ^ Стрингем, Ирвинг (1893-07-01) [1891]. Унипланарная алгебра, являющаяся частью первой пропедевтики высшего математического анализа . 1 . CA Mordock & Co. (принтер) (1-е изд.). Сан-Франциско, США: Беркли Пресс . С. 71–75, 77, 79–80, 82, 84–86, 89, 91–92, 94–95, 100–102, 116, 123, 128–129, 134–135 . Проверено 18 января 2016 .
В качестве сокращения для cos θ + i sin θ удобно использовать cis θ , которое можно читать: сектор θ .
- ^ a b Каджори, Флориан (1952 г.) [март 1929 г.]. История математических обозначений . 2 (3-е исправленное издание 1929 г., 2-е изд.). Чикаго, США: Издательская компания «Открытый суд» . п. 133. ISBN. 978-1-60206-714-1. Проверено 18 января 2016 .
Стрингхэм обозначил cos β + i sin β «цис β », это обозначение также использовалось Харкнессом и Морли .
(NB. ISBN и ссылка для перепечатки 2-го издания компанией Cosimo, Inc., Нью-Йорк, США, 2013 г.) - ^ Харкнесс, Джеймс ; Морли, Фрэнк (1898). Введение в теорию аналитических функций (1-е изд.). Лондон, Великобритания: Macmillan and Company . стр. 18 , 22, 48, 52, 170. ISBN 978-1-16407019-1. Проверено 18 января 2016 . (NB. ISBN для перепечатки издательством Kessinger Publishing, 2010 г.)
- ^ Своковски, граф; Коул, Джеффри (2011). Precalculus: функции и графики . Серия Precalculus (12 изд.). Cengage Learning . ISBN 978-0-84006857-6. Проверено 18 января 2016 .
- ^ Рейс, Клайв (2011). Абстрактная алгебра: введение в группы, кольца и поля (1-е изд.). World Scientific Publishing Co. Pte. Ltd. С. 434–438. ISBN 978-9-81433564-5.
- ^ Weitz, Эдмунд (2016). «Основная теорема алгебры - наглядное доказательство» . Гамбург, Германия: Гамбургский университет прикладных наук (HAW), факультет медицинской техники. Архивировано 3 августа 2019 года . Проверено 3 августа 2019 .
- ^ Л.-Рундблад, Екатерина; Майдан, Алексей; Новак, Петр; Лабунец, Валерий (2004). «Быстрые цветные вейвлет-преобразования Хаара-Хартли-Прометея для обработки изображений». Написано в Prometheus Inc., Ньюпорт, США. В Бирнсе, Джиме (ред.). Вычислительная некоммутативная алгебра и приложения (PDF) . Наука НАТО II: математика, физика и химия (NAII). 136 . Дордрехт, Нидерланды: Springer Science + Business Media, Inc., стр. 401–411. DOI : 10.1007 / 1-4020-2307-3 . ISBN 978-1-4020-1982-1. ISSN 1568-2609 . Архивировано (PDF) из оригинала 28.10.2017 . Проверено 28 октября 2017 .
- ^ Каммлер, Дэвид У. (2008-01-17). Первый курс анализа Фурье (2-е изд.). Издательство Кембриджского университета . ISBN 978-1-13946903-6. Проверено 28 октября 2017 .
- ^ Лоренцо, Карл Ф .; Хартли, Том Т. (14 ноября 2016 г.). Дробная тригонометрия: с приложениями к дробным дифференциальным уравнениям и науке . Джон Вили и сыновья . ISBN 978-1-11913942-3. Проверено 28 октября 2017 .
- ^ Intel . "v? CIS" . Зона разработчиков Intel . Проверено 15 января 2016 .
- ^ «Справочник по компилятору Intel C ++» (PDF) . Корпорация Intel . 2007 [1996]. С. 34, 59–60. 307777-004US . Проверено 15 января 2016 .
- ^ «СНГ» . Common Lisp Hyperspec . The Harlequin Group Limited . 1996 . Проверено 15 января 2016 .
- ^ «СНГ» . LispWorks, Ltd. 2005 [1996] . Проверено 15 января 2016 .
- ^ a b "std.math: expi" . D язык программирования . Цифровой Марс . 2016-01-11 [2000] . Проверено 14 января 2016 .
- ^ a b «Руководство по установке и примечания к выпуску» (PDF) . Intel Fortran Compiler Professional Edition 11.0 для Linux (изд. 11.0). 2008-11-06 . Проверено 15 января 2016 . [ постоянная мертвая ссылка ]
- ^ «СНГ» . Ссылка на Haskell . ZVON . Проверено 15 января 2016 .
- ^ «Математика; Математические операторы» . Язык Джулии . Архивировано 19 августа 2020 года . Проверено 5 декабря 2019 .
- ^ «HP-UX 11i v2.0, некритическое влияние: изменения в IPF libm (NcEn843) - описание расширения CC Impacts - значительные улучшения производительности для функции питания и настройки производительности» . Hewlett-Packard Development Company, LP 2007 . Проверено 15 января 2016 .[ постоянная мертвая ссылка ]
- Перейти ↑ Fuchs, Martin (2011). «Глава 11: Differenzierbarkeit von Funktionen». Анализ I (PDF) (на немецком языке) (изд. WS 2011/2012). Fachrichtung 6.1 Mathematik, Саарландский университет , Германия. С. 3, 13 . Проверено 15 января 2016 .
- ^ a b Фукс, Мартин (2011). «Глава 8.IV: Spezielle Funktionen - Die trigonometrischen Funktionen». Анализ I (PDF) (на немецком языке) (изд. WS 2011/2012). Fachrichtung 6.1 Mathematik, Саарландский университет , Германия. С. 16–20 . Проверено 15 января 2016 .
- ^ Диль, Кристина; Леупп, Марсель (январь 2010 г.). Komplexe Zahlen: Ein Leitprogramm in Mathematik (PDF) (на немецком языке). Базель и Херизау, Швейцария: Eidgenössische Technische Hochschule Zürich (ETH). п. 41. Архивировано (PDF) из оригинала 27.08.2017.
[…] Bitte vergessen Sie aber nicht, dass e
iφ
für uns bisher nur eine Schreibweise für den Einheitszeiger mit Winkel φ ist.
In anderen Büchern wird dafür oft der Ausdruck cis (φ) anstelle von e
iφ
verwendet.
[…]
(109 стр.)
- Перейти ↑ Hartley, Ralph VL (март 1942 г.). «Более симметричный анализ Фурье применительно к задачам передачи» . Труды ИРЭ . 30 (3): 144–150. DOI : 10.1109 / JRPROC.1942.234333 . S2CID 51644127 .
- ^ Bracewell, Рональд Н. (июнь 1999 г.) [1985, 1978, 1965]. Преобразование Фурье и его приложения (3-е изд.). Макгроу-Хилл . ISBN 978-0-07303938-1.