反比例のグラフと双曲線

Q: 反比例のグラフと双曲線とは何ですか？

2つの変数 x, y の間に、x の値が2倍、3倍、…になると y の値が \frac{1}{2} 倍、\frac{1}{3} 倍、…になる関係があるとき、y は x に反比例するといい、次の式で表される（k は0でない定数で「比例定数」と呼ぶ）。 y = \frac{k}{x} \quad (x \neq 0) この式は xy = k と変形でき、x と y の積が常に一定の値 k に保たれることを意味する。このグラフは「双曲線」と呼ばれる、原点に関して点対称な2本のなめらかな曲線になる。

Q: 反比例のグラフと双曲線は社会やプログラミングでどのように使われていますか？

負荷分散（ロードバランシング）における反比例モデル: サーバーの台数を増やすほど1台あたりが処理すべきリクエスト数が減る、という負荷分散の関係は、全体の処理量を一定 k とみなした反比例 y = k/x のモデルで表現できる。台数(x)と1台あたり負荷(y)の積が常に一定であるという考え方は、キャパシティプランニングの基本になる。

積が一定に保たれる y = k/x の関係と、なめらかに枝分かれする双曲線の形

この単元の発見をシェア

3行要約（Key Takeaways / AIOサマリー）

1: 反比例 y = k/x は、x が2倍・3倍になると y が 1/2倍・1/3倍になる関係で、常に積 xy = k（一定）が成り立つ
2: 反比例のグラフは「双曲線」と呼ばれる2本のなめらかな曲線になり、x = 0 と y = 0 の直線（座標軸）には決して触れない（漸近線）
3: サーバーの負荷分散のように「資源(x)を増やすほど、1つあたりの負担(y)が減る」関係は反比例のモデルで説明できる

なぜこれを学ぶのか？ — 現実社会とテクノロジーでの価値

Purpose & Motivation

なぜ生まれたのか？

反比例 y = k/x は、x が2倍・3倍になると y が 1/2倍・1/3倍になる関係で、常に積 xy = k（一定）が成り立つ

身につく武器・思考力

反比例のグラフは「双曲線」と呼ばれる2本のなめらかな曲線になり、x = 0 と y = 0 の直線（座標軸）には決して触れない（漸近線）

実社会・ITでの活躍現場

•負荷分散（ロードバランシング）における反比例モデル
•ITシステム・アルゴリズム実装における論理設計
•データ分析やシミュレーションにおける数理モデリング

Layer 1 — 直感・シミュレーター

比例定数 k をスライダーで変えると、双曲線の形（曲線が座標軸からどれだけ離れているか）がリアルタイムに変化する。曲線上の点をドラッグすると、x座標とy座標が表示され、x×y が常に k と等しいまま保たれることを確認できる。

比例定数 k:6

x = 2.00

y = 3.00

xy

= 6.00 (= k)

↑ 比例定数 k をスライダーで変えると双曲線の広がり方が変化する。曲線上の赤い点をドラッグしても、 x座標とy座標の積 xy は常に k と等しいまま保たれることが確認できる。

直感チェック！ミニクイズ

y = 12/x のグラフ上で、x = 3 のときの y の値はいくつか？

Layer 2 — 定義・受験・証明

定義

2つの変数 $x, y$ の間に、 $x$ の値が2倍、3倍、…になると $y$ の値が $\frac{1}{2}$ 倍、 $\frac{1}{3}$ 倍、…になる関係があるとき、 $y$ は $x$ に反比例するといい、次の式で表される（ $k$ は0でない定数で「比例定数」と呼ぶ）。

y = \frac{k}{x} \quad (x \neq 0)

この式は $xy = k$ と変形でき、 $x$ と $y$ の積が常に一定の値 $k$ に保たれることを意味する。このグラフは「双曲線」と呼ばれる、原点に関して点対称な2本のなめらかな曲線になる。

公式・数理モデル

y = \frac{k}{x} \iff xy = k \quad (x \neq 0)

証明・導出

グラフが座標軸に触れない理由（漸近線の考察）： $y = \frac{k}{x}$ （ $k > 0$ とする）において、 $x$ を限りなく大きくしていくと、 $y = \frac{k}{x}$ は限りなく $0$ に近づくが、 $x$ がどれだけ大きくても $\frac{k}{x}$ が厳密に $0$ になることはない（ $k \neq 0$ である限り）。したがって、グラフは $x$ 軸（ $y=0$ の直線）に限りなく近づきながら、決して触れることがない。同様に $x$ を $0$ に近づけていくと $y$ は限りなく大きく（または $x<0$ 側では限りなく小さく）なっていくが、 $x=0$ 自体は定義域に含まれない（0で割ることはできないため）。このように、曲線が限りなく近づくが決して交わらない直線を「漸近線」と呼び、反比例のグラフは $x$ 軸と $y$ 軸の両方を漸近線として持つ。また、 $x$ を $-x$ に、 $y$ を $-y$ に同時に置き換えても $xy=k$ は変わらないため、グラフは原点に関して点対称であり、 $k>0$ のときは第1象限と第3象限に、 $k<0$ のときは第2象限と第4象限に曲線が現れる。

押さえておきたいポイント

比例（ $y=ax$ ）のグラフが原点を通る直線になるのに対し、反比例（ $y=k/x$ ）のグラフは原点を通らず座標軸に漸近する双曲線になる
反比例のグラフ上のどの点をとっても、その点の $x$ 座標と $y$ 座標の積は必ず比例定数 $k$ に等しい
$k$ の絶対値が大きいほど、双曲線は座標軸から離れた位置に広がる
反比例は「一定の仕事量・資源を、参加する人数や台数で分け合う」関係（例: 1人あたりの作業時間 = 全体の仕事量 ÷ 人数）のモデル化によく使われる

参照基準・学習指導要領との対応

本トピックの内容・数理モデルは、文部科学省学習指導要領（算数・数学・情報）および国際標準カリキュラムに準拠し、エンジニアリング現場の実装事例と照らし合わせてMath World Lab編集部により検証・作成されています。

Layer 3 — 工学応用・現場実装

負荷分散（ロードバランシング）における反比例モデル

サーバーの台数を増やすほど1台あたりが処理すべきリクエスト数が減る、という負荷分散の関係は、全体の処理量を一定 k とみなした反比例 y = k/x のモデルで表現できる。台数(x)と1台あたり負荷(y)の積が常に一定であるという考え方は、キャパシティプランニングの基本になる。

1// サーバー台数と1台あたりの負荷の反比例モデル
2function loadPerServer(totalRequestsPerSecond: number, serverCount: number): number {
3  if (serverCount <= 0) throw new Error("サーバー台数は1以上である必要があります");
4
5  // y = k / x  (k = 全体のリクエスト量, x = サーバー台数, y = 1台あたりの負荷)
6  return totalRequestsPerSecond / serverCount;
7}
8
9const totalLoad = 1200; // 全体で1秒あたり1200リクエスト (k = 1200)
10
11for (const servers of [1, 2, 3, 4, 6, 12]) {
12  const load = loadPerServer(totalLoad, servers);
13  console.log(`サーバー${servers}台 → 1台あたり ${load.toFixed(1)} req/秒`);
14  // 台数が2倍になると1台あたりの負荷が半分になる、反比例の関係が確認できる
15}
16
17// 逆に「1台あたりの負荷をL以下に抑えるには何台必要か」を求める（xについて解く）
18function requiredServers(totalRequestsPerSecond: number, maxLoadPerServer: number): number {
19  // x = k / y
20  return Math.ceil(totalRequestsPerSecond / maxLoadPerServer);
21}
22
23console.log(requiredServers(1200, 50)); // 50req/秒以下に抑えるには24台必要