背理法を使うとき忘れてはならないこと - hiroyukikojimaの日記 「最大値は1」というのは「最大値が存在し，その値が1」という意味で，存在することを仮定して背理法を用いているので証明になっていないという話．等周問題の証明はJacob Steinerという数学者…