20/05/12 07:32:33 SSKfv1SN.net
>>526-527
同意です
下記に、長い証明が 後に短くなった例があります
有名どころでは、”1799 The Abel?Ruffini theorem was nearly proved by Paolo Ruffini, but his proof, spanning 500 pages, was mostly ignored and later, in 1824, Niels Henrik Abel published a proof that required just six pages.”
これは、５次の代数方程式の 代数的解法が存在しないことの定理ですが、Paolo Ruffiniが500ページほど書いて証明したそうですが（ギャップがあったとか）、アーベルが” just six pages”にしたとか
（参考）
URLﾘﾝｸ(en.wikipedia.org)
List of long mathematical proofs
(抜粋)
Long proofs
The length of unusually long proofs has increased with time. As a rough rule of thumb, 100 pages in 1900, or 200 pages in 1950, or 500 pages in 2000 is unusually long for a proof.
・1799 The Abel?Ruffini theorem was nearly proved by Paolo Ruffini, but his proof, spanning 500 pages, was mostly ignored and later, in 1824, Niels Henrik Abel published a proof that required just six pages.
・1964 Resolution of singularities Hironaka's original proof was 216 pages long; it has since been simplified considerably down to about 10 or 20 pages.
・1966 Abyhankar's proof of resolution of singularities for 3-folds in characteristic greater than 6 covered about 500 pages in several papers. In 2009, Cutkosky simplified this to about 40 pages.
・1966 Discrete series representations of Lie groups. Harish-Chandra's construction of these involved a long series of papers totaling around 500 pages. His later work on the Plancherel theorem for semisimple groups added another 150 pages to these.
・1960?1970 Fondements de la Geometrie Algebrique, Elements de geometrie algebrique and Seminaire de geometrie algebrique. Grothendieck's work on the