If X has codimension 1, then we intersect X with a randomly chosen line, and hope that the decomposition of the intersection contains a K-rational point. If n=degree X then the probability P that this happens, is the proportion of permutations in $S_n$ with a fix point on $\{1,\ldots,n \}$, i.e. $$P=\sum_{j=1}^n (-1)^{j-1} binomial(n,j)(n-j)!/n! = 1-1/2+1/3! + \ldots $$ which approaches $1-exp(-1) = 0.63\ldots$. Thus a probabilistic approach works.
For higher codimension we first project X birationally onto a hypersurface Y, and find a point on Y. Then we take the preimage of this point.
|
|
|
|
|
|
|
|
|
The claim that $63 \%$ of the intersections contain a K-rational point can be experimentally tested:
|
|
|
|
The object randomKRationalPoint is a method function.