より形式的には、エルブランの定理は上の(2)、(3)について、論理式 S ( x , y ) {\displaystyle S(x,y)} をより一般化した形で表現される。また対象となる論理式は冠頭標準形の式である。以下に形式化されたエルブランの定理の例を示す。 (
リュイリエの定理
スの数学者サイモン・アントワーヌ・ジャン・リュイリエによって提唱されたものである。 リュイリエの定理 ― 三角形の内接円の半径を r {\displaystyle r} 、3つの傍接円の半径をそれぞれ r A , r B , r C {\displaystyle r_{\text{A}},r_{\text{B}}
アレクサンダーの定理
どのような閉ブレイドが、同一な形の結び目を表現するのか? この問題へ答えるのが、マルコフの定理であり、任意の 2つのブレイドを関係つける「移動」(move)を与える。 Alexander, James (1923). “A lemma on a system of knotted
Lee commented
Lee commented
Lee commented
yuhui liao commented
Lee commented
Lee commented
Lee commented
Lee commented
Lee commented
Lee commented