一次方程式:3x + 7 = 22
3x + 7 = 22手順は 2 つ。7 が反対側へ移って 3x = 15 になり、3 で割って x = 5 です。ソルバーが「両辺から 7 を引く」と「3 で割る」を別々の儀式として行わない点に注目してください。各手順を、その手が達成することで呼んでいます——声に出して説明するときの言い方と同じです。
どんな方程式も、授業と同じ言葉で各手順に名前を付けて解きます。
最終更新
Coddy の数学コースは解き方そのものを教えます。対話式のボードで一手ずつ進め、どこで手順が狂ったのかを正確に教えてくれます。
学校の代数で出会う方程式は、すべて同じやり方で解けます。両辺に同じことを繰り返し行い、文字が一つだけ残るまで続ける——それだけです。問題ごとに変わるのは「次にどの手を打つか」だけで、学ぶ価値があるのもそこだけです。答えだけを見ても、その部分は何も身につきません。
だからこのソルバーは手順を見せます。各行は何をしたのかを述べ(「両辺から 7 を引く」「場合分けする」「たすきに掛ける」)、その手が生んだ方程式を示します。名前はこのページ用に作ったものではありません。Coddy の数学コースが対話式のボードで使っている名前とまったく同じで、計算ツールとコースは一つのエンジンで動いています。
道すじの選び方も、コンピューターではなく教師のそれに近いものです。因数分解が使える場面では、解の公式より因数分解が勝ちます。短いうえ、手で解くならそうするからです。表示される手順の数は、その問題が実際にかかる手順の数です。
紙に書くのと同じように書きます:2x + 3 = 11、x^2 - 5x + 6 = 0、(x+1)/(x-2) = 3。累乗は ^、根号は sqrt(...)、絶対値は |x| です。
文字が二つ以上あるとボタンの行が現れます。公式の変形もこれで行います:A = l w と入力して l を選べば l = A/w が出ます。
多くの人が求めているものなので、答えは一番上にあります。その下の番号付きの手順が、二度読む価値のある部分です。
答えが違ったなら、役に立つ問いは「どちらの数が正しいか」ではなく「どの行で分かれたか」です。その行を見つければ、間違いはたいてい自分で説明してくれます。
ソルバーは一つで、解き方はあなたに尋ねるのではなく自分で選びます。認識する形と、それぞれで最初に打つ手が以下です。
| 方程式の種類 | 例 | 最初の手 |
|---|---|---|
| 一次 | 3x + 7 = 22 | 定数項を移項し、それから割る |
| 両辺に未知数 | 5x - 4 = 3x + 6 | まず x を片側に集める |
| かっこ | 2(x - 3) = 4x + 1 | 割るか展開するか、短いほうを選ぶ |
| 二次 | x² - 5x + 6 = 0 | 因数分解できれば因数分解、できなければ解の公式 |
| 分数・分数式 | (x+1)/(x-2) = 3 | たすきに掛け、残りを解く |
| 絶対値 | |x - 1| = 4 | 絶対値記号が表す二つの場合に分ける |
| 根号 | √(x + 3) = 5 | 両辺を 2 乗し、無縁解を確認する |
| 連立 | 2x + y = 5; x - y = 1 | 一方の未知数を消去し、あとで代入する |
| 不等式 | 3x + 2 > 11 | 同じ手順。負の数で割るときに不等号が反転する |
| 公式(文字式) | A = l w | 求めたい文字を選ぶと、その文字について解く |
3x + 7 = 22手順は 2 つ。7 が反対側へ移って 3x = 15 になり、3 で割って x = 5 です。ソルバーが「両辺から 7 を引く」と「3 で割る」を別々の儀式として行わない点に注目してください。各手順を、その手が達成することで呼んでいます——声に出して説明するときの言い方と同じです。
5x - 4 = 3x + 6最初の仕事は x を片側に集めることです。そのあとは前の例と同じになります。代数が謎解きではなく手続きだと初めて納得させてくれるのがこの形で、最初の一手が自動的に出るまで十問ほど解く価値があります。
x^2 - 5x + 6 = 0因数分解すると (x - 3)(x - 2) = 0 になり、積が 0 の法則で二つの場合に分かれ、それぞれ一手の一次方程式になります。解の公式でも解けますが 4 行余分にかかります——ソルバーがここで公式を使わない理由がまさにそれです。
A = l w「解く文字」の行で l を選ぶと、ソルバーが w を移して l = A/w になります。x について解くのとまったく同じ仕組みで、それに気づくことは最初の代数の授業でもっとも役に立つ瞬間の一つです。公式とは、文字に名前が付いているだけの方程式です。