数直線をつかった平均の証明