On the Properties of Curves and Parametrization-Independent Isoperimetric Inequality
By: Kazuhisa Nakasho
and Yasunari Shidama
and Yasunari Shidama Abstract
In this article we formalize in Mizar several properties of curves. We introduce the definition of the ArcLenP function and define arc length parametrization with its fundamental properties. Finally we prove an isoperimetric inequality that holds regardless of the curve’s parametrization.
Language: English
Page range: 195 - 201
Accepted on: Dec 14, 2024
Published on: Dec 31, 2024
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
© 2024 Kazuhisa Nakasho, Yasunari Shidama, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.