小数第1位を四捨五入する操作を〈x〉で表すというタイプの問題は、一見すると関数方程式のように見えますが、実際には「区間ごとに場合分けする問題」です。特に〈x²〉や〈2x〉のように非線形の式が含まれる場合は、数直線上での値の動きを丁寧に追う必要があります。この記事では、与えられた方程式をどのように整理し、範囲を求めるかを解説します。
〈x〉とは何を意味するのか
問題で定義されている〈x〉は「小数第1位を四捨五入する操作」です。
つまりxを最も近い整数に丸める関数と考えることができます。
例えば次のようになります。
〈9/2〉＝〈4.5〉＝5
〈4/3〉＝〈1.333…〉＝1
この関数は連続関数ではなく、整数ごとに値が切り替わる「段差関数」である点が重要です。
問題の構造を整理する
与えられた方程式は次の形です。
〈x²〉＋〈2x〉＝〈3x＋1〉
この式は普通の代数方程式ではなく、それぞれの式がどの整数に丸められるかによって結果が変わります。
したがってxの範囲ごとに〈x²〉、〈2x〉、〈3x＋1〉の値を場合分けする必要があります。
小区間ごとに値を調べる方法
まず〈x〉が変化する境界は整数です。
そのためx²、2x、3x＋1がそれぞれどの整数に近いかを調べます。
例えば0≤x<1ではx²も2xも3x＋1も比較的単純な範囲に収まるため、丸めた値は固定されやすくなります。
このように「各式の値域→丸めた結果」という順に整理することがポイントです。
(1) 0≤x
0≤x<1の範囲では次の評価ができます。
x²は0以上1未満 → 〈x²〉＝0または1の境界付近
2xは0以上2未満 → 〈2x〉は0または1または2
3x＋1は1以上4未満 → 〈3x＋1〉は1〜4のいずれか
ここから各区間に分けて一致条件を調べていきます。
(2) 解の存在範囲が制限される理由
この種の問題では、丸め誤差の構造上、xの範囲は自然と制限されます。
例えばxが大きくなるとx²の増加が支配的になり、左辺と右辺のバランスが崩れます。
その結果として解はある有限の区間内に収まることになります。
問題文で示されている
(1−√11)/2 < x < (1+√11)/2
は、この不等式を解析的に導いた結果です。
(3) 正の解を求めるときの考え方
正の範囲に限定する場合は、まずx>0に絞り込みます。
その上で各区間（0〜1、1〜2、2〜3など）に分割し、それぞれで〈x²〉＋〈2x〉と〈3x＋1〉を比較します。
一致する区間だけを抽出することで解集合が得られます。
この方法は計算量は増えますが、確実に解を漏らさず求めることができます。
この問題の本質
この問題の核心は「関数方程式」ではなく「区間分割と丸めの影響」です。
四捨五入は非線形な離散化操作なので、微分や代数的変形だけでは解けません。
そのため、数直線上での値の変化を追う発想が最も重要になります。
まとめ
〈x〉を含む方程式は、通常の代数問題とは異なり、区間ごとの場合分けが本質となります。
まず各式の値域を確認し、丸めによってどの整数に変わるかを整理することが重要です。
その上で区間ごとに方程式を検証することで、解の範囲や条件を正確に求めることができます。
コメント