2008-08-23 解の存在 Math 背理法を使うとき忘れてはならないこと - hiroyukikojimaの日記 「最大値は1」というのは「最大値が存在し,その値が1」という意味で,存在することを仮定して背理法を用いているので証明になっていないという話.等周問題の証明はJacob Steinerという数学者もはまってしまったらしい.参考 Isoperimetric Theorem and Inequality MathDL | Mathematical Association of America