Proving Pascal's theorem from a corollary to Max Noether's Fundamental theorem

Question

A result in my book Fulton's Algebraic Curves states that:

If $F$ and $G$ meet in $\deg(F\deg(G)$ distinct points, and $H$ passes through these points then there exists a curve $B$ such that $B•F = H•F -G•F$ where $B•F= \sum_{P \in F \cap B} I(P, B\cap F) P$ where $I(P, F\cap B)$ is the intersection number of projective plane curves $F$ and $B$.

Another result says, all the points of $F\cap G$ are simple points of $F$, and $H•F \geq G•F$ then it implies that there exists a curve $B$ such that $ B•F= H•F-G•F$

I have already proved these results. Now, using them I have to show Pascal's theorem which says that if a hexagon is inscribed in an irreducible conic then the opposite sides meet in collinear points.

My attempt: Choose any three sides of hexagon, they form a conic $C$ and the three sides of it form a conic $C'$ and let $Q$ be this given irreducible conic.

Now, since $Q$ and $C$ can have no common components so by Bezout's theorem it follows that $Q•C= P_1 +... +P_6$, I want to use Bezout's theorem again on $C$ and $C'$ to have $C•C' = Q_1 + ...Q_9$

And then use one of the results above to have a curve $B$ for which $B•F = $ a sum of three points.

My questions- 1. I can see that my method works if six of the points among $Q_1,...Q_9$ are $P_1,...P_6$ but I don't know how to show that?

2. Also, how can I apply Bezout's theorem on $C$ and $C'$? Doesn't it require for them to have no components common? How can I have that here?

I'd appreciate any help in the form of hint/s or solutions. Thanks!

Answer 1

Let $C$ and $C'$ be a decomposition in opposite sides of the hexagon. Although they are singular cubics, they meet in in smooth points and six among them are vertices of the hexagon, by hypothesis. $$ C\cdot C' = P_1 + \dots + P_9 $$ and let's say that $P_1, \dots, P_6$ are the vertices of the hexagon.

Now we use the theorem with $F=C$, $G=Q$ and $H=C'$. Then there exists a curve $B$ such that $$ B\cdot C = C\cdot C' - C\cdot Q = P_7 + P_8 + P_9 $$ By Bezout's theorem, $B$ must have degree one since $C$ is a cubic. Hence $B$ is a line and $P_7, P_8, P_9$ are colinear.