正負の数の足し算において \begin{align*}a+(-b)&=a-b\\[1em]a-(-b)&=a+b\end{align*} が成り立ちます。 なぜこれらが成り立つのでしょうか?「正負の数の足し算・引き算を数直線で考える」と同様に主線と補助線の2本の数直線をもちいて確かめてみます。