三角関数はテイラー展開を使って定義する

正則関数であること

から、実数の関数が複素数でそのまま成立する