Related papers: Trisections and Totally Real Origami
In this paper we provide a complete approach to the real numbers via decimal representations. Construction of the real numbers by Dedekind cuts, Cauchy sequences of rational numbers, and the algebraic characterization of the real number…
It is well known that the usual Huzita-Hatori axioms for origami enable angle trisection but not angle quintisection. Using the concept of a multifold, Lang has achieved quintisection but not arbitrary algebraic numbers. We define the…
We present a formalization of geometric instruments that considers separately geometric and arithmetic aspects of them. We introduce the concept of tool, which formalizes a physical instrument as a set of axioms representing its geometric…
In the making of origami, one starts with a piece of paper, and through a series of folds along seed points one constructs complicated three-dimensional shapes. Mathematically, one can think of the complex numbers as representing the piece…
An ancient optics problem of Ptolemy, studied later by Alhazen, is discussed. This problem deals with reflection of light in spherical mirrors. Mathematically this reduces to the solution of a quartic equation, which we solve and analyze…
Rigid origami has shown potential in large diversity of practical applications. However, current rigid origami crease pattern design mostly relies on known tessellations. This strongly limits the diversity and novelty of patterns that can…
Let $S_{g}$ denote the closed orientable surface of genus $g$. In joint work with Huang, the first author constructed exponentially-many (in $g$) mapping class group orbits of pairs of simple closed curves whose complement is a single…
This is an elementary presentation of the arithmetic of trees. We show how it is related to the Tamari poset. In the last part we investigate various ways of realizing this poset as a polytope (associahedron), including one inferred from…
Motivated by a question in origami, we consider sets of points in the complex plane constructed in the following way. Let $L_\alpha(p)$ be the line in the complex plane through $p$ with angle $\alpha$ (with respect to the real axis). Given…
We present algorithmic and complexity results concerning computations with one and two real algebraic numbers, as well as real solving of univariate polynomials and bivariate polynomial systems with integer coefficients using Sturm-Habicht…
We give a variety of magic hexagons of Orders from 3 to 7, many of which are extensions of known results. We also give a theorem that their are an infinite number of magic hexagons of Order $n$ for any fixed positive integer $n$ for any…
If we label the vertices of a triangle with 1, 2 and 4, and the orthocentre with 7, then any of the four numbers 1, 2, 4, 7 is the nim-sum of the other three and is their orthocentre. Regard the triangle as an orthocentric quadrangle.…
Some aspects of the development of physics and the mathematics set one think about relation between complex numbers and reality around us. If number to spot as the relation of two quantities, from the fact of existence of complex numbers…
A square trisection is a problem of assembling three identical squares from a larger square, using a minimal number of pieces. This paper presents an historical overview of the square trisection problem starting with its origins in the…
We consider several problems that involve lines in three dimensions, and present improved algorithms for solving them. The problems include (i) ray shooting amid triangles in $R^3$, (ii) reporting intersections between query lines…
We study decompositions of natural numbers into triangular summands. For instance, we prove that any natural number can be represented as a sum of four triangular numbers, two of them having even indices and the other two having odd…
We introduce and study a new kind of congruent number problem on the right trapezoid.
We consider the problem of finding a bijection between the sets of alternating sign matrices and of totally symmetric self complementary plane partitions, which can be reformulated using Gog and Magog triangles. In a previous work we…
We develop a theoretical framework for rigid origami, and show how this framework can be used to connect rigid origami and results from cognate areas, such as the rigidity theory, graph theory, linkage folding and computer science. First,…
Considering simultaneous approximation to three numbers, we study the geometry of the sequence of best approximations. We provide a sharper lower bound for the ratio between ordinary and uniform exponent of Diophantine approximation,…