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