Related papers: The cycloid as brachistochrone: A one-page proof, …
In this paper we give purely geometrical proofs of the well-known properties of the lemniscate of Bernoulli.
Leibniz algebras generated by one element, called cyclic, provide simple and illuminating examples of many basic concepts. It is the purpose of this paper to illustrate this fact.
The content of this review is summarized here through the titles of its sections, as follows: 1. Introduction: Schwarzschild's original solution and the ``Schwarzschild solution''. 2. The wrong arrow of time of Hilbert's manifold is at the…
A well-known theorem of Blind and Mani says that every simple polytope is uniquely determined by its graph. Kalai gave a very short and elegant proof of this result using the concept of acyclic orientations. As it turns out, Kalai's proof…
The brachistochrone problem can be solved either by variational calculus or by a skillful application of the Snellius' law of refraction. This suggests the question whether also other variational problems can be solved by an analogue of the…
We give a proof of the Acyclicity Conjecture stated by Broussous and Schneider in [BrouSch2017]. As a consequence, we obtain an exact resolution of every admissible representation on each Bernstein block of ${\rm GL}(N)$ associated to a…
We consider different generalizations of the Brachistochrone Problem in the context of fundamental concepts of classical mechanics. The correct statement for the Brachistochrone problem for nonholonomic systems is proposed. It is shown that…
An elementary proof of Bertrand's theorem is given by examining the radial orbit equation, without needing to solve complicated equations or integrals.
This note gives a very succinct conceptual proof of Brahmagupta's formula for cyclic quadrilaterals, and then a long discussion about how the proof is inspired by ideas from modern mathematics.
Some time ago Wastlund reformulated the Basel problem in terms of a physical system using the proportionality of the apparent brightness of a star to the inverse square of its distance. Inspired by this approach, we give another physical…
We present an astonishingly simple and elegant proof of the celebrated Basel problem.
In this work we look at the original fractional calculus of variations problem in a somewhat different way. As a simple consequence, we show that a fractional generalization of a classical problem has a solution without any restrictions on…
We propose a $\lambda$-calculus-style formal language, called the $\mu$-syntax, as a lightweight representation of the structure of cyclic operads. We illustrate the rewriting methods behind the formalism by giving a complete step-by-step…
Our main goal is to give a sense of recent developments in the (stable) rationality problem from the point of view of unramified cohomology and 0-cycles as well as derived categories and semiorthogonal decompositions, and how these…
A convex quadrilateral with sides a,b,c,d, and diagonals p,q is cyclic iff abp-bcq+cdp-daq=0. This condition, in spite of its simplicity, appears to be unnoted and unexpectedly proof-resilient. We employ advanced methods of computer algebra…
In a previous paper, the author compute the dimension of Hochschild cohomology groups of Jacobian algebras from (unpunctured) triangulated surfaces, and gave a geometric interpretation of those numbers in terms of the number of internal…
Cycloids are particular Petri nets for modelling processes of actions or events. They belong to the fundaments of Petri's general systems theory and have very different interpretations, ranging from Einstein's relativity theory and…
Recent analyses of Brahmagupta's discourse on the cyclic quadrilateral, and of Baudh\=ayana's approximate quadrature of the circle, have shown that it is useful to submit mathematical texts to a form of literary analysis. Several passages…
Esnault-Viehweg developed the theory of cyclic branched coverings $\tilde X\to X$ of smooth surfaces providing a very explicit formula for the decomposition of $H^1(\tilde X,\mathbb{C})$ in terms of a resolution of the ramification locus.…
Euclid uses an undefined notion of "equal figures", to which he applies the common notions about equals added to equals or subtracted from equals. When (in previous work) we formalized Euclid Book~I for computer proof-checking, we had to…