In the text below, when I mention curve defined by a polynomial $p \in k[x,y,z]$ I mean its set of zeros in $\Bbb P^2,$ i.e.,
$$ \text{ curve defined by $p$} = Z(p) = \{P \in \Bbb P^2 \, \colon \, p(P) = 0\}.$$
I wish to prove the following claim:
Claim. Given two coprime, nonzero and homogeneous polynomials $f,g \in k[x,y,z],$ the intersection of the curves defined by $f$ and $g$ is finite, i.e., $Z(f) \cap Z(g)$ is finite.
My attempt. We know we can partition the points of $\Bbb P^2$ into three sets of coordinates given by $(1:0:0), (a:b:1)$ and $(a:1:0).$ It is of trivial observation that $(1:0:0)$ is only one point and thus it doesn't bring problems of finitness. Furthermore, points with coordinates $(a:b:1)$ can be related to points of $\Bbb A^2,$ in which we know the intersection in cause is finite (there are several questions about this in MSE). With this in mind, we only worry about the points of coordinates $(a:1:0).$
In this case, we are looking for points such that $f(a,1,0) = g(a,1,0) = 0.$ So, we study the polynomials $f(x,1,0)$ and $g(x,1,0).$ Ideally, if one of this polynomials is nonzero (when treated as a function of $x$) we get the result wanted:
Suppose that (at least) one of the polynomials $f(x,1,0)$ or $g(x,1,0)$ is nonzero. We have a polynomial of one variable that's nonzero over a field, which has obviously only a finite number of roots. In particular, this means that there are only finitely many points of coordinates $(a:1:0)$ that vanish simultaneously on $f$ and $g$, proving what's wanted.
So, all we need to do is to show that indeed one of the polynomials $f(x,1,0)$ or $g(x,1,0)$ is nonzero. I am not sure how to reach this result: I think coprimality will be key here, since perhaps we can somehow relate this polynomials with having common factor of $z$ ?
This is my idea, but I don't know how to develop it formally.
Thanks for any help in advance.
Here's the hints I gave in the comments fleshed out:
We assume that $k$ is an infinite field.
First, let $f(x,y,z)$ be a homogeneous polynomial, therefore $f(x,y,0)$ is also a homogeneous polynomial.
Now suppose that $f(x,1,0)=0$ for all $x\in k$, since $k$ is infinite this implies that $f(x,1,0)=0$ as a polynomial in $k[x]$.
Now consider $f(x,y,0)$ as a polynomial in $(k[x])[y]$, then by the factor theorem (which holds for polynomials over any commutative unital ring), we get that $y-1$ divides $f(x,y,0)$.
Since $f(x,y,0)$ is a homogeneous polynomial, if it is nonzero then its factors are also homogeneous. But we've shown that $y-1$ divides it, and it isn't homogeneous, so $f(x,y,0)$ must be the zero polynomial, so again by the factor theorem we get that $z$ divides $f(x,y,z)$.
Now to conclude the proof of the statement in the question, suppose $f(x,y,z),g(x,y,z)$ are coprime, homogeneous polynomials, then since $z$ isn't a common factor of $f(x,y,z)$ and $g(x,y,z)$, we must have that at least one of the polynomials $f(x,y,0), g(x,y,0)$ is nonzero, and since the polynomials are homogeneous at least one of the polynomials $f(x,1,0), g(x,1,0)$ is nonzero by what we've shown above.
From here you can complete the proof as you outlined in the question.
Finally, note that the nonzero assumption in the claim can be dropped, since if one of the polynomials is zero then by coprimality the other polynomial must be invertible, and so has no roots.