また 、 ビデオ は フジテレビ 系 の バラエティ 番組 『 SMAP×SMAP 』 『 ピカル の 定理 』 によって パロディ 化 さ れ た 。

以下 の 式 は 「 加法 定理 」 として 知ら れる 。

弟 の 耿定 力 ・ 耿 定理 と 合わせ て 紅 安 三 耿 と 呼ぶ 。

2005 年 （ 平成 17 年 ） 8 月 、 フェルマー の 大 定理 の 短い 証明 を 発表 し た 。

この 非 単位 的 代数 が 畳み込み 積 に関する 零 因子 を 持た ない こと （ Titchmarsh の 定理 ） から 、 代数 学 において 一般 に 商 体 （ あるいは 分数 体 ） と 呼ば れる 構成 を 行っ て ひとつ の 体 が 一意的 に 定義 できる 。

また 、 ミクシンスキー の キューブ ( 立体 パズル )、 Antosik - Mikusinski の 定理 、 ミクシンスキー の 畳み込み 代数 等 で も 知ら れ て いる 。

ファン・デル・ヴェルデン の 定理 （ ファン・デル・ヴェルデン の てい り ） と は 、 等差 数列 に関する 次 の 主張 で ある 。

この 特筆 す べき 主張 は 格子 の 算術 性 ( Arithmeticity of lattices ) あるいは マーグリス の 算術 性 定理 ( Margulis Arithmeticity Theorem ) など として 知ら れる 。

モス トウ の 剛性 定理 は 「 分裂 階数 ( split rank ) が 2 以上 の リー 群 G における 格子 の 代数 的 構造 は G を 決定 する 」 こと を 示す もの で ある 。

ミンコフスキー の 定理 は 体積 d ( Λ ) に 関係 する もの で 、 対称 凸 集合 S の 体積 と 、 S に 含ま れる 格子 点 の 数 の 関係 を 述べ た もの で ある 。

二 次元 の 格子 は 結晶 構造 制限 定理 に 示さ れる 5 種類 の タイプ が ある 。

逆 に 、 車体 下面 を 適切 に 整形 し 、 気流 が 床下 を 淀み なく 通過 する よう に してやれ ば 、 ベンチュリ 効果 により 気流 が 加速 さ れ 、 ベルヌーイ の 定理 により 負 圧域 が 生成 さ れる 。

ゲーデル の 完全 性 定理 や 不完全性 定理 は その 例 で ある 。

CPT 定理 は 、 「 全て の 物理 現象 で CPT 対称 性 が 保存 さ れる 」 と する もの で ある 。

この 定理 は 、 量子力学 の 法則 と ロー レンツ 不変 性 { enlink | Lorentz invariance } が 正しい こと を 前提 と し て いる 。

具体 的 に は 、 CPT 定理 は 「 エルミート 共役 ハミルトニアン を 持つ すべて の ローレンツ 不変 な 局所 場 の 量子 論 は CPT 対称 性 を 持た なけれ ば なら ない 」 と 述べ て いる 。

CPT 定理 は 、 1951 年 の ジュリアン・シュウィンガー が スピン 統計 定理 を 証明 し た 研究 において 初めて 暗に 示さ れ た 。

その ため この 定理 は Lüders - Pauli の 定理 として も 知ら れる 。

同時に 、 そして 独立 に 、 この 定理 は ジョン ・ スチュワート・ベル によって も 証明 さ れ た 。

この 事実 は スピン 統計 定理 を 証明 する ため に 用い られる 。