一個可以代表cis函數的圖形,藍色是
實數 部、橘色是
虛數 部
cis函數 性質 奇偶性 N/A 定義域 (-∞,∞) 到達域
|
cis
-->
x
|
=
1
,
cis
-->
x
∈ ∈ -->
C
{\displaystyle \left|\operatorname {cis} x\right|=1\,,\operatorname {cis} x\in \mathbb {C} }
周期 2π 特定值 當x=0 1 當x=+∞ N/A 當x=-∞ N/A 最大值 複數無法比大小 最小值 複數無法比大小 其他性質 渐近线 N/A 根 N/A 臨界點 N/A 拐點 kπ 不動點 0 k是一個整數 .
在微积分学 中,cis函數 又稱純虛數指數函數 ,是複變函數 的一种,和三角函數 類似,其可以使用正弦函數 和餘弦函數
cis
-->
x
=
cos
-->
x
+
i
sin
-->
x
{\displaystyle \operatorname {cis} x=\cos x+i\sin x}
來定義,是一種實變數 複數值函數 ,其中
i
{\displaystyle i}
為虛數單位 ,而cis則為c os + i s in 的縮寫。
概觀
cis函數是歐拉公式等號右側的所形的組合函數簡寫:
e
i
x
=
cos
-->
x
+
i
sin
-->
x
,
{\displaystyle e^{ix}=\cos x+i\sin x,}
其中i 表示虛數單位
i
2
=
− − -->
1
{\displaystyle i^{2}=-1}
。因此
cis
-->
x
=
cos
-->
x
+
i
sin
-->
x
,
{\displaystyle \operatorname {cis} x=\cos x+i\sin x,}
[ 1] [ 2] [ 3]
cis符號最早由威廉·哈密頓 在他於1866出版的《Elements of Quaternions》中使用[ 4] ,而Irving Stringham在1893出版的《Uniplanar Algebra》
[ 5] [ 6]
以及James Harkness和Frank Morley在1898出版的《Theory of Analytic Functions》中皆沿用了此一符號
[ 6] [ 7]
,其利用歐拉公式 將三角函數與複平面的指數函數連結起來。
cis函數主要的功能為簡化某些數學表達式,透過cis函數可以使部分數學式能更簡便地表達[ 4] [ 5] [ 8] ,例如傅里葉變換和哈特利變換的結合[ 9] [ 10] [ 11] ,以及應用在教學上時,因某些因素(如課程安排或課綱需求)因故不能使用指數來表達數學式時,cis函數就能派上用場。
性質
cis函數的定义域是整个实数集 ,值域 是單位複數 ,絕對值 為1 的複數 。它是周期函数 ,其最小正周期为
2
π π -->
{\displaystyle 2\pi }
。其图像关于原点对称。
上述文字稱它以類似三角函數的形式來定義函數的原因是,就如同三角函數 ,他也算是一種比值 ,複數 和其模的比值:
cis
-->
θ θ -->
=
z
|
z
|
{\displaystyle \operatorname {cis} \theta ={\frac {z}{\left|z\right|}}}
,其中
z
{\displaystyle z}
是辐角 為
θ θ -->
{\displaystyle \theta }
的複數
因此,當一複數的模為1,其反函數就是辐角 (arg函數 )。
cis
{\displaystyle \operatorname {cis} }
函數 可視為求單位複數 的函數。
cis
{\displaystyle \operatorname {cis} }
函數的實數 部分和餘弦函數 相同。
cis函數 定義在複數。圖中,顏色代表辐角,高代表模
微分
d
d
z
cis
-->
z
=
i
cis
-->
z
=
i
e
i
z
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} z}}\operatorname {cis} z=i\operatorname {cis} z=ie^{iz}}
[ 1] [ 12]
積分
∫ ∫ -->
cis
-->
z
d
z
=
− − -->
i
cis
-->
z
=
− − -->
i
e
i
z
{\displaystyle \int \operatorname {cis} z\,\mathrm {d} z=-i\operatorname {cis} z=-ie^{iz}}
[ 1]
其他性質
根據歐拉公式 ,cis函數有以下性質:
cis
-->
(
x
+
y
)
=
cis
-->
x
cis
-->
y
{\displaystyle \operatorname {cis} (x+y)=\operatorname {cis} x\,\operatorname {cis} y}
[ 13]
cis
-->
(
x
− − -->
y
)
=
cis
-->
x
cis
-->
y
{\displaystyle \operatorname {cis} (x-y)={\operatorname {cis} x \over \operatorname {cis} y}}
上述性質是當
x
{\displaystyle x}
與
y
{\displaystyle y}
都是複數時成立。在
x
{\displaystyle x}
與
y
{\displaystyle y}
都是實數時,有以下不等式:
|
cis
-->
x
− − -->
cis
-->
y
|
≤ ≤ -->
|
x
− − -->
y
|
.
{\displaystyle |\operatorname {cis} x-\operatorname {cis} y|\leq |x-y|.}
[ 13]
命名
由於
cis
{\displaystyle \operatorname {cis} }
函數的值為「餘弦 加上虛數單位 倍的正弦 」,取其英文縮寫c osine and i maginary unit s ine,故以
cis
{\displaystyle \operatorname {cis} }
來表示該函數。
歐拉公式
在數學上,為了簡化歐拉公式
e
i
x
=
cos
-->
x
+
i
sin
-->
x
{\displaystyle e^{ix}=\cos x+i\sin x\ }
,因此將歐拉公式 以類似三角函數的形式來定義函數,給出了cis函數 的定義[ 1] [ 9] [ 8] [ 2] [ 14] [ 10] [ 11] [ 15] :
cis
-->
θ θ -->
=
cos
-->
θ θ -->
+
i
sin
-->
θ θ -->
{\displaystyle \operatorname {cis} \theta =\cos \theta +i\;\sin \theta }
並且一般定義域 為
θ θ -->
∈ ∈ -->
R
{\displaystyle \theta \in \mathbb {R} \,}
,值域為
θ θ -->
∈ ∈ -->
C
{\displaystyle \theta \in \mathbb {C} \,}
。
當
θ θ -->
{\displaystyle \theta }
值為複數時,
cis
{\displaystyle \operatorname {cis} }
函數仍然是有效的,因此可利用cis函數將歐拉公式 推廣到更複雜的版本。[ 16]
棣莫弗公式
在數學上,為了方便起見,可以將棣莫弗公式寫成以下形式:
cis
n
-->
(
x
)
=
cis
-->
(
n
x
)
{\displaystyle \operatorname {cis} ^{n}(x)=\operatorname {cis} (nx)}
指數定義
跟其他三角函數類似,可以用e 的指數 來表示,依照歐拉公式 給出:
cis
-->
θ θ -->
=
e
i
θ θ -->
{\displaystyle \operatorname {cis} \theta =e^{i\theta }}
反函數
cis
{\displaystyle \operatorname {cis} }
的反函數:
arccis
-->
x
{\displaystyle \operatorname {arccis} x}
,當代入模為1的複數時,所得的值是其輻角
類似其他三角函數,
cis
{\displaystyle \operatorname {cis} }
的反函數也可以用自然對數 來表示
arccis
x
=
− − -->
i
ln
-->
x
{\displaystyle \operatorname {arccis} \,x=-{\mathrm {i} }\ln x\,}
當一複數經過符號函數 後代入
arccis
-->
x
{\displaystyle \operatorname {arccis} x}
可得輻角。
恆等式
cis
{\displaystyle \operatorname {cis} }
函數的倍角公式似乎比三角函數 簡單許多
半形公式
cis
-->
θ θ -->
2
=
(
1
+
i
)
+
(
1
− − -->
i
)
cos
-->
θ θ -->
sin
-->
θ θ -->
{\displaystyle \operatorname {cis} {\frac {\theta }{2}}={\frac {(1+i)+(1-i)\cos \theta }{\sin \theta }}}
cis
-->
θ θ -->
2
=
cis
-->
θ θ -->
{\displaystyle \operatorname {cis} {\frac {\theta }{2}}={\sqrt {\operatorname {cis} \theta }}}
倍角公式
cis
-->
2
θ θ -->
=
cis
2
-->
θ θ -->
{\displaystyle \operatorname {cis} 2\theta =\operatorname {cis} ^{2}\theta }
cis
-->
n
θ θ -->
=
cis
n
-->
θ θ -->
{\displaystyle \operatorname {cis} n\theta =\operatorname {cis} ^{n}\theta }
冪簡約公式
cis
n
-->
θ θ -->
=
cis
-->
n
θ θ -->
{\displaystyle \operatorname {cis} ^{n}\theta =\operatorname {cis} n\theta }
相關函數
餘cis函數
cocis函數,正好跟cis上下顛倒,周期相同,但是位移了
π π -->
2
{\displaystyle {\frac {\pi }{2}}}
就如同三角函數,我們可以令:
cocis
-->
θ θ -->
=
cos
-->
(
π π -->
2
− − -->
θ θ -->
)
+
i
sin
-->
(
π π -->
2
− − -->
θ θ -->
)
=
sin
-->
θ θ -->
+
i
cos
-->
θ θ -->
{\displaystyle \operatorname {cocis} \theta =\cos \left({\frac {\pi }{2}}-\theta \right)+i\;\sin \left({\frac {\pi }{2}}-\theta \right)=\sin \theta +i\;\cos \theta }
,其可用於誘導公式 來化簡某些特定的
cis
{\displaystyle \operatorname {cis} }
函數的式子。
至於指數定義,經過正弦和餘弦的指數定義得:
cocis
-->
θ θ -->
=
(
1
− − -->
i
)
e
i
θ θ -->
+
(
1
+
i
)
e
− − -->
i
θ θ -->
2
{\displaystyle \operatorname {cocis} \theta ={\frac {(1-i)e^{i\theta }+(1+i)e^{-i\theta }}{2}}}
有恆等式:
cis
-->
(
− − -->
θ θ -->
)
=
− − -->
i
cocis
-->
θ θ -->
{\displaystyle \operatorname {cis} (-\theta )=-i\operatorname {cocis} \theta }
cis
-->
(
π π -->
2
− − -->
θ θ -->
)
=
cocis
-->
θ θ -->
{\displaystyle \operatorname {cis} \left({\frac {\pi }{2}}-\theta \right)=\operatorname {cocis} \theta }
cis
-->
(
π π -->
2
+
θ θ -->
)
=
i
cis
-->
θ θ -->
{\displaystyle \operatorname {cis} \left({\frac {\pi }{2}}+\theta \right)=i\operatorname {cis} \theta }
cis
-->
(
π π -->
+
θ θ -->
)
=
− − -->
cis
-->
θ θ -->
{\displaystyle \operatorname {cis} (\pi +\theta )=-\operatorname {cis} \theta }
cocis
-->
(
− − -->
θ θ -->
)
=
i
cis
-->
θ θ -->
{\displaystyle \operatorname {cocis} (-\theta )=i\operatorname {cis} \theta }
cocis
-->
(
π π -->
2
− − -->
θ θ -->
)
=
cis
-->
θ θ -->
{\displaystyle \operatorname {cocis} \left({\frac {\pi }{2}}-\theta \right)=\operatorname {cis} \theta }
cocis
-->
(
π π -->
2
+
θ θ -->
)
=
− − -->
i
cocis
-->
θ θ -->
{\displaystyle \operatorname {cocis} \left({\frac {\pi }{2}}+\theta \right)=-i\operatorname {cocis} \theta }
cocis
-->
(
π π -->
+
θ θ -->
)
=
− − -->
cocis
-->
θ θ -->
{\displaystyle \operatorname {cocis} (\pi +\theta )=-\operatorname {cocis} \theta }
雙曲cis函數
cish函數(
cosh
+
i
sinh
{\displaystyle \cosh +i\sinh }
)在幾何意義上與cis函數對應的雙曲函數不同。在雙曲幾何中,與歐幾里得幾何對應cis函數應為:
e
θ θ -->
=
cosh
-->
(
θ θ -->
)
+
sinh
-->
(
θ θ -->
)
{\displaystyle e^{\theta }=\cosh(\theta )+\sinh(\theta )}
然而當中的
i
{\displaystyle i}
若定義為負一的平方根,則其會變為[ 17] :
cish
-->
θ θ -->
=
cosh
-->
(
θ θ -->
)
+
i
sinh
-->
(
θ θ -->
)
{\displaystyle \operatorname {cish} \theta =\cosh(\theta )+i\sinh(\theta )}
雙曲複數
在一般的情況下,cis函數對應的雙曲函數定義域 和值域 皆為實數 ,但若定義雙曲複數 ,考慮數
z
=
x
+
j
y
{\displaystyle z=x+jy}
,其中
x
,
y
{\displaystyle x,y}
是實數 ,而量
j
{\displaystyle j}
不是實數,但
j
2
{\displaystyle j^{2}}
是實數。選取
j
2
=
− − -->
1
{\displaystyle j^{2}=-1}
,得到一般複數。取
+
1
{\displaystyle +1}
的話,便得到雙曲複數。
而雙曲複數 有對應的歐拉公式 :
e
j
θ θ -->
=
cosh
-->
(
θ θ -->
)
+
j
sinh
-->
(
θ θ -->
)
{\displaystyle e^{j\theta }=\cosh(\theta )+j\sinh(\theta )}
cish
-->
θ θ -->
=
cosh
-->
(
θ θ -->
)
+
j
sinh
-->
(
θ θ -->
)
{\displaystyle \operatorname {cish} \theta =\cosh(\theta )+j\sinh(\theta )}
其中j為雙曲複數 。
因此雙曲cis函數 得到的值為雙曲複數 ,相反的若將其反函數 帶入模為一的雙曲複數 可得其輻角 。
如此一來,值域將會變成分裂四元数 。
cas函數
cas函數是一個以類似cis函數的概念定義的一個函數,為雷夫·赫特利 於1942提出,其定義為
c
a
s
(
x
)
:=
cos
-->
x
+
sin
-->
x
{\displaystyle \mathrm {cas} (x):=\cos x+\sin x}
,是一種實變數實值函數,而cas為「cosine -and-sine 」的縮寫,其表示了實數值的赫特利變換 [ 18] [ 19] :
c
a
s
(
x
)
=
cos
-->
x
+
sin
-->
x
{\displaystyle \mathrm {cas} (x)=\cos x+\sin x}
cas函數存在一些恆等式:
2
cas
-->
(
a
+
b
)
=
cas
-->
(
a
)
cas
-->
(
b
)
+
cas
-->
(
− − -->
a
)
cas
-->
(
b
)
+
cas
-->
(
a
)
cas
-->
(
− − -->
b
)
− − -->
cas
-->
(
− − -->
a
)
cas
-->
(
− − -->
b
)
.
{\displaystyle 2\operatorname {cas} (a+b)=\operatorname {cas} (a)\operatorname {cas} (b)+\operatorname {cas} (-a)\operatorname {cas} (b)+\operatorname {cas} (a)\operatorname {cas} (-b)-\operatorname {cas} (-a)\operatorname {cas} (-b).\,}
角和公式:
cas
-->
(
a
+
b
)
=
cos
-->
(
a
)
cas
-->
(
b
)
+
sin
-->
(
a
)
cas
-->
(
− − -->
b
)
=
cos
-->
(
b
)
cas
-->
(
a
)
+
sin
-->
(
b
)
cas
-->
(
− − -->
a
)
{\displaystyle \operatorname {cas} (a+b)={\cos(a)\operatorname {cas} (b)}+{\sin(a)\operatorname {cas} (-b)}=\cos(b)\operatorname {cas} (a)+\sin(b)\operatorname {cas} (-a)\,}
微分:
cas
′
-->
(
a
)
=
d
d
a
cas
-->
(
a
)
=
cos
-->
(
a
)
− − -->
sin
-->
(
a
)
=
cas
-->
(
− − -->
a
)
.
{\displaystyle \operatorname {cas} '(a)={\frac {\mathrm {d} }{\mathrm {d} a}}\operatorname {cas} (a)=\cos(a)-\sin(a)=\operatorname {cas} (-a).}
參見
參考文獻
^ 1.0 1.1 1.2 1.3 Weisstein, Eric W. (编). Cis . at MathWorld --A Wolfram Web Resource. Wolfram Research, Inc. [2016-01-09 ] . (原始内容存档 于2016-01-27) (英语) .
^ 2.0 2.1 Simmons, Bruce. Cis . Mathwords: Terms and Formulas from Algebra I to Calculus. Oregon City, OR, US: Clackamas Community College , Mathematics Department. 2014-07-28 [2004] [2016-01-15 ] . (原始内容存档 于2016-01-19).
^ Rationale for International Standard - Programming Languages - C (PDF) . 5.10: 114, 117, 183, 186–187. April 2003 [2010-10-17 ] . (原始内容存档 (PDF) 于2016-06-06).
^ 4.0 4.1 Hamilton, William Rowan . II. Fractional powers, General roots of unity. 写于Dublin. Hamilton, William Edwin (编). Elements of Quaternions . University Press , Michael Henry Gill , Dublin (printer) 1. London, UK: Longmans, Green & Co. 1866-01-01: 250–257, 260, 262–263 [2016-01-17 ] . […] cos […] + i sin […] we shall occasionally abridge to the following: […] cis […]. As to the marks […], they are to be considered as chiefly available for the present exposition of the system, and as not often wanted, nor employed, in the subsequent practise thereof; and the same remark applies to the recent abrigdement cis, for cos + i sin […] ([1] , [2] )
^ 5.0 5.1 Stringham, Irving . Uniplanar Algebra, being part 1 of a propædeutic to the higher mathematical analysis 1 . C. A. Mordock & Co. (printer) 1. San Francisco, US: The Berkeley Press . 1893-07-01: 71–75, 77, 79–80, 82, 84–86, 89, 91–92, 94–95, 100–102, 116, 123, 128–129, 134–135 [1891] [2016-01-18 ] . As an abbreviation for cos θ + i sin θ it is convenient to use cis θ , which may be read: sector of θ .
^ 6.0 6.1 Cajori, Florian . A History of Mathematical Notations 2 2 (3rd corrected printing of 1929 issue). Chicago, US: Open court publishing company . 1952: 133 [March 1929] [2016-01-18 ] . ISBN 978-1-60206-714-1 . ISBN 1-60206-714-7 . Stringham denoted cos β + i sin β by "cis β ", a notation also used by Harkness and Morley . (NB. ISBN and link for reprint of 2nd edition by Cosimo, Inc., New York, US, 2013.)
^ Harkness, James ; Morley, Frank . Introduction to the Theory of Analytic Functions 1. London, UK: Macmillan and Company . 1898: 18, 22, 48, 52, 170 [2016-01-18 ] . ISBN 978-1-16407019-1 . ISBN 1-16407019-3 . (NB. ISBN for reprint by Kessinger Publishing, 2010.)
^ 8.0 8.1 Swokowski, Earl; Cole, Jeffery. Precalculus: Functions and Graphs . Precalculus Series 12 (Cengage Learning ). 2011 [2016-01-18 ] . ISBN 978-0-84006857-6 . ISBN 0-84006857-3 .
^ 9.0 9.1 L.-Rundblad, Ekaterina; Maidan, Alexei; Novak, Peter; Labunets, Valeriy. Fast Color Wavelet-Haar-Hartley-Prometheus Transforms for Image Processing. 写于Prometheus Inc., Newport, USA. Byrnes, Jim (编). Computational Noncommutative Algebra and Applications (PDF) . NATO Science Series II: Mathematics, Physics and Chemistry (NAII) 136 . Dordrecht, Netherlands: Springer Science + Business Media, Inc. 2004: 401-411 [2017-10-28 ] . ISBN 978-1-4020-1982-1 . ISSN 1568-2609 . doi:10.1007/1-4020-2307-3 . (原始内容存档 (PDF) 于2017-10-28).
^ 10.0 10.1 Kammler, David W. A First Course in Fourier Analysis 2. Cambridge University Press . 2008-01-17 [2017-10-28 ] . ISBN 978-1-13946903-6 . ISBN 1-13946903-7 . (原始内容存档 于2018-10-17).
^ 11.0 11.1 Lorenzo, Carl F.; Hartley, Tom T. The Fractional Trigonometry: With Applications to Fractional Differential Equations and Science . John Wiley & Sons . 2016-11-14 [2017-10-28 ] . ISBN 978-1-11913942-3 . ISBN 1-11913942-2 . (原始内容存档 于2018-10-17).
^ Fuchs, Martin. Chapter 11: Differenzierbarkeit von Funktionen. Analysis I (PDF) WS 2011/2012. Fachrichtung 6.1 Mathematik, Universität des Saarlandes , Germany´. 2011: 3, 13 [2016-01-15 ] . (原始内容 (PDF) 存档于2021-07-10) (德语) .
^ 13.0 13.1 Fuchs, Martin. Chapter 8.IV: Spezielle Funktionen – Die trigonometrischen Funktionen. Analysis I (PDF) WS 2011/2012. Fachrichtung 6.1 Mathematik, Universität des Saarlandes , Germany´. 2011: 16–20 [2016-01-15 ] . (原始内容 (PDF) 存档于2021-01-20) (德语) .
^ Simmons, Bruce. Polar Form of a Complex Number . Mathwords: Terms and Formulas from Algebra I to Calculus. Oregon City, OR, US: Clackamas Community College , Mathematics Department. 2014-07-28 [2004] [2016-01-15 ] . (原始内容存档 于2016-01-23).
^ Pierce, Rod. Complex Number Multiplication . Maths Is Fun. 2016-01-04 [2000] [2016-01-15 ] . (原始内容存档 于2016-01-15).
^ Moskowitz, Martin A. A Course in Complex Analysis in One Variable. World Scientific Publishing Co. 2002: 7. ISBN 981-02-4780-X .
^ Ahangar, Reza. The Relativistic Geometry of the Complex Matter Space. Journal of Applied Mathematics and Physics. 2017-01, 05 : 422–438. doi:10.4236/jamp.2017.52037 .
^ Hartley, Ralph V. L. A More Symmetrical Fourier Analysis Applied to Transmission Problems . Proceedings of the IRE . March 1942, 30 (3): 144–150 [2018-10-18 ] . doi:10.1109/JRPROC.1942.234333 . (原始内容存档 于2018-10-18).
^ Bracewell, Ronald N. The Fourier Transform and Its Applications 3. McGraw-Hill . June 1999 [1985, 1978, 1965]. ISBN 978-0-07303938-1 .