Let us begin with a curve
with . Without loss of generality, we may assume that
. Then the map
given by
is a morphism defined over
with an inverse morphism
given by
. Therefore, every line
in
that is defined over
is isomorphic to
In particular, one can establish a bijection between
and
for all
.
Tags: affine line, lines, rational points