← 2026-03-20 の一覧へ戻るホーム
**不等式の形（構造）**

2026/03/19 23:37

**不等式の形（構造）**

RSS: https://news.ycombinator.com/rss

元のHacker News記事へ ↗
要約▶

Japanese Translation:

記事は、直感的で図式的な証明を提供する具体的な幾何学構成とともに、いくつかの古典的代数的不等式を提示しています。

  1. 2 つの正の数 (a,b) に対する HM–AM–GM–QM の連鎖
    [ \frac{2}{\tfrac1a+\tfrac1b};\le; \sqrt{ab};\le;\frac{a+b}{2};\le;\sqrt{\frac{a^{2}+b^{2}}{2}}\ . ] 構成: 直径が (a) と (b) の外接円を 2 個作り、右三角形 (OPO') を形成します。

    • 斜辺 (OO'=\tfrac{a+b}{2})（AM）。
    • 水平の脚 (OP=\tfrac{a-b}{2})。
    • 垂直の脚 (O'P=\sqrt{ab})（GM）。
      この三角形の高さが HM を与え、中心点から垂直を引くと QM が得られます。

  2. 半円構成
    直径 (a+b) の半円には、脚が (\tfrac{a+b}{2})（AM）および (\sqrt{ab})（GM）の右三角形が含まれています。 半径を足して斜辺を作ると QM が得られ、上端点を底に射影すると HM 区間が生成されます。

  3. 「コンテナ」証明による AM–GM
    側長 ((a+b)/2) の正方形は、周囲長が固定された任意の (a,b) 辺を持つ長方形を収容します。 正方形は常に「水」を少なくとも同じ量保持するため、その面積 (((a+b)/2)^2) は (ab) 以上であり、
    [ \frac{a+b}{2}\ge\sqrt{ab} ] が得られます。

  4. 三次元一般化
    側長 ((a+b+c)/3) の立方体は、辺 (a,b,c) を持つ任意の直方体を含みます。 これにより不等式
    [ \frac{a+b+c}{3}\ge\sqrt[3]{abc} ] が得られ、すなわち三数に対して算術平均は幾何平均以上であることが示されます。

  5. 二乗和不等式
    側長 (a,b,c) の隣接する 3 個の正方形は、それぞれ領域 (ca,,ab,) および (bc) を持つ長方形を形成します。 これらを合計すると
    [ a^{2}+b^{2}+c^{2}\ge ab+bc+ca ] が得られます。

  6. Nesbitt の不等式
    高さ (h) を持つ正三角形で、内部点 (Q) が辺への距離を (x,y,z) とするとき、
    [ a=y+z,; b=x+z,; c=x+y ] となります。 ヴィヴィアーニの定理より (x+y+z=h)。 これを
    [ \frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b} ]
    に代入すると不等式
    [ \frac{h-x}{,h+x,}+\frac{h-y}{,h+y,}+\frac{h-z}{,h+z,};\ge;\tfrac32 ] が得られ、(Q) が重心の場合に等号が成立します。

これらの幾何学的イラストレーションは抽象的な代数的不等式を視覚的証明へと変換し、学生や教育者にとってよりアクセスしやすくするとともに、幾何学と代数学との深い結びつきを際立たせます。

本文

…🌘 月が欠けた下で

目次

  • はじめに
  • HM‑AM‑GM‑QM の不等式
    • 二つの円
    • 半円
    • コンテナ（容器）
    • 3 次元コンテナ
  • 平方和の不等式
  • ネスビットの不等式
  • 結論

はじめに

ウェブを偶然ブラウズしていたとき、こんな素敵な図を見ることができました。

Roland H. Eddy, Memorial University of Newfoundland, Canada, 1985

ちょっとしたインスピレーションを受け、この短い記事を書いてみることにしました。
以前に不等式についてのハンドアウト記事を書いた後、代数や解析でよく扱われる不等式を「幾何学的」に表現できないか探ってみました。試行錯誤と即興作業を重ねた結果、アルジェブラや分析で主に研究される概念の幾何学的直感を得られるアニメーションがいくつか完成しました。

あるアニメーションは既成品ですし、他にも似たようなものがあっても構いません。私が「本当の」独創性を主張するわけではなく、基本的な数学に関しては2000 年以上前からアイデアが循環しています。

HM‑AM‑GM‑QM の不等式

学校時代に最もよく目にする不等式チェーンは次の通りです：

[ \underbrace{\frac{3}{\tfrac1a+\tfrac1b+\tfrac1c}}{\text{HM}} ;\leq; \underbrace{\sqrt[3]{abc}}{\text{GM}} ;\leq; \underbrace{\frac{a+b+c}{3}}{\text{AM}} ;\leq; \underbrace{\sqrt{\frac{a^2+b^2+c^2}{3}}}{\text{QM}} ]

二変数の場合は

[ \frac{2}{\tfrac1a+\tfrac1b};\leq;\sqrt{ab};\leq;\frac{a+b}{2};\leq;\sqrt{\frac{a^2+b^2}{2}}. ]

文字の意味

Letter意味例
HM調和平均 – 例えば二つの距離を走るときの平均速度：(\displaystyle v_{\text{avg}}=\frac{2}{\tfrac1{v_1}+\tfrac1{v_2}})
GM幾何平均 – 例として成長率の平均：(\sqrt{2\times0.5}=1.0)（0 % の正味増加）
AM算術平均 – 通常の「平均」
QM二乗平均（二乗和平均、RMS） – 例として AC 回路の RMS 電圧

二つの円

大きい円を中心 (O)、直径 (a)（半径 (R=\tfrac{a}{2})）とします。
外側から接する小さい円は中心 (O')、直径 (b)（半径 (r=\tfrac{b}{2})）です。

(O') を (O) を通る垂直線に射影し、その点を (P) と呼びます。
三角形 (OPO') には次の辺があります：

  • 斜辺： (OO' = \tfrac{a+b}{2})（AM）
  • 水平辺： (OP = \tfrac{a-b}{2})
  • 垂直辺： (O'P = \sqrt{ab})（GM）

したがって、(O'P < OO'); 等号は (a=b) のときだけ成立します。

半円

直径 (a+b) を持つ半円を考えます。
円周上の点 (P) を取り、そこから直径へ下ろした垂線を (P') とします。

三角形 (POP') には：

  • 水平辺： (\tfrac{|a-b|}{2})
  • 斜辺（半径）： (\tfrac{a+b}{2})
  • 垂直辺： (PP' = \sqrt{ab})（GM）

さらに垂直な半径 (OM=\tfrac{a+b}{2}) を描きます。
三角形 (MOP') の斜辺は

[ MP'=\sqrt{\left(\tfrac{a+b}{2}\right)^2+\left(\tfrac{|a-b|}{2}\right)^2} =\sqrt{\tfrac{a^2+b^2}{2}} ]

で、これは QM です。

(P') を (OP) 上に射影した点を (N) とします。
相似・面積の関係から

[ PN=\frac{PP'^2}{OP}= \frac{ab}{\tfrac{a+b}{2}}= \frac{2ab}{a+b} =\frac{2}{\tfrac1a+\tfrac1b}\quad(\text{HM}) ]

となります。

したがって、ひとつの半円で以下が得られます：

  • (PN) – HM
  • (PP') – GM
  • (OP) – AM
  • (MP') – QM

順に (PN<PP'<OP<MP')、等号は (a=b) のときのみ成立します。

コンテナ（容器）

辺長 (\tfrac{a+b}{2}) をもつ正方形 (ABCD) を考えます。その面積は
(\bigl(\tfrac{a+b}{2}\bigr)^2)。

幅 (a)、高さ (b) の長方形 (A'B'C'D') は面積 (ab)。
(a+b) が一定であるとき、正方形は常に長方形より「水」を多く保持します：

[ \bigl(\tfrac{a+b}{2}\bigr)^2 ;\geq; ab ;\Longrightarrow; \frac{a+b}{2} ;\geq; \sqrt{ab} ]

これはまさに AM–GM の不等式です。
正方形が勝つのは (a=b) でない限り、両者は同じ大きさになります。

3 次元コンテナ

正方形を辺長 (\tfrac{a+b+c}{3}) の立方体に置き換えます（体積
(\bigl(\tfrac{a+b+c}{3}\bigr)^3)）。
辺長 (a,b,c) をもつ直角棱柱は体積 (abc)。
(a+b+c) が一定の場合、立方体は常に「液体」を多く保持します：

[ \left(\tfrac{a+b+c}{3}\right)^3 ;\geq; abc ;\Longrightarrow; \frac{a+b+c}{3} ;\geq; \sqrt[3]{abc} ]

等号は (a=b=c) のときだけ成立します。

平方和の不等式

次の不等式

[ a^2 + b^2 + c^2 ;\geq; ab+bc+ca ]

は、辺長 (a,b,c) を持つ三つの正方形で視覚化できます。
適切に対角線を描くと、矩形が作られ、その面積の合計が (ab+bc+ca) になることが分かります。
辺長が等しい（(a=b=c)）場合は余剰面積が消失し、等号が成立します。

ネスビットの不等式

ネスビットの不等式は次の通りです：

[ \frac{a}{,b+c,}+\frac{b}{,c+a,}+\frac{c}{,a+b,};\geq;\frac32. ]

幾何学的な説明では、正三角形に対するヴィヴィアーニ定理を利用します。
内部点 (Q) を取り、その辺への垂線距離を (x,y,z)。
次のように置くと

[ a=y+z,\qquad b=x+z,\qquad c=x+y. ]

すると

[ \frac{h-x}{,h+x,}+\frac{h-y}{,h+y,}+\frac{h-z}{,h+z,};\geq;\frac32, ]

ここで (h) は三角形の高さです。
(Q) が重心（(x=y=z=\tfrac h3)）にあるとき、各分数は (\tfrac12)。
中心から離れるほど和が増加し、最小値はセンターで達成されることを示します。

結論

代数的不等式を「純粋な幾何学」に無理やり合わせようとすると、多くの不等式が本質的に「幾何学に適していない」ことが明らかになります。
基本形状や単純構成以上で、コンパス・定規だけで深い代数的真理を表現することは、微積分や高次元ツールなしには不可能です。

しかしこの制限こそ美しさの源です。対称性とバランスが数学と自然界の両方に根ざしていることを示しています。不等式を容器、円、棱柱として視覚化することで、抽象的な代数的「真理」を支える幾何学的骨格を垣間見ることができます。

同じ日のほかのニュース

一覧に戻る →

2026/03/20 5:33

コックピットは、サーバー用のウェブベースのグラフィカルインターフェイスです。

## Japanese Translation: **Cockpit** は、Linux 管理者がオペレーティングシステムから直接サーバーを管理できる軽量でブラウザベースのインターフェイスです。OS 内で動作し、Debian、Fedora、および RHEL など主要なディストリビューションに対応しており、コンテナの起動、ストレージやネットワークの設定、ログの確認、ブラウザを離れずにターミナルとグラフィカルコントロール間で切替えなどが可能です。 ユーザーは Cockpit からでも従来のシェルからでもサービスをシームレスに開始・停止でき、端末で発生したエラーは自動的に Cockpit のジャーナルインターフェイスに表示されます。 プロジェクトはリモート管理もサポートしており、ユーザーは SSH 経由で Cockpit がインストールされた他のマシンを追加・管理できるため、ホスト切替が簡単です。コミュニティサポートは Matrix チャネル（#cockpit:fedoraproject.org）とメールリストで提供されます。ドキュメントにはツールの使い方だけでなくコードベースへの貢献方法も網羅しており、ガイディングプリンシプル、リリースノート、およびプライバシーポリシーが含まれています。 複数の Linux ディストリビューションにわたる統一で使いやすい GUI を提供することで、Cockpit はサーバー管理を効率化し、ドキュメントと活発なコミュニケーションチャネルを通じて継続的な開発者貢献を促進することを目指しています。

2026/03/19 22:05

**Astral が OpenAI に参入**

## Japanese Translation: **（欠落していた詳細を補完）** ### 要約 Astral は、オープンソースの Python ツールを存続させつつ OpenAI の Codex チームに参加することに合意し、そのツールチェーンをモダンな Python 開発の中心に位置付けました。この取引は Astral の創業者が発表し、Python エコシステムの生産性を少なくとも 1 % 向上させる高レバレッジ戦略を強調しています。Ruff（高速リンター）、uv（依存関係解決ツール）、ty といった人気ツールへの継続的なサポートが含まれ、これらを Codex の AI コーディングアシスタントに統合する計画です。Astral のツールチェーンはゼロから数億件の月間ダウンロードへと成長し、Accel が主導した Casey Aylward 氏によるシード資金調達と Andreessen Horowitz が牽引した Jennifer Li 氏によるシリーズ B 資金調達で支えられています。創業者は Astral チームのユーザー重視の製品品質に感謝し、今後も高い基準を維持するとともに、ユーザーの信頼への感謝を表明しました。買収後、Astral はオープンソース提供物の開発を継続し、それらを Codex と統合し、ソフトウェアエンジニアリングにおける影響力を拡大します。これにより、開発者・企業・広範なエコシステムは、生産性を加速させる AI 強化型の堅牢な Python ユーティリティ―基盤となるツールセット―を享受できます。

2026/03/20 2:16

Google、未認証Androidアプリをサイドロードするための新しい24時間プロセスを発表

## Japanese Translation: Googleは2025年後半にAndroid向けの開発者認証プログラムを開始し、開発者が認証されていない場合はサイドロードされたアプリをブロックすることでマルウェアリスクを低減することを目指します。開発者は本人確認書類を提出し、アプリ署名キーをアップロードし、25ドルの手数料を支払う必要があります。 ユーザーは「未認証パッケージを許可」オプションを有効にして認証を回避できます。設定方法は、ビルド番号を7回タップして開発者向けオプションを解除し、スイッチを切り替えてPIN/パスワードで確認し、デバイスを再起動します。その後24時間待ち、次に「一時的に許可」または「無期限に許可」を選択します。24時間の遅延は、高度なソーシャルエンジニアリング攻撃を抑止するためです。 Googleは非Playソースからマルウェアに遭遇する確率が約50倍高いと引用し、このプログラムでそのリスクを低減すると主張しています。検証機能はすでにAndroid 16.1（2025年後半にリリース）に組み込まれており、全てのサポート対象デバイスで利用可能です。実施開始はブラジル、シンガポール、インドネシア、タイで2025年9月から行われ、2026年には世界中へ展開されます。 このプログラムは手数料などのハードルを追加するため、制裁対象国の開発者にとって不利になる可能性がありますが、Googleはその方針がそのような開発者を排除することを意図していないとし、検証済み開発者リストを非永続化に保ち法的課題を回避すると述べています。プライバシー擁護派は検証済み開発者のデータベースについて懸念を示し続けています。

**不等式の形（構造）** | そっか～ニュース