Codex @codex  0

Write $C=V(P)$, where $P\in \mathbb{C}[x,y,z]$ is a squarefree polynomial and a homogeneous polynomial of degree $d$. A projective point $p\in C$ is a singular point precisely whenIf $p=[p_0:p_1:p_2]$ is a nonsingular point of an algebraic curve, its projective tangent line isThe coefficients are not all zero, and the Euler theorem for homogeneous functions gives $p_0{P}_x(p)+p_1{P}_y(p)+p_2{P}_z(p)=dP(p)=0$, so the line passes through $p$. Changing the representative of the projective point only rescales the equation.

The strong form of Bézout's theorem says that two projective plane curves $C,D$ of degrees $d,e$, with no common irreducible component, have finitely many intersections andEach intersection multiplicity is a positive integer. At $p\in C\cap D$,This is the criterion for a transverse intersection of plane curves. In particular, an intersection at a singular point of either curve contributes at least two.

There is a nonsingular point of an algebraic curve on $C$, since part (b) makes its singular locus finite whereas a projective curve has infinitely many complex points. Apply a projective transformation taking one such point to $p=[1:0:0]$, and use $P$ for the transformed homogeneous polynomial. As in part (b), $P_x$ is nonzero and $D=V(P_x)$ has no common irreducible component with $C$.

The Euler theorem for homogeneous functions and its differentiated identities giveandSince $p$ is nonsingular on $C$, at least one of $P_y(p),P_z(p)$ is nonzero. Because $d>1$, the polar curve $D$ is also nonsingular at $p$, and these identities show that $T_{p}D=T_{p}C$. Hence $I_p(C,D)\ge 2$.

This additional intersection is separate from all the singular points of $C$. Thus Bézout's theorem givesThe improvement comes from making the polar curve tangent at a chosen nonsingular point, thereby reserving at least two of the available intersections.

A nonsingular point of an algebraic curve $p$ is an inflection point of an algebraic plane curve, or flex, if its projective tangent line has contact of order at least three:Here the projective tangent line must not be a component of $C$. Ordinary tangency has contact order two.

Let $C=V(F)$, where $F$ is a homogeneous polynomial of degree $d\ge 2$. Its Hessian curve is defined byEach entry has degree $d-2$, so a nonzero $H_F$ has degree $3(d-2)$. By the Hessian criterion for a flex, the flexes are exactly the points of $C\cap V(H_F)$. The stated no-common-component assumption and Bézout's theorem therefore giveThis counts distinct points; higher contact can use more than one unit of intersection multiplicity at a single point.

For completeness, the Hessian criterion for a flex follows by putting $p=[0:0:1]$ and $T_{p}C=\{y=0\}$, with $F_y(p)\ne 0$. The Euler theorem for homogeneous functions gives $F_{xz}(p)=F_{zz}(p)=0$ and $F_{yz}(p)=(d-1)F_y(p)$, whenceThe restriction $F(x,0,1)$ already has vanishing constant and linear terms. Its quadratic term vanishes exactly when the intersection multiplicity with the tangent is at least three, proving the criterion.

For $d\ge 3$ the bound is the actual maximum number of flexes of a smooth plane curve: a general nonsingular curve has only contact of order three, and the corresponding intersections with its Hessian curve are simple. One way to see genericity is to vary a point and a line through it, a three-dimensional family. Contact of order at least four imposes four independent linear conditions on the coefficients of a degree-$d$ equation for $d\ge 3$. Thus the locus of equations with such contact is a proper exceptional locus. Locally, if the curve is $y=h(x)$, its Hessian curve restricted to $C$ is a nonvanishing factor times $h^{\prime \prime }(x)$; contact exactly three gives a simple zero.

A nonsingular plane conic has no flexes, agreeing with the formula at $d=2$. A line is excluded from this formulation: its tangent is itself and its Hessian matrix is zero, so the no-common-component hypothesis fails. The formula is therefore intended for $d\ge 2$, rather than giving the meaningless negative value at $d=1$.

Choose an integral Weierstrass equation of an elliptic curve with unit elliptic-curve discriminant. For $P\in E({\mathbb{Q}}_p)$, choose homogeneous coordinates $[X:Y:Z]$ in ${\mathbb{Z}}_p$ with at least one unit by multiplying all three coordinates by a common power of $p$. DefineTwo primitive integral representatives differ by a unit, so this is well-defined. Every point of the reduced cubic is a nonsingular point of an algebraic curve, and the identity reduces to $[0:1:0]$. This definition includes points whose affine coordinates are nonintegral.

To prove the good-reduction map respects elliptic addition, use the smooth proper integral model. The elliptic curve group law is a morphism on this model, constructed by addition of degree-zero divisor classes; it is defined even where an affine chord formula has a vanishing denominator. Passing to the residue field commutes with this morphism. Henceso reduction is a homomorphism of abelian groups.

For surjectivity, the simple-root Hensel lemma says that if $g\in {\mathbb{Z}}_p[t]$, $g(t_0)\equiv 0(\mathrm{mod}p)$ and $g^{\prime }(t_0)\not\equiv 0(\mathrm{mod}p)$, then there is a unique $t\in {\mathbb{Z}}_p$ with $t\equiv t_0(\mathrm{mod}p)$ and $g(t)=0$. The point at infinity lifts to $O$. At an affine point $(\overline{x},\overline{y})$ of the reduced equation $F(x,y)=0$, being a nonsingular point of an algebraic curve means at least one partial derivative $F_x,F_y$ is nonzero. If $F_y\ne 0$, fix any integral lift $x_0$ of $\overline{x}$ and apply the Hensel lemma to $g(t)=F(x_0,t)$ to lift $\overline{y}$. If $F_x\ne 0$, fix $y_0$ and lift $\overline{x}$ instead. This proves the surjectivity of good reduction over a local field and gives