If $f, g \in k[x]$, where $k$ is a field, then $k(f, g) = k(h)$ for some rational function $h \in k(x)$ (this is a special case of Lüroth's theorem).

**Question 1:** Under what conditions does the above hold with $h = x$, i.e. $k(f, g) = k(x)$?

This question seems to be very natural in the context of Lüroth's theorem. In the terminology used in the literature on rational parametrizations of algebraic varieties, it asks for conditions under which a given polynomial parametrization of an affine plane curve is also “proper” (i.e. generically one-to-one).

Recently I typed up (mainly for myself) a constructive proof of Lüroth's theorem from Schinzel's Selected Topics on Polynomials, and unless I made a mistake, the algorithm from the proof implies a simple sufficient condition when characteristic of $k$ is zero:

Assume the characteristic of $k$ is zero. If $\deg(f)$, $\deg(g)$ are relatively prime, then $k(f,g) = k(x)$.

It clearly is so simple that it must be well known if it is true. However I managed neither to locate it in the literature (e.g. in Rational Algebraic Curves), nor to find a mistake in my elementary proof (which can be found in the “Applications” section of this post).

**Question 2:** Is there a reference which studies this (provided it is correct), and other conditions which guarantee that the field generated by a given set of polynomials is the field of rational functions itself?

To clarify: I am looking for conditions in terms of coefficients, Newton polygons, etc - something that can be used to choose $f, g$ such that $k(f,g) = k(x)$. Conditions which say "compute a sequence of gcds (or Gröbner basis), and the last element of the sequence should have degree one" are easy to check, but does not immediately give a recipe to pick polynomials satisfying these conditions.