Timeline for Theorems in Euclidean geometry with attractive proofs using more advanced methods
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 2, 2012 at 11:55 | comment | added | darij grinberg | It does not satisfy the spirit either, even though the isoperimetric inequality appeared in the fourth century. The problem is that every formalization of the isoperimetric inequality already requires most of the advanced tools needed for its proof. Otherwise, the Jordan curve theorem would be an equally good example. | |
| Feb 1, 2012 at 21:01 | comment | added | Vectornaut | @darij grinberg: This answer may not satisfy the letter of the question, but I think it very much satisfies the spirit. The isoperimetric inequality is a classic result dating back to the fourth century, if not earlier (mathdl.maa.org/mathDL/46/…), while Fourier analysis is a 19th-century method based on very modern sensibilities (function spaces, new notions of convergence and integration, etc.). | |
| Feb 1, 2012 at 18:31 | comment | added | darij grinberg | The isoperimetric inequality hardly is more "Euclidean geometry" than Fourier analysis... | |
| Feb 1, 2012 at 18:19 | history | answered | Mark | CC BY-SA 3.0 |