Cot[z]
z の余接を与える.
Cot
Cot[z]
z の余接を与える.
予備知識
- Cotは,三角法で出会う基本関数の1つの余接関数である.これは,正接関数の逆関数
として定義される.直角三角形における角
の余接の学校教科書での同等の定義は,
に隣接する辺とその反対側の辺の長さの比(正接の逆数)である. - Cotは,引数が
の単純な有理倍数の場合は,自動的に厳密値に評価される.より複雑な有理倍数については,FunctionExpandを使って明示的な厳密値が得られることがある.TrigFactorListを使ってCotを含む式をSinおよびCosを含む項に因子分解することができる.度で測られた角を使って引数を指定するときは,記号Degreeを乗数として使うことができる(例:Cot[30 Degree]).引数として厳密な数式が与えられると,Cotは任意の数値精度に評価できることがある.Cotを含む記号式の役に立つ操作には,TrigToExp,TrigExpand,Simplify,FullSimplify等がある. - Cotは要素単位でリストおよび行列に縫い込まれる.対照的に,MatrixFunctionを使って正方行列の余接(通常のベキを行列ベキで置換した,余接関数についてのベキ級数)を個々の行列要素の余接に対立するものとして得ることができる.
- Cotは,FunctionPeriodにあるように,
を周期として周期的である.Cotは,恒等式
を満足する.これは,ピタゴラスの定理に等しい.余接関数の定義は,定義
を使って複素引数
にまで拡張することができる.ただし,
は自然対数の底である.Cotは整数
について
に極を持ち,これらの点で評価するとComplexInfinityになる.Cot[z]は,原点付近で級数展開
を持つ.これはベルヌーイ(Bernoulli)数BernoulliBによって表すことができる. - Cotの逆関数はArcCotである.双曲線余接はCothで与えられる.他の関連する数学関数にはTan,Cos等がある.
例題
すべて開く すべて閉じる例 (6)
Cot[Pi / 3]Degreeを用いて引数を度で指定する:
Cot[60Degree]Plot[Cot[x], {x, -Pi, Pi}]ComplexPlot3D[Cot[z], {z, -π - 2I, π + 2I}, PlotLegends -> Automatic]Series[Cot[x], {x, 0, 10}]Series[Cot[x], {x, -π, 5}]スコープ (46)
数値評価 (6)
Cot[1.2]N[Cot[12 / 10], 50]Cot[1.20000000000000000000000]Cotは複素数の入力を取ることができる:
Cot[2.5 + I]Cotを高精度で効率よく評価する:
Cot[1.2`500]//TimingCot[1.2`100000];//TimingCot[ {{5π / 6, π / 2}, {3π / 2, -π / 6}}]MatrixFunctionを使って行列のCot関数を計算することもできる:
MatrixFunction[Cot[#]&, {{5π / 6, π / 2}, {3π / 2, -π / 6}}]IntervalオブジェクトとCenteredIntervalオブジェクトを使って最悪の場合に保証される区間を計算する:
Cot[Interval[{-π / 4, π / 4}]]Cot[CenteredInterval[1, 1 / 100]]Cot[CenteredInterval[2 + 3I, (1 + I) / 100]]Aroundを使って平均的な場合の統計区間を計算することもできる:
Cot[Around[3, 0.01]]特定の値 (5)
固定点におけるCotの値:
Table[Cot[n(π/6)], {n, 1, 5}]Cot[Infinity]Cot[ComplexInfinity]Cotの零点:
Assuming[m∈Integers, Refine[Cot[π((1/2) + m)]]]sol = Solve[Cot[x] == 0 && 0 < x < π, x]xzero = x /. First[sol]Plot[Cot[x], {x, 0, π}, Epilog -> Style[Point[{xzero, Cot[xzero]}], PointSize[Large], Red]]Cotの特異点:
Assuming[m∈Integers, FullSimplify[Refine[Cot[π m]]]]Cot[Pi / 6]より複雑な場合にはFunctionExpandを明示的に使う:
Cot[Pi / 8]FunctionExpand[%]可視化 (3)
Cot関数をプロットする:
Plot[Cot[x], {x, -π, π}]ComplexContourPlot[Re[Cot[z]], {z, -π - I, π + I}, IconizedObject[«PlotOptions»]]ComplexContourPlot[Im[Cot[z]], {z, -π - I, π + I}, IconizedObject[«PlotOptions»]]Table[PolarPlot[Cot[k ϕ], {ϕ, 0.01, 3π}, Sequence[Frame -> True, Exclusions -> All, FrameTicks -> {{{-1, -0.5, 0, 0.5, 1}, None}, {{-1, -0.5, 0, 0.5, 1}, None}}, PlotLabel -> "k=" <> ToString[k], PlotRange -> {{-1, 1}, {-1, 1}}]], {k, 1, 4}]関数の特性 (13)
Cotの実領域:
FunctionDomain[Cot[x], x]FunctionDomain[Cot[z], z, Complexes]Cotはすべての実数値に達する:
FunctionRange[Cot[x], x, y]Cotは,
を周期とする周期関数である:
FunctionPeriod[Cot[x], x]Cotは奇関数である:
Cot[-x]Cotは鏡特性
を有する:
FullSimplify[Cot[Conjugate[z]] == Conjugate[Cot[z]]]Cotは解析関数ではない:
FunctionAnalytic[Cot[x], x]FunctionMeromorphic[Cot[x], x]Cotは特定の値域で単調である:
FunctionMonotonicity[Cot[x], x]FunctionMonotonicity[{Cot[x], 0 < x < π / 2}, x]Cotは単射ではない:
FunctionInjective[Cot[x], x]Plot[{Cot[x], 1}, {x, -2π, 2π}]Cotは全射である:
FunctionSurjective[Cot[x], x]Plot[{Cot[x], 20}, {x, -2π, 2π}]Cotは非負でも非正でもない:
FunctionSign[Cot[x], x]Cotは π の倍数の点で特異点と不連続点の両方を持つ:
FunctionSingularities[Cot[x], x]FunctionDiscontinuities[Cot[x], x]Cotは凸でも凹でもない:
FunctionConvexity[Cot[x], x]TraditionalFormによる表示:
Cot[α]//TraditionalForm微分 (3)
D[Cot[x], x]Table[D[Cot[x], {x, n}], {n, 1, 3}]Plot[Evaluate[%], {x, -π, π}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative"}]D[Cot[x], {x, n}]Table[%, {n, 1, 3}]//Activate//Simplify積分 (3)
級数展開 (3)
Seriesを使ってテーラ(Taylor)展開を求める:
Series[Cot[x], {x, π / 2, 7}]
の周りのCotの最初の3つの近似をプロットする:
terms = Normal@Table[Series[Cot[x], {x, π / 2, m}], {m, 0, 5, 2}];
Plot[{Cot[x], terms}, {x, 0, π}, PlotRange -> {{0, π}, Automatic}]Cotの級数展開における一般項:
SeriesCoefficient[Cot[x], {x, 0, n}]Cotはベキ級数に適用できる:
Cot[(π/2) + x + (x^2/2) + (x^3/3) + O[x]^4]関数の恒等式と簡約 (6)
倍角のCot:
Expand[Cot[2x], Trig -> True]総和のCot:
TrigExpand[Cot[x + y]]TrigExpand[Cot[4x]]TrigReduce[%]TrigFactor[Cot[x] + Cot[y]]ComplexExpand[Cot[x + I y]]TrigToExp[Cot[z]]関数表現 (4)
Tanを介した表現:
Simplify[Tan[(Pi/2) - x]]Simplify[JacobiCS[z, 0]]Simplify[I JacobiNS[I z, 1]]SphericalHarmonicYを介した表現:
Simplify[Sqrt[1 / 2]SphericalHarmonicY[1, 0, θ, 0] / SphericalHarmonicY[1, -1, θ, 0]]Simplify[(MathieuC[1, 0, z]/MathieuS[1, 0, z])]アプリケーション (4)
Plot[Cot[x], {x, -Pi / 2, 3 / 2Pi}, Exclusions -> Sin[x] == 0]Plot3D[Re[Cot[x + I y]], {x, -Pi, Pi}, {y, 0, 3}]With[{parabola = Table[1 - x ^ 2 / 4 + I x, {x, 0, 20, 1 / 10}], pnts = Point[ReIm@#]&, opts = {Axes -> True, PlotRange -> All}},
{Graphics[pnts[parabola], opts],
Graphics[pnts[Cot[π / 4.Sqrt[parabola]] ^ 2], opts]}]DSolve[y'[x] + y[x] + Cot[x] == 0, y[x], x]特性と関係 (12)
余接関数の基本的なパリティと周期性の性質は自動的に適用される:
Cot[x + Pi]Cot[-x]Cot[I x]1 / Cot[x]CotをSinとCosに因数分解するのにはTrigFactorListを用いる:
Cos[x] / Sin[x]TrigFactorList[Cot[x]]Cot[z] + Tan[z]Simplify[%]Cot[-x + k Pi]Simplify[%, k∈Integers]{Cot[ArcCot[z]], Cot[2ArcCot[z]], Cot[3ArcCot[z]]}FunctionExpand[%]//TogetherCot[1] == CotDegrees[180 / π]//SimplifyReduce[Cot[z]^2 - 2Cot[z + Pi / 4] == 4, z]Reduce[Cot[α x + β] == 0, x]Reduce[1 / Cot[α x + β] == 0, x]FindRoot[Cot[z]^2 + 3Cot[z + Pi / 6] + z == 4, {z, 2}]Cotは多くの数学関数の特殊形に現れる:
{BesselJ[-(1/2), z] / BesselJ[(1/2), z], (MathieuC[1, 0, z]/MathieuS[1, 0, z]), JacobiCS[z, 0], JacobiSC[(π/2) - z, 0], JacobiNS[I z, 1], JacobiSN[(π I/2) - I z, 1], HypergeometricPFQ[{}, {(1/2)}, -z] / HypergeometricPFQ[{}, {(3/2)}, -z]}Table[Residue[Cot[z]^k, {z, 0}], {k, 10}](1/2π I)NIntegrate[Cot[z], {z, -(1/4), -(I/4), +(1/4), +(I/4), -(1/4)}]Cotは数値関数である:
Attributes[Cot]NumericQ[Cot[2 + E]]考えられる問題 (3)
Cot[10. ^ 30]N[Cot[10 ^ 30], 20]$MaxExtraPrecisionの設定値を大きくする必要がある:
N[Cot[10 ^ 100], 20]
Block[{$MaxExtraPrecision = 200}, N[Cot[10 ^ 100], 20]]Cot[1.5707963267948966192213216916397514421]おもしろい例題 (6)
Underoverscript[∏, k = 1, n - 1] Cot[z + (k π/n)]Simplify[%, (n/2)∈Integers]Simplify[%%, (n - 1/2)∈Integers]Integrate[Cot[ArcTan[z]], z]整数点でCotをプロットする:
ArrayPlot[Table[ArcCot[Abs[Cot[x y]]], {x, -20, 20}, {y, -20, 20}]]Cot[(π/2^12)]//FunctionExpandContinuedFraction[Cot[1], 22]Cot[n]は整数 n における超越数である:
Element[Cot[1], Algebraics]テクニカルノート
-
▪
- 初等超越関数
関連するガイド
-
▪
- 三角関数
履歴
1988 で導入 (1.0) | 1996 で更新 (3.0) ▪ 2021 (13.0)
テキスト
Wolfram Research (1988), Cot, Wolfram言語関数, https://reference.wolfram.com/language/ref/Cot.html (2021年に更新).
CMS
Wolfram Language. 1988. "Cot." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2021. https://reference.wolfram.com/language/ref/Cot.html.
APA
Wolfram Language. (1988). Cot. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Cot.html
BibTeX
@misc{reference.wolfram_2026_cot, author="Wolfram Research", title="{Cot}", year="2021", howpublished="\url{https://reference.wolfram.com/language/ref/Cot.html}", note=[Accessed: 16-September-2026]}
BibLaTeX
@online{reference.wolfram_2026_cot, organization={Wolfram Research}, title={Cot}, year={2021}, url={https://reference.wolfram.com/language/ref/Cot.html}, note=[Accessed: 16-September-2026]}