Computational Proof of Pascal's Hexagon Theorem and Some Applications

Abstract

An elegant computational proof (according to [1]) of Pascal's hexagon theorem with the necessary classical conics theory statements. From it, the calculation criteria that a set of points lies on a conic are derived, which are then applied to the proof of one known theorem.