Find the condition for a center of a circle with exactly one lattice point on its circumference

Question

Statement

Find the condition for a center of a circle with exactly one lattice point on its circumference (this lattice point must not be the only one lattice point of the disk)

What I have tried:

Part I:

Let $$\mathcal C: (x-x_0)^2 + (y-y_0)^2 = r^2$$ be a circle positioned at $K(x_0,y_0) \in \mathbb R^2$ and $\varepsilon$ be a tangent line to this circle of the form $$\varepsilon : (x-x_0)x_1 + (y-y_0)y_1 = r^2$$ where $P(x_1,y_1)$ is the intersection point.

Our circle $C$ will contain exactly one lattice point $W \in \mathbb Z^2$ if and only if there is only one pair of integers such that $P \equiv W$. In other words (geometrically) the circle has only one tangent passing from a lattice point.

Our problem reduces to finding the condition that $K$ must satisfy in order for $\varepsilon$ to have exactly one integer solution $W'(x',y')$. Therefore let $A = x - x_0, B = y-y_0, r^2 = C > 0$ which leads to a much simpler form: $$Ax_1 + By_1 = C$$

If $B=0$ then the line $x_1 = C/A$ has either no or infinite number of integer solutions. Therefore $B \neq 0 $.

Note that $Ax' + By' = C$ so $$A(x-x') = -B(y-y') \iff y-y' = - \frac A B (x- x')$$

If $ (-A/B) \in \mathbb Q $ then there exist infinitely many sets of integers $(x_1, y_1)$ where $x_1 \neq x'$ which implies that $- A / B $ is irrational (1).

Part II:

Now let $\mathcal C$ be parametrized as follows:

$$\mathcal C: A = r \cos t, \quad B = r \sin t \; \text{such that} \; t \in [0, 2 \pi)$$ which means that $\cot (-t)$ must be irrational according to (1) for all $t \in (0, 2 \pi) - \{ \pi \} = S$. Hence for a random $t \in S$ where $\cot (-t) \in \mathbb Q^c$ we know that there would exist a circle with exactly one lattice point on its circumference.

My questions:

1. Is the above right and complete (I am not sure for Part II of the proof)?
2. Are there other solutions to the problem?

Answer 1

A partial answer. Call a point $(x,y)$ ordinary if $2x$ is not an odd integer, $2y$ is not an odd integer, $x+y$ is not an integer, and $x-y$ is not an integer. It's not hard to see that if $(x,y)$ is ordinary then it has a unique nearest lattice point and a unique second-nearest lattice point. So if $(x,y)$ is ordinary then the circle centered at $(x,y)$ with radius equal to the distance to the second-nearest lattice point will enclose the nearest lattice point and will have exactly one lattice point on its circumference.