Le théorème de Pascal exprime qu'en choisissant six points , , , , , sur une conique, les points d'intersection des droites () et (), () et (), () et (), sont alignés. C'est une façon de dire qu'une conique est définie par la donnée de cinq points: un sixième (situé ici sur la bissectrice) devra vérifier des contraintes par rapport aux cinq précédents, matérialisées par les diverses droites sur la figure.