２．式変形と文字式
2.1 文字を使うワケ
この節では「文字」というものについて振り返ってみます。
数学でいう「文字」とは例えば $x$ や $a$、$n$ などを指しており、具体的な数の代わりとして使われるものです。「文字で置く」という手法は整数分野に限らず数学全般において重要です。
文字には『一般化』する効果があります。一般化により、具体的な数字だったら何回も（ほとんどの場合だと無限回は）繰り返さなければならないような一定の操作を、たった文字１個に代表させて記述することができるのです。
では以下の例を考えてみてください。
例題
すべての自然数は$2$倍するともとの自然数より大きくなることを示せ。
こんな自明な問いに対しても文字の「一般化する能力」なくしては証明することができないのです。（文字を使わないでこれをすべての自然数について一般に証明することって可能なのでしょうか(笑)？できたとしてもかなり面倒だと思いますが･･･）
文字というのはこうした一般化された現象・事実に証明を与えるためには必要不可欠な道具なのです。この例題も文字を使えば瞬殺ですよね（笑）。
解答例
ある任意の自然数を $n \ (\geqq 1)$とする。題意を示すためには $2n>n$ を示せば良い。$$(\text{左辺})-(\text{右辺})=2n-n=n>0$$ $$\therefore \ 2n>n$$よって、すべての自然数の２倍は、もとの自然数より大きいことが示された。
$Q.E.D.$
解答例の中で「任意の」という語（英語では”all”、”any”の意）が使われていますが、これは「あらゆる」とか「どれでも」などという意味で、数学の証明にはよく用いられる単語です。
解答例では $n$ という文字を使って一般的に証明することができました。これが文字の力なのです。余りにも当たり前のように文字が使われているため、こうした有難みに触れる機会が無かった方には少し新鮮に感じられたでしょうか？（もちろん、ここまで当たり前のことしかお話ししていないのですが・・・）
続いては文字式の復習です。