種別[hbm]
セクションJRF の公開ブックマーク
日時2011年09月05日 12:23:02
元URLhttp://alfalfalfa.com/archives/4233967.html
タグ[数学] [コンピュータ定理証明]

一見当たり前のように思うが証明が難しい定理

 恥ずかしながら、ユークリッド座標に描かれた三角形に関する定理(三辺相等の合同だったか)を私は証明できなかった。回転写像、三角関数・その逆関数・それらに関する微積分などより先に証明されうるはずだが…