相关论文: Illumination of Pascal's Hexagrammum and Octagramm…
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…
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…
In 1640's, Blaise Pascal discovered a remarkable property of a hexagon inscribed in a conic - Pascal Theorem, which gave birth of the projective geometry. In this paper, a new geometric invariant of algebraic curves is discovered by a…
G\"unter Ziegler has shown in 1989 that some homological invariants associated with the free resolutions of Jacobian ideals of line arrangements are not determined by combinatorics. His classical example involves hexagons inscribed in…
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…
Given six points on a conic, Pascal's theorem gives rise to a well-known configuration called the \emph{hexagrammum mysticum}. It consists of, amongst other things, twenty Steiner points and twenty Cayley-Salmon lines. It is a classical…
We provide a simple proof of Pascal's Theorem on cyclic hexagons, as well as a generalization by M\"obius, using hyperbolic geometry.
In this paper, firstly, by a determinant of deformed Pascal's triangle, namely the normalized Hessenberg matrix determinant, to count Dyck paths, we give another combinatorial proof of the theorems which are of Catalan numbers determinant…
This paper proves a generalization of the Butterfly Theorem, a classical Euclidean result, which is valid in the complex projective plane.
It will be shown that Pascal's Theorem is equivalent to the associativity of a natural binary operation on conic sections. A novel proof for Pascal's Theorem will then be given by showing that this binary operation is associative…
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 study quadrilaterals inscribed and circumscribed about conics. Our research is guided by experiments in software Cinderella. We extend the known results in projective geometry of conics and show how modern mathematical software brings…
Using a new point of view inspired by hyperplane arrangements, we generalize the converse to Pascal's Theorem, sometimes called the Braikenridge-Maclaurin Theorem. In particular, we show that if 2k lines meet a given line, colored green, in…
In this paper, we present a propositional sequent calculus containing disjoint copies of classical and intuitionistic logics. We prove a cut-elimination theorem and we establish a relation between this system and linear logic.
We prove that the number of legendrian rational cubics in $\mathbb C P^3$ through three generic points and a line is three; also we classify all legendrian curves on a quadric surface. Several computations are additionally verified using…
In this paper, after presenting the results of the generalization of Pascal triangle (using powers of base numbers), we examine some properties of the 112-based triangle, most of all regarding to prime numbers. Additionally, an effective…
Some translations into non-euclidean geometry of classical theorems of planar projective geometry are explored. The existence of some common triangle centers is dedeuced from theorems of Pascal and Chasles. Desargues' Theorem allows to…
We show that various classical theorems of real/complex linear incidence geometry, such as the theorems of Pappus, Desargues, M\"obius, and so on, can be interpreted as special cases of a single "master theorem" that involves an arbitrary…
In this exposition-type note we present detailed proofs of certain assertions concerning several algebraic properties of the cone and cylinder algebras. These include a determination of the maximal ideals, the solution of the B\'ezout…
We first review some topics in the classical computational geometry of lines, in particular the O(n^{3+\epsilon}) bounds for the combinatorial complexity of the set of lines in R^3 interacting with $n$ objects of fixed description…