でエラーになりませんReduce
。たとえば、xE
私が試したの局所極値を見つけるために
Reduce[xE'[t] == 0, t]
戻った
C[1] \[Element] Integers && (t == 2 \[Pi] C[1] ||
t == 2 I ArcTanh[2/Sqrt[3]] + 2 \[Pi] C[1])
これにより、実際のソリューションと複雑なソリューションの両方が得られることに注意してください。本物のみが必要な場合は、試すことができます
Reduce[xE'[t] == 0, t, Reals]
を与える
C[1] \[Element] Integers && t == 2 \[Pi] C[1]
編集
ソリューションを元の式に戻すには、たとえば を使用してルールのリストに変換できますToRules
。最初にソリューションを単純化するToRules
ような式を処理できないためC[1] \[Element] Integers
sol = Reduce[xE'[t] == 0, t];
sol = Simplify[sol, C[_] \[Element] Integers]
(* ==> t == 2 \[Pi] C[1] || t == 2 I ArcTanh[2/Sqrt[3]] + 2 \[Pi] C[1] *)
ToRules
次に、この式をルールのリストに変換します。これを使用して式に戻すことができますReplaceAll
xE[t] /. {ToRules[sol]}
(* ==> {-Sqrt[1600 - 100 (1 - Cos[2 \[Pi] C[1]])^2] +
10 (2 \[Pi] C[1] - Sin[2 \[Pi] C[1]]),
-Sqrt[1600 - 100 (1 - Cosh[2 ArcTanh[2/Sqrt[3]] - 2 I \[Pi] C[1]])^2] +
10 (2 I ArcTanh[2/Sqrt[3]] + 2 \[Pi] C[1] -
I Sinh[2 ArcTanh[2/Sqrt[3]] - 2 I \[Pi] C[1]])} *)
結果の式にはまだ定数が含まれていることに注意してくださいC[1]
。特定の値の極値を見つけるには、C[1]
別の置換規則を使用できます。
({t, xE[t]} /. {ToRules[sol]}) /. {C[1] -> -4}