相关论文: An Invariant of Algebraic Curves from the Pascal T…

The 16-year old Blaise Pascal found a way to determine if 6 points lie on a conic using a straightedge. Nearly 400 years later, we develop a method that uses a straightedge to check whether 10 points lie on a plane cubic curve.

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.…

We consider the ring of invariants of n points on the projective line. The space (P^1)^n // PGL_2 is perhaps the first nontrivial example of a Geometry Invariant Theory quotient. The construction depends on the weighting of the n points.…

By a transfer principle Pascal's Theorem is equivalent to a theorem about point pairs on the real line. It appears that Pascal's Theorem is equivalent to the vanishing of a common invariant of six quadratic forms. Using the q-deformed…

Let $\mathcal{K}$ denote a nonsingular conic in the complex projective plane. Pascal's theorem says that, given six distinct points $A,B,C,D,E,F$ on $\mathcal{K}$, the three intersection points $AE \cap BF, AD \cap CF, BD \cap CE$ are…

We prove a variant of the Sylvester-Gallai theorem for cubics (algebraic curves of degree three): If a finite set of sufficiently many points in $\mathbb{R}^2$ is not contained in a cubic, then there is a cubic that contains exactly nine of…

One of the general problems in algebraic geometry is to determine algorithmically whether or not a given geometric object, defined by explicit polynomial equations (e.g. a curve or a surface), satisfies a given property (e.g. has…

This is a paper about triangle cubics and conics in classical geometry with elements of projective geometry. In recent years, N.J. Wildberger has actively dealt with this topic using an algebraic perspective. Triangle conics were also…

Pascal's Theorem gives a synthetic geometric condition for six points $a,\ldots,f$ in $\mathbb{P}^2$ to lie on a conic. Namely, that the intersection points $\overline{ab}\cap\overline{de}$, $\overline{af}\cap\overline{dc}$,…

Let ${\mathcal K}$ denote a smooth conic in the complex projective plane. Pascal's theorem says that, given six points $A,B,C,D,E,F$ on ${\mathcal K}$, the three intersection points $AE \cap BF, AD \cap CF, BD \cap CE$ are collinear. This…

We discuss the theorem on the existence of six points on a convex closed plane curve in which the curve has a contact of order six with the osculating conic. (This is the ``projective version'' of the well known four vertices theorem for a…

We introduce a new formalism and a number of new results in the context of geometric computational vision. The classical scope of the research in geometric computer vision is essentially limited to static configurations of points and lines…

In this paper we present a variety of statements that are in the spirit of the famous theorem of Pascal, often referred to as the Mystic Hexagon. We give explicit equations describing the conditions for $d+4$ points to lie on rational…

Given six points $A,B,C,D,E,F$ on a nonsingular conic in the complex projective plane, Pascal's theorem says that the three intersection points $AE \cap BF, BD \cap CE, AD \cap CF$ are collinear. The line containing them is called a pascal,…

We construct a topological invariant of algebraic plane curves, which is in some sense an adaptation of the linking number of knot theory. This invariant is shown to be a generalization of the I-invariant of line arrangements developed by…

We present alternative postulates for Euclidean geometry whose merit is that they lead to a new class of invariants and associated geometries for real finite-dimensional unital associative algebras.

The Pascal Multimysticum is a system of points and lines constructed with a straight edge starting from six points on a conic. We show that the system contains 150 infinite ranges (and 150 infinite pencils) whose projective coordinates are…

We introduce the new notion of the "quasi-Galois point" in Algebraic geometry, which is a generalization of the Galois point. A point $P$ in projective plane is said to be quasi-Galois for a plane curve if the curve admits a non-trivial…

In this paper, generalizing the techniques of Bour's theorem, we prove that every generic cuspidal edge, more generally, generic $n$-type edge, which is invariant under a helicoidal motion in Euclidean $3$-space admits non-trivial isometric…

${\cal U}$ntil now the representation (i.e. plotting) of curve in Parallel Coordinates is constructed from the point $\leftrightarrow$ line duality. The result is a ``line-curve'' which is seen as the envelope of it's tangents. Usually this…