Mechanical Formula Derivation in Elementary Geometries
نویسندگان
چکیده
A precise formulation for the relations among certain variables under a set of polynomial equations and a set of polynomial inequations (to exclude certain special cases which cannot be excluded by the selection of parameters alone) is given. Several methods are presented to find such relations. The methods have been implemented and used to find geometry formulas, to discover geometry theorems, and to find geometry locus equations. About 120 non-trivial problems have been solved using the methods.
منابع مشابه
Random Vortex Method for Geometries with Unsolvable Schwarz-Christoffel Formula
In this research we have implemented the Random Vortex Method to calculate velocity fields of fluids inside open cavities in both turbulent and laminar flows. the Random Vortex Method is a CFD method (in both turbulent and laminar fields) which needs the Schwarz-Christoffel transformation formula to map the physical geometry into the upper half plane. In some complex geometries like the flow in...
متن کاملA note on the entropy production formula
We give an elementary derivation of the entropy production formula of [JP1]. Using this derivation we show that the entropy production of any normal, stationary state is zero.
متن کاملAn Elementary Derivation of the Montgomery Phase Formula for the Euler Top
We give an elementary derivation of the Montgomery phase formula for the motion of an Euler top, using only basic facts about the Euler equation and parallel transport on the 2-sphere (whose holonomy is seen to be responsible for the geometric phase). We also give an approximate geometric interpretation of the geometric phase for motions starting close to an unstable equilibrium point. Introduc...
متن کاملAn elementary proof of the total progeny size of a birth-death process, with application to network component sizes
We revisit the size distribution of finite components in infinite Configuration Model networks. We provide an elementary combinatorial proof about the sizes of birth-death trees which is more intuitive than previous proofs. We use this to rederive the component size distribution for Configuration Model networks. Our derivation provides a more intuitive interpretation of the formula as contraste...
متن کاملAn Intuitive Derivation of Heron's Formula
From elementary geometry we learn that two triangles are congruent if their edges have the same lengths, so it should come as no surprise that the edge lengths of a triangle determine the area of that triangle. On the other hand, the explicit formula for the area of a triangle in terms of its edge lengths, named for Heron of Alexandria (although attributed to Archimedes [4]), seems to be less c...
متن کامل