rewrite

別の関数による式の書き換え

構文

R = rewrite(expr,target)

説明

R = rewrite(expr,target) は、シンボリック式 expr を target で指定された別の関数で書き換えます。書き換えられた式は、元の式と数学的に等価です。expr がベクトルまたは行列の場合、rewrite は expr の要素ごとに働きます。

例

三角関数と指数関数の間の書き換え

ターゲット "exp" を指定して、三角関数を指数関数で書き換えます。

syms x
sin2exp = rewrite(sin(x),"exp")

sin2exp = 
$$\frac{{\mathrm{e}}^{-x\hspace{0.17em}\mathrm{i}}\hspace{0.17em}\mathrm{i}}{2}-\frac{{\mathrm{e}}^{x\hspace{0.17em}\mathrm{i}}\hspace{0.17em}\mathrm{i}}{2}$$

tan2exp = rewrite(tan(x),"exp")

tan2exp = 
$$-\frac{{\mathrm{e}}^{2\hspace{0.17em}x\hspace{0.17em}\mathrm{i}}\hspace{0.17em}\mathrm{i}-\mathrm{i}}{{\mathrm{e}}^{2\hspace{0.17em}x\hspace{0.17em}\mathrm{i}}+1}$$

三角関数をターゲットに指定して、指数関数を任意の三角関数で書き換えます。ターゲット オプションの完全なリストについては、targetを参照してください。

syms x
exp2sin = rewrite(exp(x),"sin")

exp2sin = 
$$-2\hspace{0.17em}{\sin \left(\frac{x\hspace{0.17em}\mathrm{i}}{2}\right)}^2-\sin \left(x\hspace{0.17em}\mathrm{i}\right)\hspace{0.17em}\mathrm{i}+1$$

exp2tan = rewrite(-(exp(x*2i)*1i - 1i)/(exp(x*2i) + 1),"tan")

exp2tan = 
$$-\frac{\frac{\left(\tan \left(x\right)-\mathrm{i}\right)\hspace{0.17em}\mathrm{i}}{\tan \left(x\right)+\mathrm{i}}+\mathrm{i}}{\frac{\tan \left(x\right)-\mathrm{i}}{\tan \left(x\right)+\mathrm{i}}-1}$$

simplify を使用して exp2tan を所定の形式に単純化します。

exp2tan = simplify(exp2tan)

exp2tan = $$\tan \left(x\right)$$

三角関数間の書き換え

ターゲットを指定して、三角関数を別の三角関数で書き換えます。ターゲット オプションの完全なリストについては、targetを参照してください。

ターゲット "sin" を指定して、tan(x) を正弦関数で書き換えます。

syms x
tan2sin = rewrite(tan(x),"sin")

tan2sin = 
$$-\frac{\sin \left(x\right)}{2\hspace{0.17em}{\sin \left(\frac{x}{2}\right)}^2-1}$$

逆三角関数と対数関数の間の書き換え

ターゲット "log" を指定して、逆三角関数を対数関数で書き換えます。ターゲット オプションの完全なリストについては、targetを参照してください。

acos(x) と acot(x) を関数 log で書き換えます。

syms x
acos2log = rewrite(acos(x),"log")

acos2log = $$-\log \left(x+\sqrt{1-x^2}\hspace{0.17em}\mathrm{i}\right)\hspace{0.17em}\mathrm{i}$$

acot2log = rewrite(acot(x),"log")

acot2log = 
$$\frac{\log \left(1-\frac{\mathrm{i}}{x}\right)\hspace{0.17em}\mathrm{i}}{2}-\frac{\log \left(1+\frac{\mathrm{i}}{x}\right)\hspace{0.17em}\mathrm{i}}{2}$$

同様に、逆三角関数をターゲットに指定して、対数関数を任意の逆三角関数で書き換えます。

行列要素の書き換え

行列で rewrite を呼び出して、行列の各要素を、書き換えます。

行列のすべての要素を関数 exp で書き換えます。

syms x
matrix = [sin(x) cos(x); sinh(x) cosh(x)];
R = rewrite(matrix,"exp")

R = 
$$\left(\begin{array}{cc}\frac{{\mathrm{e}}^{-x\hspace{0.17em}\mathrm{i}}\hspace{0.17em}\mathrm{i}}{2}-\frac{{\mathrm{e}}^{x\hspace{0.17em}\mathrm{i}}\hspace{0.17em}\mathrm{i}}{2}& \frac{{\mathrm{e}}^{-x\hspace{0.17em}\mathrm{i}}}{2}+\frac{{\mathrm{e}}^{x\hspace{0.17em}\mathrm{i}}}{2}\\ \frac{{\mathrm{e}}^x}{2}-\frac{{\mathrm{e}}^{-x}}{2}& \frac{{\mathrm{e}}^{-x}}{2}+\frac{{\mathrm{e}}^x}{2}\end{array}\right)$$

正弦関数と余弦関数の間の書き換え

余弦関数を正弦関数に書き換えます。ここで、関数 rewrite は、任意の $\mathit{x}$ に対して有効である恒等式 $\cos \left(\mathit{x}\right)=1-2{\sin \left(\frac{\mathit{x}}{2}\right)}^2$ を使用して、余弦関数を書き換えます。

syms x
R = rewrite(cos(x),"sin")

R = 
$$1-2\hspace{0.17em}{\sin \left(\frac{x}{2}\right)}^2$$

rewrite が、sin(x) を $-\sqrt{1-{\cos }^2\left(\mathit{x}\right)}$ または $\sqrt{1-{\cos }^2\left(\mathit{x}\right)}$ として書き換えることはありません。これは、それらの式がすべての x に対して有効とはならないためです。しかし、これらの式の 2 乗を使用して sin(x)^2 を表現するなら、すべての x に対して有効になります。したがって、rewrite は sin(x)^2 を書き換えることができます。

syms x
R1 = rewrite(sin(x),"cos")

R1 = $$\sin \left(x\right)$$

R2 = rewrite(sin(x)^2,"cos")

R2 = $$1-{\cos \left(x\right)}^2$$

関数 root の書き換え

R2023a 以降

rootを使用して多項式の根を求めます。結果は、多項式の k 乗根を関数 root で (k = 1、2、3、4、または 5 として) 表した列ベクトルになります。

syms x
sols = root(x^5 - x^4 - 1,x)

sols = 
$$\left(\begin{array}{c}\mathrm{root}\left(x^5-x^4-1,x,1\right)\\ \mathrm{root}\left(x^5-x^4-1,x,2\right)\\ \mathrm{root}\left(x^5-x^4-1,x,3\right)\\ \mathrm{root}\left(x^5-x^4-1,x,4\right)\\ \mathrm{root}\left(x^5-x^4-1,x,5\right)\end{array}\right)$$

rewrite を "expandroot" オプションとともに使用して、sols の関数 root を展開します。結果は、厳密なシンボリック数で演算を行う ^、*、/、+、および – などの算術演算で表されます。展開された結果には算術演算を行う多くの項が含まれる可能性があるため、この結果の数値近似は (丸め誤差の蓄積により) 不正確になる可能性があります。

R = rewrite(sols,"expandroot")

R = 
$$\begin{array}{l}\left(\begin{array}{c}\frac{1}{2}-\frac{\sqrt{3}\hspace{0.17em}\mathrm{i}}{2}\\ \frac{1}{2}+\frac{\sqrt{3}\hspace{0.17em}\mathrm{i}}{2}\\ \frac{1}{3\hspace{0.17em}{\sigma }_1}+{\sigma }_1\\ -\frac{1}{6\hspace{0.17em}{\sigma }_1}-\frac{{\sigma }_1}{2}-\frac{\sqrt{3}\hspace{0.17em}\left(\frac{1}{3\hspace{0.17em}{\sigma }_1}-{\sigma }_1\right)\hspace{0.17em}\mathrm{i}}{2}\\ -\frac{1}{6\hspace{0.17em}{\sigma }_1}-\frac{{\sigma }_1}{2}+\frac{\sqrt{3}\hspace{0.17em}\left(\frac{1}{3\hspace{0.17em}{\sigma }_1}-{\sigma }_1\right)\hspace{0.17em}\mathrm{i}}{2}\end{array}\right)\\ \\ \mathrm{where}\\ \\ \mathrm{ }{\sigma }_1={\left(\frac{\sqrt{23}\hspace{0.17em}\sqrt{108}}{108}+\frac{1}{2}\right)}^{1/3}\end{array}$$

別の方法として、vpa を使用して可変精度のシンボリック数を返すことにより、sols を数値的に直接近似することができます。結果の数値は、既定で 32 桁の有効桁数をもち、より正確です。

solsVpa = vpa(sols)

solsVpa = 
$$\left(\begin{array}{c}-0.66235897862237301298045442723905-0.56227951206230124389918214490937\hspace{0.17em}\mathrm{i}\\ -0.66235897862237301298045442723905+0.56227951206230124389918214490937\hspace{0.17em}\mathrm{i}\\ 0.5-0.86602540378443864676372317075294\hspace{0.17em}\mathrm{i}\\ 0.5+0.86602540378443864676372317075294\hspace{0.17em}\mathrm{i}\\ 1.3247179572447460259609088544781\end{array}\right)$$

Symbolic Math Toolbox™ なしで sols を使用するには、コードを生成し、matlabFunction を使用して sols を MATLAB® 関数に変換します。生成されたファイルは、数値 double データ型で演算を行う関数rootsを使用します。

matlabFunction(sols,"File","myfile");
type myfile

function sols = myfile
%MYFILE
%    SOLS = MYFILE

%    This function was generated by the Symbolic Math Toolbox version 25.2.
%    11-Aug-2025 08:28:19

t0 = roots([1.0,-1.0,0.0,0.0,0.0,-1.0]);
t2 = t0(1);
t0 = roots([1.0,-1.0,0.0,0.0,0.0,-1.0]);
t3 = t0(2);
t0 = roots([1.0,-1.0,0.0,0.0,0.0,-1.0]);
t4 = t0(3);
t0 = roots([1.0,-1.0,0.0,0.0,0.0,-1.0]);
t5 = t0(4);
t0 = roots([1.0,-1.0,0.0,0.0,0.0,-1.0]);
t6 = t0(5);
sols = [t2;t3;t4;t5;t6];
end

関数 symsum と関数 root の書き換え

R2023a 以降

多項式の分数の不定積分を求めます。結果は、$\sum$ および $\mathrm{root}$ の記号で表現されるものとして、関数 symsum および関数 root で表されます。

syms x
F = int(1/(x^3 + x - 1),x)

F = 
$${\sum }_{k=1}^3\log \left(\mathrm{root}\left(z^3-\frac{3\hspace{0.17em}z}{31}-\frac{1}{31},z,k\right)\hspace{0.17em}\left(3\hspace{0.17em}x+\mathrm{root}\left(z^3-\frac{3\hspace{0.17em}z}{31}-\frac{1}{31},z,k\right)\hspace{0.17em}\left(6\hspace{0.17em}x-9\right)\right)\right)\hspace{0.17em}\mathrm{root}\left(z^3-\frac{3\hspace{0.17em}z}{31}-\frac{1}{31},z,k\right)$$

結果を算術演算で書き換えます。シンボリックな総和は最も外側の演算であるため、最初に "expandsum" オプションを指定して関数 rewrite を適用し、symsum を展開します。次に、"expandroot" オプションを使用して再度 rewrite を適用し、関数 root を書き換えます。結果のシンボリック式は、^、*、/、+、および – などの算術演算で表されます。

R = rewrite(rewrite(F,"expandsum"),"expandroot")

R = 
$$\begin{array}{l}\log \left(\left(3\hspace{0.17em}x+\left(6\hspace{0.17em}x-9\right)\hspace{0.17em}{\sigma }_3\right)\hspace{0.17em}{\sigma }_3\right)\hspace{0.17em}{\sigma }_3-\log \left(-\left(3\hspace{0.17em}x-\left(6\hspace{0.17em}x-9\right)\hspace{0.17em}{\sigma }_2\right)\hspace{0.17em}{\sigma }_2\right)\hspace{0.17em}{\sigma }_2-\log \left(-\left(3\hspace{0.17em}x-\left(6\hspace{0.17em}x-9\right)\hspace{0.17em}{\sigma }_1\right)\hspace{0.17em}{\sigma }_1\right)\hspace{0.17em}{\sigma }_1\\ \\ \mathrm{where}\\ \\ \mathrm{ }{\sigma }_1=\frac{1}{62\hspace{0.17em}{\sigma }_4}+\frac{{\sigma }_4}{2}-\frac{\sqrt{3}\hspace{0.17em}\left(\frac{1}{31\hspace{0.17em}{\sigma }_4}-{\sigma }_4\right)\hspace{0.17em}\mathrm{i}}{2}\\ \\ \mathrm{ }{\sigma }_2=\frac{1}{62\hspace{0.17em}{\sigma }_4}+\frac{{\sigma }_4}{2}+\frac{\sqrt{3}\hspace{0.17em}\left(\frac{1}{31\hspace{0.17em}{\sigma }_4}-{\sigma }_4\right)\hspace{0.17em}\mathrm{i}}{2}\\ \\ \mathrm{ }{\sigma }_3=\frac{1}{31\hspace{0.17em}{\sigma }_4}+{\sigma }_4\\ \\ \mathrm{ }{\sigma }_4={\left(\frac{\sqrt{27}\hspace{0.17em}\sqrt{119164}}{119164}+\frac{1}{62}\right)}^{1/3}\end{array}$$

入力引数

expr — 書き換え対象の入力

シンボリック数 | シンボリック変数 | シンボリック式 | シンボリック関数 | シンボリック ベクトル | シンボリック行列 | シンボリック多次元配列

書き換えまたは置き換え対象の入力。シンボリック数、シンボリック変数、シンボリック式、シンボリック関数、シンボリック ベクトル、シンボリック行列、またはシンボリック多次元配列として指定します。

target — ターゲット関数または展開する関数

string スカラー | 文字ベクトル

ターゲット関数または展開する関数。string スカラーまたは文字ベクトルとして指定します。次の表は、target オプションで許可されているすべての書き換え規則をまとめたものです。

ターゲット	書き換えまたは置き換え対象の関数	基準とする関数
"exp"	すべての三角関数と双曲線関数 (逆関数を含む)	exp, log
"log"	すべての逆三角関数と逆双曲線関数	log
"sincos"	tan, cot, exp, sinh, cosh, tanh, coth	sin, cos
"sin"、"cos"、"tan"、または "cot"	sin、cos、exp、tan、cot、sinh、cosh、tanh、coth (ターゲットを除く)	ターゲットの三角関数
"sinhcosh"	tan, cot, exp, sin, cos, tanh, coth	sinh, cosh
"sinh", "cosh", "tanh", "coth"	tan、cot、exp、sin、cos、sinh、cosh、tanh、coth (ターゲットを除く)	ターゲットの双曲線関数
"asin", "acos", "atan", "acot"	log およびすべての逆三角関数と逆双曲線関数	ターゲットの逆三角関数
"asinh", "acosh", "atanh", "acoth"	log およびすべての逆三角関数と逆双曲線関数	ターゲットの逆双曲線関数
"sqrt"	abs(x + 1i*y)	sqrt(x^2 + y^2)
"heaviside"	sign, triangularPulse, rectangularPulse	heaviside
"piecewise"	abs, heaviside, sign, triangularPulse, rectangularPulse	piecewise
"expandroot"	root	^、*、/、+、および – などの算術演算
"expandsum"	symsum	+ や – などの算術演算

ヒント

• rewrite は、置換が数学的に有効な場合にのみ、expr 内のシンボリック関数呼び出しを target で指定された別の関数に置き換えます。それ以外の場合、元の関数呼び出しを保持します。例については、正弦関数と余弦関数の間の書き換えを参照してください。

バージョン履歴

R2012a で導入

R2023a: 関数 root と関数 symsum の展開

関数 root と関数 symsum を使用するシンボリック式は、算術演算を使用して書き換えまたは展開することができます。例については、関数 root の書き換えおよび関数 symsum と関数 root の書き換えを参照してください。

参考

関数

• collect | combine | expand | factor | horner | numden | simplify | simplifyFraction | unitConvert

ライブ エディター タスク

• 単純化 (シンボリック式)

トピック

• 関数を選択して式を再編する
• ライブ エディター タスクを使用したシンボリック式の単純化