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