1678 年 に は 、 今日 で は 「 チェバ の 定理 」 と 呼ば れる 総合 幾何 学 に関する 有名 な 定理 を 発表 し た 。

この 定理 で は 、 三角形 の 頂点 から 向かい合う 辺 に 3 つ の 線分 を 引い た 時 、 これら は 1 点 で 交わり 、 三角形 の それぞれ の 辺 に対する 新しく でき た 線分 の 長 さ の 比 は 同じ に なる という こと を 述べ て いる 。

チェバ は この 新しい 定理 を De lineis rectis の 中 で 公表 し た 。

チェバ は 自身 の 定理 を 公表 する だけ で は なく 、 メネラウス の 定理 も 再 発見 し 、 公表 し た 。

{ 仮 リンク | スペクト の 定理 | en | Specht ' s theorem } は ふたつ の 行列 が 互いに ユニタリ 同値 で ある ため の 必要 十 分 条件 は それら が 特定 の トレース 等式 を 満足 する こと で ある という もの で ある 。

この 啓蒙 の 教え において は 、 定理 （ 教義 ） の 教え 、 式 礼 の 説明 、 いずれ も 重要 な 要素 と なっ て おり 、 サクラメント （ 機密 ・ 秘蹟 ） について の 教え も 含ま れ て いる 。

キュリロス の 著述 に は 4 世紀 の 聖体 礼儀 における 犠牲 の 定理 （ 教義 ） を はじめ と する 、 当時 の 教会 における 礼拝 を めぐる 生活 が 示さ れ て いる ほか 、 信仰 の 内面 における 神秘 に対する 伝統 的 な 沈黙 という 態度 も 示さ れ て いる と さ れる 。

ムーニエ の 定理 ( Meusnier ' s theorem ) と は 1776 年 に フランス の 数学 者 ジャン ＝ バティスト・ムーニエ によって 提唱 さ れ 、 1785 年 に 論文 発表 さ れ た 微分 幾何 学 における 定理 で ある 。

交代 群 A 4 は 、 ラグランジュ の 定理 の 逆 が 一般 に は 成立 し ない こと を 示す 最小 の 群 で ある 。

それ を 表す の が レイノルズ の 輸送 定理 で ある 。

連続 の 方程式 は 、 物理 量 として 密度 ρ を 輸送 定理 に 代入 し て 導か れる 。

{ main | 連続 の 方程式 # 輸送 定理 による 導出 } 塚崎 直義 （ つかさき なお よし 、 明治 14 年 （ 1881 年 ） 5 月 10 日 - 昭和 32 年 （ 1957 年 ） 3 月 26 日 ） は 最高 裁判所 判事 。

f は 先ほど と 同じ 設定 として 、 準 同型 定理 は G , H および 準 同型 f の 核 ker ( f ), 像 im ( f ) の 構造 に 関係 する もの で 、 具体 的 に は 群 の 同型 が 成り立つ という もの で ある 。

たとえば 、 { 仮 リンク | クルル・レマク・シュミット の 定理 | en | Krull - Schmidt theorem } に よれ ば 、 部分 群 の 鎖 に関する ある 有限 性 条件 を 満足 する 群 は 直 既 約 部分 群 の 有限 個 の 直積 として 一意的 に 書ける 。

任意 の 有限 生成 アーベル 群 は （ 有限 および 無限 ） 巡回 群 の 直積 として 表さ れる という 有限 生成 アーベル 群 の 構造 定理 が 知ら れ て いる 。

この 逆 は 、 任意 の アーベル 圏 は 適当 な 環 上 の 加 群 の 圏 に 埋め込ま れる という { 仮 リンク | ミッチェル の 充満 埋め込み 定理 | en | Mitchell ' s embedding theorem } として 知ら れる 。

ジョルダン・ヘルダー の 定理 により 、 与え られ た 群 の 二つ の 組成 列 は 必ず 互いに 同値 と なる 。

彼 の よく 知ら れる 研究 書 として 『 正教 定理 神学 』 （ Православно - догматическое богословие ） が あり 、 ラテン 神学 の 方法 論 に 依拠 し つつ 、 1847 年 から 1853 年 にかけて 6 巻 に 亘っ て 刊行 さ れ た 。

この 著作 は 、 定理 神学 （ 正教会 における 教義 学 に 相当 する 訳語 ） の 分野 における 古典 的 著作 と も 言わ れ 、 1889 年 8 月 に 上田 将 による 日本語 訳 が 出版 さ れ て いる （ 外部 リンク 参照 ） 。

定理 の 証明 など は つい て い ない 。