x^y
の
乗を与える.
Power 
x^y
の
乗を与える.
詳細
- 記号操作・数値操作の両方に適した数学関数である.
の形式の解に,可能な限り,厳密な有理数の結果が与えられる.- 複素数
と
についてPowerは,
の主値を与える. »
は,
が整数の場合に限って自動的に
に変換される.
は,
が整数の場合に限って自動的に
に変換される.- 特別な引数の場合,Powerは自動的に厳密値を計算する.
- Powerは任意の数値精度で評価できる.
- Powerは自動的にリストに縫い込まれる.
- Power[x,y]は,複素
平面の
から0の範囲において非整数
について不連続な分枝切断線を持つ. - Power[x,y,z,…]はPower[x,Power[y,z,…]]と解釈される.
- PowerはIntervalオブジェクトおよびCenteredIntervalオブジェクトに使うことができる. »
予備知識
- Powerは,式を与えられた数で累乗する数学関数である.式Power[x,y]は通常短縮形のシンタックス x^y を使って表される,あるいは2Dタイプセット形式で xy として書かれる.ある数の1乗は,それ自体に等しく(
),1の複素ベキは1に等しい(
).ベキ関数の逆関数は,Logで与えられるので,
を
について解くと,
の主要解が返される. - 式を2乗する操作は,「平方」として,式の3乗は「立方」として知られる.ベキを含む数量を組み合せる規則は,指数規則と呼ばれ,与えられたベキに底を累乗することは,累乗法として知られる.Power,Exp,Log,およびその関連関数を含む多くの式は,自動的に簡約されるか,SimplifyまたはFullSimplifyを使って簡約される.PowerExpandを使って形式的展開および関連の簡約化を行い,ExpToTrigを使ってPower式の三角法形式を得ることができる.
- 関数Sqrt[x]は,Power[x,1/2]を使って表される.自然対数の底Eを使った累乗法は,Exp[x]として入力されるが,Power[E,x]を使って表される.
- Power[x,y]は,非整数 y についての複素 x 平面で
から0まで変化する y の分岐線法の非連続性を持つ.この分岐線法のため,Power[x,1/n]はデフォルトで負の実数 x と奇数の正の数 n について,実数根の代りに複素根を返す.実数値の n
乗根を得るためには,Surd[x,n]を使う.特殊形CubeRoot[x]は,Surd[x,3]に対応する.
例題
すべて開く すべて閉じる例 (6)
2 ^ 1002^100明示的なFullForm:
Power[2, 100]Plot[Power[x, 3], {x, 0, 5}]ComplexPlot3D[z^3, {z, -3 - 3I, 3 + 3I}, PlotLegends -> Automatic]Series[Power[x^2 / 3], {x, -1, 3}, Assumptions -> Im[x] > 0]スコープ (46)
数値評価 (9)
Power[2., -1 / 2]N[((12/17))^5, 50]res = N[Power[123, 4567890], 10 ^ 6];//Timing(-5)^1 / 2(-1)^1 / 3N[%]これは,
として定義されたPowerの一般定義に基づいている:
%% == Exp[(1/3) Log[-1]]Surdを使って実根を得ることができる:
Surd[-1, 3]N[Power[2, I]]Power[I, 2]Power[2, I, 2]Powerは要素単位でリストと行列に縫い込まれる:
{0, 1.5, I π, ∞}^1 / 22 ^ {1, 2, 3}(| | |
| :- | :- |
| 1 | u |
| v | I |)^2//MatrixFormPowerはIntervalオブジェクトおよびCenteredIntervalオブジェクトに使うことができる:
Interval[{1 / 3, 2}] ^ 3Pi ^ Interval[{2, 3.}]CenteredInterval[2, 1 / 100] ^ CenteredInterval[3, 1 / 100]CenteredInterval[2 + 3I, (1 + I) / 100] ^ CenteredInterval[3, (1 + I) / 100]Aroundを使って平均的な場合の統計区間を計算する:
Power[ 2, Around[2 / 3, 0.001]]Power[2, {{1 / 2, -1}, {-5 / 3, 1 / 2}}]MatrixFunctionを使って行列のPower関数を計算することもできる:
MatrixFunction[Power[2, #]&, {{1 / 2, -1}, {-5 / 3, 1 / 2}}]//FullSimplify特定の値 (4)
Power[x, 0]Power[0, n]{0^2, 0^-2}//QuietPower[0, 0]//QuietLimit[x ^ n, n -> ∞, Assumptions -> Abs[x] < 1]Limit[x ^ n, n -> ∞, Assumptions -> Abs[x] > 1]Power[2, y]Power[x, 5]Power[x, y, z]Power[x,3]=0.5であるような x の値を求める:
xval = x /. FindRoot[Power[x, 3] == 0.5, {x, 0.1}]Plot[Power[x, 3], {x, 0, 1}, Epilog -> Style[Point[{xval, Power[xval, 3]}], PointSize[Large], Red]]可視化 (5)
Plot[{x^1, x^2, x^3, x^4}, {x, -1, 1}, PlotLegends -> "Expressions"]ReImPlot[x^2 / 3, {x, -4, 4}, PlotLegends -> Automatic]
(Power[x,
])と
(CubeRoot[x]) の実部と虚部を実数上で比較する:
ReImPlot[{x^(1/(3)), Surd[x, 3]}, {x, -4, 4}, PlotLegends -> Automatic]ComplexContourPlot[Re[(z)^5 / 2], {z, -3 - 3 I, 3 + 3I}, Contours -> 20]ComplexContourPlot[Im[(z)^5 / 2], {z, -3 - 3 I, 3 + 3I}, Contours -> 20]PolarPlot[ϕ^3, {ϕ, 0, 8π}, Frame -> True]関数の特性 (11)
FunctionDomain[2^n, n]FunctionDomain[(-2)^n, n]FunctionDomain[(-2)^n, n, Complexes]FunctionRange[2^n, n, y]FunctionRange[2^n, n, z, Complexes]Powerは右結合である:
Power[x, y, z] === Power[x, Power[y, z]]Power[x, y, z]//FullFormPowerは,複素平面上で第2引数において周期的である:
FunctionPeriod[x ^ n, n, Complexes]Limit[(-2 + ε) ^ (1 / 3), ε -> 0, Direction -> I]Limit[(-2 + ε) ^ (1 / 3), ε -> 0, Direction -> -I]N[{%, %%}]FunctionAnalytic[x^n, x, Assumptions -> n∈ℤ && n > 0]FunctionMeromorphic[x^n, x, Assumptions -> n∈ℤ && n < 0]{FunctionMeromorphic[x^1 / 2, x], FunctionMeromorphic[x^-π, x]}FunctionAnalytic[b^x, x, Assumptions -> b∈ℝ && b ≠ 0]{FunctionAnalytic[x^y, {x, y}], FunctionMeromorphic[x^y, {x, y}]}FunctionMonotonicity[b^x, x, Assumptions -> b > 1, StrictInequalities -> True]FunctionMonotonicity[b^x, x, Assumptions -> 0 < b < 1, StrictInequalities -> True]FunctionInjective[b^x, x, Assumptions -> b < -1 || b > 1 || -1 < b < 0 || 1 > b > 0]Plot[{((1/4))^``x``, 5}, {x, -5, 5}]FunctionSurjective[b^x, x, Assumptions -> b > 1]Plot[{4^``x``, -2}, {x, -5, 5}]FunctionSign[b^``x``, x, Assumptions -> b > 0, StrictInequalities -> True]FunctionSign[x^n, x, Assumptions -> (n/2)∈ℤ && n > 0]FunctionSingularities[x^n, x]FunctionContinuous[{x ^ n, x ≥ 0}, x]//FullSimplifyFunctionConvexity[b^x, x, Assumptions -> b > 0]FunctionConvexity[x^n, x, Assumptions -> (n/2)∈ℤ && n > 0]微分 (4)
D[Power[x, n], x]Table[D[Power[x, n], {x, k}], {k, 1, 4}]//FullSimplifyPlot[Evaluate[% /. n -> 4], {x, -3, 3}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative", "Fourth Derivative"}]D[Power[x, n], {x, k}]// FullSimplifyD[x^n, n]D[x^n, {n, k}]積分 (3)
Integrateを使って不定積分を計算する:
Integrate[x^y, x]// FullSimplifyFullSimplify[D[%, x]]// FullSimplifyIntegrate[x^y, {x, 0, 10}, Assumptions -> Re[y] > -1]Integrate[x^y y^x, x]// FullSimplifyIntegrate[Log10[x] Power[E, x], {x, 0, E}]// FullSimplify級数展開 (4)
Seriesを使ってテイラー(Taylor)展開を求める:
Series[Power[y, x], {x, 0, 5}]terms = Normal@Table[Series[Power[2, x], {x, 0, m}], {m, 1, 5, 2}];
Plot[{Power[2, x], terms}, {x, -10, 10}]SeriesCoefficientを使った級数展開の一般項:
SeriesCoefficient[Power[y, x], {x, 1, n}]FourierSeries[Power[y, x], x, 1]// FullSimplifySeries[Power[y, x], {x, x0, 2}]// FullSimplify関数の恒等式と簡約 (6)
Power[z, 0] == 1Power[z, k] == z Power[z, k - 1]ExpToTrig[Power[E, I x]]Exp関数との結合:
Power[-1, a] == Exp[I a π]//FullSimplify(x ^ 2)^1 / 3PowerExpandを使って強制的に簡約する:
PowerExpand[%](x ^ 2)^1 / 3 == PowerExpand[x^2 / 3] /. x -> -1あるいは,Simplifyで適切な仮定を使う:
Simplify[(x ^ 2)^1 / 3, x∈Reals]Power[x, a]Power[x, b]ComplexExpand[Power[x + I y, k]]アプリケーション (5)
Table[(1 + 0.05) ^ n, {n, 5}]Reduce[(4/3)Pi r ^ 3 == a ^ 3, r, Reals]ToRadicals[%, Assumptions -> a > 0]% /. a -> 1.ContourPlot[Re[2 ^ (1 / (0.1 + x + I y))], {x, -0.1, 0.1}, {y, -0.1, 0.1}]有理関数の積分をLogについて求める:
Integrate[1 / (x ^ 2 - 1), x]DSolve[{(1 + x^2) y''[x] + 2 x y'[x] == 0, y[0] == 0, y'[0] == 1}, y[x], x]特性と関係 (27)
{x ^ (1 / 2), Sqrt[x], Sqrt[x]}(z ^ (1 / 3)) ^ 3(z ^ 3) ^ (1 / 3)(z ^ 3) ^ (1 / 3) /. z -> -1Power[x,1/n]または
を使って主複素根を求める:
(-16.)^1 / 4-32.^(1/(5))Surd[x,n]を使って n 番目の実根を求める:
Surd[-16., 4]Surd[-32., 5]Simplify[(z ^ 3) ^ (1 / 3), z > 0]PowerExpandを使って形式的に簡約する:
PowerExpand[(z ^ 3) ^ (1 / 3)]PowerExpand[(z ^ 3) ^ (1 / 3), Assumptions -> {}]PiecewiseExpand[%, Assumptions -> -Pi < Arg[z] ≤ Pi]ExpToTrigを使って三角法の形を求める:
(-1) ^ (1 / 7)ExpToTrig[(-1) ^ (1 / 7)]RootReduce[2 ^ (1 / 2) + 5 ^ (1 / 5)]sol = Solve[x ^ 6 == 1, x]root = Table[Root[# ^ 6 - 1&, m], {m, 6}]Sort[ExpToTrig[x /. sol]] == Sort[root]Expandを使って多項式のベキに展開する:
(1 + x) ^ 10Expand[(1 + x) ^ 10]Series[Exp[x], {x, 0, 5}]% ^ 4Solve[a ^ x == b, x]Reduce[a ^ x == b, x]//TraditionalForm1 / x ^ 2//FullFormSqrt[x]//FullFormExp[x] // FullFormCases[{1 / x, 1, Sqrt[x], x, x ^ 2, x ^ 3}, x ^ _]Cases[{1 / x, 1, Sqrt[x], x, x ^ 2, x ^ 3}, x ^ _.]Plot3D[Im[(x + I y) ^ (1 / 3)], {x, -3, 3}, {y, -2, 2}](2 + Sqrt[3]) ^ (1 / 3)∈Algebraics(Pi) ^ (1 / 3)∈Algebraics∫x^aa^xⅆxLaplaceTransform[t^n, t, s]FourierTransform[1 / t ^ 2, t, s]Underoverscript[∑, k = Subscript[k, 1], Subscript[k, 2]]k^aDSolve[z Derivative[1][w][z] - a w[z] == 0, w[z], z]Powerは多くの数学関数の特殊形に現れる:
{HypergeometricPFQ[{-a}, {}, 1 - z], Hypergeometric2F1[-a, b, b, 1 - z], MeijerG[{{1 + a}, {}}, {{0}, {}}, z - 1]}PowerはDifferenceRootとして表すことができる:
DifferenceRootReduce[Power[k, 2], k]DifferenceRootReduce[Power[z, k], k]Powerの級数展開における一般項:
SeriesCoefficient[Power[a, x], {x, 0, n}]Powerの母関数:
GeneratingFunction[Power[n, k], n, x]Series[%, {x, 0, 10}]FindSequenceFunctionはPower数列を認識する:
Table[Power[n, 5], {n, 10}]FindSequenceFunction[%, n]Powerの指数母関数:
ExponentialGeneratingFunction[Power[k, n], n, x]GeneralizedPowerを使って任意の二項演算の整数乗を表す:
GeneralizedPower[NonCommutativeMultiply, x + y, 3]PowerはTimesのGeneralizedPowerである:
GeneralizedPower[Times, x, k]考えられる問題 (13)
Powerは常に主根を計算する:
(-1) ^ (1 / 3)N[%](z ^ 3) ^ (1 / 3)(z ^ 3) ^ (1 / 3) /. z -> -1PowerExpand[(z ^ 3) ^ (1 / 3)]((-1.) ^ (1 / 3)) ^ 3((N[-1, 20]) ^ (1 / 3)) ^ 3Chopを使って小さい虚部を削除する:
Chop[%]Plot[Sqrt[z ^ 2] / z, {z, -1, 1}]D[Sqrt[z ^ 2] / z, z]機械精度の場合,分枝切断線上で不正確な数値結果が与えることがある:
N[(-2 + I ((Pi + 1) ^ 2 - Pi ^ 2 - 2Pi - 1 - Exp[-Pi ^ 4])) ^ (1 / 3)]N[(-2 + I ((Pi + 1) ^ 2 - Pi ^ 2 - 2Pi - 1 - Exp[-Pi ^ 4])) ^ (1 / 3), 8]5 ^ 5 ^ 5.MachineNumberQ[%]2 ^ 2 ^ 20.ベキの中にはどのようなコンピュータにとっても大きすぎるものもある:
2 ^ 2 ^ 100.0 ^ 0{x ^ 0, x ^ 0.0, x ^ 0``10}1の記号ベキは1が厳密数あるいは機械精度数である場合にのみ評価される:
{1 ^ x, 1.0 ^ x, 1``10 ^ x}(Pi ^ 2 + 2Pi + 1 - (Pi + 1) ^ 2 + Exp[-1000]) ^ 0N[%]Block[{$MaxExtraPrecision = 10 ^ 4}, N[%%, 20]]Series[x ^ Sqrt[2] Sin[x], {x, 0, 5}]Head[%]Powerは行列に対して要素単位で適用される:
{{1, 2}, {3, 4}} ^ 2行列のベキにはMatrixPowerを使う:
MatrixPower[{{1, 2}, {3, 4}}, 2]おもしろい例題 (3)
Plot[Evaluate[Table[x ^ n, {n, 10}]], {x, -1.2, 1.2}]NestList[z ^ #&, z, 6]ContourPlot[Evaluate[Sin[Arg[z^z^z^z /. z -> x + I y] / 2]], {x, -1, 1}, {y, -1, 1}, ColorFunction -> Hue, ContourStyle -> None, Exclusions -> {}]ListPlot[Abs[NestList[I ^ #&, 1, 50]]]FixedPoint[SetPrecision[I ^ #, 16]&, 1]Solve[I ^ x == x, x]N[%, 16]テクニカルノート
-
▪
- 数の四則演算
関連するガイド
-
▪
- 算術関数 ▪
- 行列の操作 ▪
- 行列と線形代数 ▪
- ベクトル操作 ▪
- 初等関数 ▪
- 画像の処理と解析 ▪
- Wolfram言語のシンタックス ▪
- 数学関数 ▪
- GPU計算 ▪
- 音声編集 ▪
- NVIDIAを使ったGPU計算 ▪
- Appleを使ったGPU計算
履歴
1988 で導入 (1.0) | 2021 で更新 (13.0)
テキスト
Wolfram Research (1988), Power, Wolfram言語関数, https://reference.wolfram.com/language/ref/Power.html (2021年に更新).
CMS
Wolfram Language. 1988. "Power." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2021. https://reference.wolfram.com/language/ref/Power.html.
APA
Wolfram Language. (1988). Power. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Power.html
BibTeX
@misc{reference.wolfram_2026_power, author="Wolfram Research", title="{Power}", year="2021", howpublished="\url{https://reference.wolfram.com/language/ref/Power.html}", note=[Accessed: 04-November-2026]}
BibLaTeX
@online{reference.wolfram_2026_power, organization={Wolfram Research}, title={Power}, year={2021}, url={https://reference.wolfram.com/language/ref/Power.html}, note=[Accessed: 04-November-2026]}