The addition law on the elliptic curves maps pairs of points over the field $\Bbbk$ to a new point over $\Bbbk$. To understand why there can be no division by zero, one needs to understand the completion of the affine curve $x^2 + y^2 = 1 + dx^2 y^2$ which is only a part of the full Edwards curve, since an elliptic curve is never affine. The true Edwards curve is a curve in $\mathbb P^1 \times \mathbb P^1$, which is a space of pairs of pairs of points $((x,z),(y,w))$ with two such pairs identified if they differ by a multiplication by a pair of nonzero numbers: $$((x,z),(y,w)) \sim ((\lambda x,\lambda z),(\mu y,\mu w)),\ \lambda,\mu\in \Bbbk^*$$
None of the pairs $(x,z)$ or $(y,w)$ can equal $(0,0)$. The equation in the projective coordinates looks as follows:
$$x^2 w^2 + y^2 z^2 = z^2 w^2 + d x^2 y^2$$
You get the affine patch by setting $w=z=1$. Now, one can get "points at infinity" by considering the case when $w=0$ or $z=0$. If $w=0$:
$$y^2 (z^2 - dx^2) = 0$$
So either $y=0$ (which is impossible since $(y,w)=(0,0)$ is forbidden) or $d=(z/x)^2$, the latter being impossible if $d$ is not a square in $\Bbbk$. Similarly, for $z=0$ there are also no points at infinity.
So if $d$ is not a square in $\Bbbk$, then there are no points at infinity at all. A zero in the denominator of the addition law would produce exactly such a point, thus zeroes in the denominators are also impossible.
One could also ask if there could be a simultaneous zero of both the numerator and the denominator in the addition law, and the answer is also no for the same reason. Remember that the group law on the elliptic curve is defined algebraically, not analytically, so there can be no "removal of indeterminacies 0/0". A simultaneous zero in the numerator and denominator would mean a point on the curve of the form $((x,z),(0,0))$ (or vice versa), which are excluded by definition.