% -1.5 を四捨五入すると?
\documentclass[a4j]{jsarticle}
\pagestyle{myheadings}
\markright{\sf tmt's math page}
\def\baselinestretch{1.33}
\begin{document}
\section*{◆$-1.5$を四捨五入すると?◆}
$1.5$を小数点以下で四捨五入すると$2$になります。では$-1.5$を小数点以下で四捨五入すると$-2$ですか、それとも$-1$ですか。私からの回答は
\[
\gt どっちでもいいじゃないですか
\]
ということです。でも「それでは答になってないからはっきりさせろ」と言うなら仕方ありません、「$-1$です」と答えましょう。なんだかあやふやな答えかたになってしまいましたが、このような回答になった経緯をお話しましょう。
始めに「四捨五入」ということばが、大変限定的なことばであることを注意したいと思います。「四捨五入」とは「$4$は捨てて$5$は繰り入れる」といった内容ですから「じゃあ$144.5$は下の桁から順に繰り入れて$144.5\to145\to150\to200$としてよいのか」と考えたくもなります。四捨五入とは$10$進数表記したときに、端数と思われる部分を省くための\.手\-\.続\-\.きです。つまりこういうことです。
$10$進数表記された数があれば、各桁には(小数点以下の桁も含めて)$0$〜$9$までのどれかの数が使われています。そのとき「ある桁以下」を省いて、その数に近い概数で表すのが四捨五入です。そしてその手続きが
\begin{eqnarray*}
\gt 省きたい部分の先頭の数字が4(以下)なら切り捨て \\
\gt 省きたい部分の先頭の数字が5(以上)なら繰り上げ
\end{eqnarray*}
と約束されているのです。だからそこには「じゃあ$144.5$は\ldots 」などという考えはでてきません。桁に使われるのはただひとつの\.数\.字だからです。四捨五入がこのような手続きになっているのは、数学的に考えることなく一目瞭然で概数にできるようにとの配慮からでしょうか。
少し具体的に話しましょう。どこの桁で四捨五入しようとも本質は変わりませんから、わかりやすいところで小数点以下を四捨五入して整数値に直すことで考えます。すると四捨五入の操作というのは図のように、数直線の目盛りの前後の数を最寄りの整数で表すことにほかなりません。
\def\numLine#1{
\global\newcount\R \global\newcount\C
\put(#1, 0){\line(1,0){14}}
\R=#1 \C=0
\loop
\advance\R by2
\advance\C by1
\put(\R, -.05){\line(0,1){.1}}
\put(\R, .05){\makebox(0, 0)[rb]{\divide\R by2 \the\R}}
\ifnum\C<6
\repeat
}
\def\range[#1]#2{
\def\sw{#1} \def\odd{odd}
\R=#2 \C=0
\multiply\R by2
\ifx \sw\odd \advance\R by-1\fi
\loop
\advance\C by1
\put(\R, .35){\line(0,1){.55}} %上の範囲
\put(\R, .9){\line(1,0){2}}
\advance\R by2
\put(\R, .9){\line(0,-1){.55}}
\put(\R, -.35){\line(0,-1){.55}} %下の範囲
\put(\R, -.9){\line(1,0){2}}
\advance\R by2
\put(\R, -.9){\line(0,1){.55}}
\ifnum\C<3
\repeat
}
\def\edge[#1]#2{
\R=#2 \C=0
\multiply\R by2
\ifx \sw\odd \advance\R by-1\fi
\loop
\advance\C by1
\put(\R, .3){\circle*{.15}} %上の点
\advance\R by2
\put(\R, .3){\circle{.15}}
\put(\R, -.3){\circle*{.15}}%下の点
\advance\R by2
\put(\R, -.3){\circle{.15}}
\ifnum\C<3
\repeat
}
\vspace{.33\baselineskip}
\begin{center}
\unitlength=1cm
\begin{picture}(14, 2)(0, -1) %2で1の目盛
\numLine0
\put(1.42, 0){\circle*{.1}}
\put(1.42, -.05){\makebox(0, 0)[t]{\fbox{\tiny$0.71$}}}
\put(6.72, 0){\circle*{.1}}
\put(6.72, -.05){\makebox(0, 0)[t]{\fbox{\tiny$3.36$}}}
\put(11.84, 0){\circle*{.1}}
\put(11.84, -.05){\makebox(0, 0)[t]{\fbox{\tiny$5.92$}}}
\put(12.98, 0){\circle*{.1}}
\put(12.98, -.05){\makebox(0, 0)[t]{\fbox{\tiny$6.49$}}}
\thicklines\range[odd]{1}
\end{picture}
\end{center}
実は四捨五入で問題になるのは端数が$0.5$ちょうどのときなのです。端数が$0.5$より少々小さければ最寄りの目盛りは切り捨てた数値と一致し、$0.5$より少々大きければ最寄りの目盛りは繰り上げた数値と一致します。ところが端数が$0.5$ちょうどのときは左右にあるどちらの目盛りも最寄りということになっています。そこで、この場合には繰り上げるというのが四捨五入の約束なのです。そしてこの約束こそが数学的な思考をせずに、桁の数字を一瞥するだけで四捨五入できるようにしているのです。なぜなら$0.5$ちょうどを切り捨てる約束にした場合には、小数点以下で四捨五入するとき$2.5\to2$、$2.501\to3$となって、小数第$1$位の$5$を見ただけでは切り捨てか繰り上げかの判断ができないのですから。
さあ話を負の数に広げましょう。まだ「小数点以下の四捨五入」に限定して話をしていますが、これまでのことを数学らしく表現してみます。ある数$x$を整数部分$a$と小数部分$b$ $(0 \le b < 1)$に分けて$x = a+b$で表します。すると四捨五入とは
\begin{center}
\begin{tabular}{lll}
$0 \le b < 0.5$\ のとき & $x\to a$ & (切り捨て) \\
$0.5 \le b < 1$\ のとき & $x\to a+1$ & (繰り上げ)
\end{tabular}
\end{center}
と定義できると思います。
ところで普通、四捨五入は正の数に対して行うものと相場が決まっているようなものですが、これをそのまま負の数での四捨五入に拡張するのはかまわないでしょう。数直線上で考えたほうがわかりやすいでしょう。すると負の数まで拡張した四捨五入というのは図のような範囲で最寄りの整数で表すことです。
\vspace{.33\baselineskip}
\begin{center}
\unitlength=1cm
\begin{picture}(14, 2)(-8, -1) %2で1の目盛
\numLine{-8}
\put(-3, 0){\circle*{.1}}
\put(-3, -.05){\makebox(0, 0)[lt]{\fbox{\tiny$-1.5$}}}
\thicklines\range[odd]{-3}
\thinlines\edge[odd]{-3}
\put(-2, .75){\makebox(0, 0)[t]{\small[$-1$]}}
\put(-4, -.75){\makebox(0, 0)[b]{\small[$-2$]}}
\end{picture}
\end{center}
数直線に図示した範囲の数が四捨五入されて最寄りの目盛りの値になることがわかると思います。ここで図中の$\circ$はその位置にある数を「含まない」ことを意味し、$\bullet$はその位置にある数を「含む」ことを意味します。ということは、数直線上の$-1.5$は$-2$側の範囲には含まれず$-1$側の範囲に含まれることになります。すなわち$-1.5$を四捨五入すると$-1$になるのです。
このことを数直線でなく式の上で確認してみます。ある数$x$を整数部分$a$と小数部分$b$ $(0 \leq b < 1)$に分けて$x = a+b$で表す場合、$1.5$であれば$1+0.5$としました。それならということで$-1.5$ではついつい$-(1+0.5)$としてしまうでしょう。この日常的な感覚が混乱のもとにもなっています。実は$-1.5$は$-2+0.5$としなければ$b$ $(0 \leq b < 1)$の条件を満たさないのです。$-(1+0.5) = -1+(-0.5)$としてしまったら$b$の部分が$0 \leq b < 1$ではありません。そうすると$-1.5 = -2+0.5$は
\begin{center}
\begin{tabular}{lll}
$0 \le b < 0.5$\ のとき & $x\to a$ & (切り捨て) \\
$0.5 \le b < 1$\ のとき & $x\to a+1$ & (繰り上げ)
\end{tabular}
\end{center}
に照らして$-2+1 = -1$となるのです。これで結論がでたわけですが、まだ私が始めに回答した経緯は話していませんね。
数学的に考えると四捨五入の解釈はこれでよいのです。ところで、整数値を扱うときに$[x]$で表現する記号に出会うことがあります。この記号は「ガウスの記号」と呼ばれるもので「$x$を\.超\-\.え\-\.な\-\.い最大の整数」をさします\footnote{近頃は、$x$を超えない最大の整数を$\lfloor x \rfloor$、$x$を下まわらない最小の整数を$\lceil x \rceil$と、区別して表しています。}。少しわかりづらい表現かもしれないので例をあげましょう。$[4.73] = 4$、$[0.99] = 0$、$[2] = 2$です。最後の式の$[2]$は$2$を超えなければよいのですから、確かに$[2] = 2$は条件を満たします。では、次の例はどうでしょう。$[-3.1] = -4$。$[-3.1]$は$-3.1$を超えてはいけないのです。するとその手前の整数は数直線上では$-3.1$の左にある数です。その最大の数は$-4$です。
$[x]$も小数点以下に何がしかの値をもつ数を、数直線上の最寄りの目盛りの整数値にする点では今の四捨五入の例と同じですが、その範囲は図のようになります。
\vspace{.33\baselineskip}
\begin{center}
\unitlength=1cm
\begin{picture}(14, 2)(-10, -1) %2で1の目盛
\numLine{-10}
\put(-6.2, 0){\circle*{.1}}
\put(-6.2, -.05){\makebox(0, 0)[rt]{\fbox{\tiny$-3.1$}}}
\put(1.98, 0){\circle*{.1}}
\put(1.98, -.05){\makebox(0, 0)[lt]{\fbox{\tiny$0.99$}}}
\thicklines\range[even]{-4}
\thinlines\edge[even]{-4}
\put(-7, .75){\makebox(0, 0)[t]{\small[$-4$]}}
\put(-5, -.75){\makebox(0, 0)[b]{\small[$-3$]}}
\put(-3, .75){\makebox(0, 0)[t]{\small[$-2$]}}
\put(-1, -.75){\makebox(0, 0)[b]{\small[$-1$]}}
\put(1, .75){\makebox(0, 0)[t]{\small[$0$]}}
\put(3, -.75){\makebox(0, 0)[b]{\small[$1$]}}
\end{picture}
\end{center}
四捨五入の範囲図とガウス記号の範囲図を比較してわかるように、$x$を四捨五入するというのは$[x+0.5]$の値を求めることだったのです。
ところが「四捨五入」ということばは、数学の中に登場するより生活の中で活躍するものです。数学の中で四捨五入が必要なら、今述べたように$[x+0.5]$を使えば済むからです。それに、あえて「四捨五入」という手続きにすることで手軽に概数を作れることが四捨五入の特徴なのです。だからいくら
\[
(-1.5の四捨五入) = [-1.5+0.5] = [-1] = -1
\]
と言ったところで実感がわかないでしょう。むしろ$1.5$を四捨五入して$2$になるのであれば、$-1.5$を四捨五入して$-2$とするほうが自然というものです。
四捨五入を数学的に$[x+0.5]$と解釈するならば、$-1.5$は四捨五入によって$-1$となります。しかし四捨五入の簡便さに重きを置けば、その手続きの方法から$-1.5$は四捨五入によって$-2$となります。そのため、私は始めに「どっちでもいいじゃないですか」と答えたわけです。でも、問い詰められたら私は数学寄りの立場をとるでしょう。
そもそも「四捨五入」というものは正数に対して行われる性質が強いわけです。普通なら負の数に対して四捨五入はしないでしょうが、会計で赤字がでたときに四捨五入することはあると思います。表計算ソフトには四捨五入の関数で、たとえば「\verb|@ROUND()|」などが用意されています。私が試したソフトウエアでは「\verb|@ROUND(-1.5) = -2|」でした。確かにこのほうが実用的かもしれません。
\end{document}