Related papers: Constructions by ruler and compass, together with …
It is a $300$ year old counterintuitive observation of Prince Rupert of Rhine that in cube a straight tunnel can be cut, through which a second congruent cube can be passed. Hundred years later P. Nieuwland generalized Rupert's problem and…
We suggest a geometric visualization of the process of constructing a triangle with prescribed bisectors that makes the existence of such a triangle geometrically evident.
Given a finite set of non-collinear points in the plane, there exists a line that passes through exactly two points. Such a line is called an ordinary line. An efficient algorithm for computing such a line was proposed by Mukhopadhyay et…
We consider Golomb rulers and their construction. Common rulers feature marks at every unit measure, distances can often be measured with numerous pairs of marks. On Golomb rulers, for every distance there are at most two marks measuring…
We characterize the topological configurations of points and lines that may arise when placing n points on a circle and drawing the n perpendicular bisectors of the sides of the corresponding convex cyclic n-gon. We also provide exact and…
I construct regulator indecomposable higher Chow cycles in elliptic surfaces satisfying certain conditions. As an application I give an alternative proof of a theorem of Gordon and Lewis, which asserts that there is a real regulator…
A projective rectangle is like a projective plane that may have different lengths in two directions. We develop properties of the graph of lines, in which adjacency means having a common point, especially its strong regularity and clique…
TO APPEAR IN AEQUATIONES MATHEMATICAE - WITHOUT THEOREM 2. THEOREM 2 IS CORRECTLY PROVED IN PREVIOUS VERSIONS 1 AND 2. AUTHOR'S VERSION 3 (WITH A NEW FIGURE 6A) IS UNNECESSARY. Let F \subseteq R denote the field of numbers which are…
In the field of the Jacobian conjecture it is well-known after Druzkowski that from a polynomial "cubic-homogeneous" mapping we can build a higher-dimensional "cubic-linear" mapping and the other way round, so that one of them is invertible…
In this paper we prove the transcendence of $\pi$ using Hilbert's method. We also prove that all points constructible with compass and straightedge have algebraic coordinates. Thus we give a self-contained proof that squaring the circle is…
Squaring the circle is impossible, but it can be squared approximately. Ramanujan gave a construction correct to eight decimal places. In his book Mathographics, Dixon gave constructions correct to three decimal places. In this article, we…
To construct a curve with a monotonic curvature (spiral), and given tangents and curvatures at the ends, the author proposed the following method. From given boundary conditions, the values of two inverse invariants are determined. Then, on…
We use floor decompositions of tropical curves to prove that any enumerative problem concerning conics passing through projective-linear subspaces in $\RP^n$ is maximal. That is, there exist generic configurations of real linear spaces such…
We give a complete description of all convex polyhedra whose surface can be constructed from several congruent regular pentagons by folding and gluing them edge to edge. Our method of determining the graph structure of the polyhedra from a…
In this paper we give several methods to construct curves over finite fields with many points and illustrate this with examples of the results.
When considering geometry, one might think of working with lines and circles on a flat plane as in Euclidean geometry. However, doing geometry in other spaces is possible, as the existence of spherical and hyperbolic geometry demonstrates.…
In this follow-up article to Symplectification of Circular Arcs and Arc Splines, biarc geometry is examined from a purely geometric point of view. Two given points together with their associated tangent vectors in the plane are sufficient…
We investigate the motions of a bar structure consisting of two congruent tetrahedra, whose edges in their basic position form the face diagonals of a rectangular parallelepiped. The constraint of the motion is that the originally…
Tensor diagrams are a handy way to depict complicated relationships between objects in projective geometry. One of the simpler ones takes two copies of a $3\times 3$ matrix and computes its adjugate. In this paper, we give a geometric…
Euclidean geometry consists of straightedge-and-compass constructions and reasoning about the results of those constructions. We show that Euclidean geometry can be developed using only intuitionistic logic. We consider three versions of…