WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

SubtractSides[rel,x]

等式または不等式 rel の各辺から x を引く．

SubtractSides[rel1,rel2]

2つの等式または不等式の対応する辺を引く．

SubtractSides[rel]

rel の右辺を両辺から引き，右辺を0にする．

詳細
Details and Options Details and Options
例題  
例  
スコープ  
アプリケーション  
特性と関係  
関連項目
関連するガイド
履歴
引用書式

SubtractSides

SubtractSides[rel,x]

等式または不等式 rel の各辺から x を引く．

SubtractSides[rel1,rel2]

2つの等式または不等式の対応する辺を引く．

SubtractSides[rel]

rel の右辺を両辺から引き，右辺を0にする．

詳細

  • 関係 rel は以下のいずれでもよい．
  • lhs==rhs等しい
    lhs!=rhs等しくない
    lhs>rhs または lhs>=rhs 不等式
    ab>c≥…一般化された不等式

例題

すべて開く すべて閉じる

例  (4)

等式の両辺から3を引く：

Wolfram Language code: SubtractSides[x + 3 == 7, 3]

等式の両辺から右辺を引く：

Wolfram Language code: SubtractSides[a + b == c]

2つの等式の対応する辺を引く：

Wolfram Language code: SubtractSides[a == b, c == d]

不等式の両辺から数bを引く：

Wolfram Language code: SubtractSides[x + b > 7, b]

スコープ  (6)

3つの式からなる等式の各辺から最も右側の辺を引く：

Wolfram Language code: SubtractSides[(Sin[a]/a) == (Sin[b]/b) == (Sin[c]/c)]

等式と非等式を組み合せる：

Wolfram Language code: SubtractSides[a ≠ b, c == d]

等式と不等式を組み合せる：

Wolfram Language code: SubtractSides[z == 7, y > m x + b]

一般化された不等式の各部分からを引く：

Wolfram Language code: SubtractSides[a == b > -5 > c, -5]

Piecewiseを使って表現されたいくつかの不等式からx^2を引く：

Wolfram Language code: SubtractSides[Piecewise[{{x^2 > c/a + (b*x)/a, a > 0}, {x^2 < c/a + (b*x)/a, a < 0}}, a*x^2 > c + b*x], x ^ 2]

ConditionalExpression内の等式の両辺から右辺を引く：

Wolfram Language code: SubtractSides[ConditionalExpression[(a/c) == (b/d), c ≠ 0]]

アプリケーション  (1)

二次方程式の解の公式を導く：

Wolfram Language code: quadratic = a x^2 + b x + c == 0

両辺に4 a を掛ける：

Wolfram Language code: MultiplySides[quadratic, 4a, Assumptions -> a ≠ 0]//Expand

両辺から 4 a c-b^2を引く：

Wolfram Language code: SubtractSides[%, 4a c - b^2]

左辺を因数分解する：

Wolfram Language code: Factor[%]

両辺の正の平方根を取る：

Wolfram Language code: ApplySides[Sqrt, %]

平方の平方根を開く：

Wolfram Language code: PowerExpand[%]

両辺から b を引く：

Wolfram Language code: SubtractSides[%, b]

両辺を2 a で割って x についての正の平方根を含む二次方程式の解の公式を得る：

Wolfram Language code: DivideSides[%, 2a, Assumptions -> a ≠ 0]

特性と関係  (4)

TrueとFalseは自明等式であるとみなされる：

Wolfram Language code: SubtractSides[True, a]
Wolfram Language code: SubtractSides[1 == 0, a]

SubtractSidesは，等式を等価の等式に変換する：

Wolfram Language code: SubtractSides[x + 3 == 8, 3]

Solveは，等式が真となる変数の値を与える：

Wolfram Language code: Solve[x + 3 == 8, x]

Reduceを使って等式を var==value の形に書き換えることができる：

Wolfram Language code: Reduce[x + 3 == 8, x]

SimplifyはSubtractSidesの機能を併せ持つ：

Wolfram Language code: Simplify[x - 3 == a^2 + 2a b + b^2]
Wolfram Language code: SubtractSides[x - 3 == a^2 + 2a b + b^2, -3]

SubtractSides[eq,x]はAddSides[eq,x]の逆である：

Wolfram Language code: SubtractSides[x + y == 5, 5]
Wolfram Language code: AddSides[-5 + x + y == 0, 5]
Wolfram Research (2018), SubtractSides, Wolfram言語関数， https://reference.wolfram.com/language/ref/SubtractSides.html.

テキスト

Wolfram Research (2018), SubtractSides, Wolfram言語関数， https://reference.wolfram.com/language/ref/SubtractSides.html.

CMS

Wolfram Language. 2018. "SubtractSides." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/SubtractSides.html.

APA

Wolfram Language. (2018). SubtractSides. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/SubtractSides.html

BibTeX

@misc{reference.wolfram_2026_subtractsides, author="Wolfram Research", title="{SubtractSides}", year="2018", howpublished="\url{https://reference.wolfram.com/language/ref/SubtractSides.html}", note=[Accessed: 30-October-2026]}

BibLaTeX

@online{reference.wolfram_2026_subtractsides, organization={Wolfram Research}, title={SubtractSides}, year={2018}, url={https://reference.wolfram.com/language/ref/SubtractSides.html}, note=[Accessed: 30-October-2026]}