W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/17785| Tytuł: | Classical Isoperimetric Theorem |
| Autorzy: | Nakasho, Kazuhisa Shidama, Yasunari |
| Słowa kluczowe: | isoperimetric theorem calculus of variations parametric curve |
| Data wydania: | 2024 |
| Data dodania: | 9-sty-2025 |
| Wydawca: | DeGruyter Open |
| Źródło: | Formalized Mathematics, Volume 32, Issue 1, Pages 187–194 |
| Abstrakt: | In this article we present the Mizar proof of the isoperimetric theorem (one of the theorems listed among Wiedijk’s Top 100 mathematical theorems), inspired by Peter D. Lax’s paper “A Short Path to the Shortest Path”. Using relatively simple formal apparatus of continuous and differentiable functions, we show that among all curves of fixed length connecting two points on the x-axis, a semicircle is the curve which maximizes the area between the curve and the x-axis. |
| Afiliacja: | Kazuhisa Nakasho - Yamaguchi University, Yamaguchi, Japan Yasunari Shidama - Karuizawa Hotch 244-, Nagano, Japan |
| URI: | http://hdl.handle.net/11320/17785 |
| DOI: | 10.2478/forma-2024-0015 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| metadata.dc.identifier.orcid: | 0000-0003-1110-4342 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/3.0/ |
| Właściciel praw: | © 2024 The Author(s) CC BY-SA 3.0 license |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2024, Volume 32, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Classical-Isoperimetric-Theorem.pdf | 276,78 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
