Point addition on an elliptic curve over $\mathbb{F}_{5^2}$

Question

I have the elliptic curve equation $E(\mathbb F_{5^2}): y^2=x^3+10x+17$, and I have that the points $(3,7)$ and $(8,3)$ belong to $E$. According to the addition law, the slope $\lambda=(y_2-y_1)/(x_2-x_1)$ exists when the $\gcd(x_2-x_1,p)=1$, in this case is not equal to $1$. What should I do? Should I say, in this case, $(3,7)+(8,3)= \infty$? I appreciate the help.

Answer 1

As explained by Arturo, in the field $F_{25}$ we have $(3,7)=(3,2)$ and $(8,3)=(3,3)=(3,-2)$. Therefore the two points that you want to add are negatives of each other (on the same vertical line), so their sum is the point at infinity.