To the isotropic analogue of the theorem of Abramescu (Q1368009): Difference between revisions

Let \(I_2\) be the isotropic plane with absolute line \(u\) and absolute point \(U\in u\). A cubic \(\Gamma\) is called completely circular, if \(U\) is an inflection point of \(\Gamma\) and \(u\) is the inflection tangent in \(U\). Let \(c\) be an admissible \(C^\omega\)-curve segment in \(I_2\), free of inflection points and let four neighboring points \(P_1, P_2, P_3, P_4\) on \(c\) with tangents \(t_1, t_2, t_3, t_4\) be given. Under the limiting process \(P_2 \rightarrow P_1, P_3 \rightarrow P_1, P_4 \rightarrow P_1\) the completely circular cubic containing the six points \(T_{ij} = t_i \cap t_j = T_{ji}\) converges into a curve \(\Gamma^\ast\) with the following properties: (i) If the second isotropic curvature of \(c\) is different from zero at \(P_1\), then \(\Gamma^\ast\) is an (irreducible) completely circular cubic with double point \(P_1\). The harmonic polar line of \(U\) with respect to \(\Gamma^\ast\) is the (isotropic) bisectrix of the double point tangents. Further \(t_1\) is one of those tangents. The cubic \(\Gamma^\ast\) touches the affine parabola of \(c\) in \(P_1\) in the characteristic points of the Abramescu-circle of \(c\) at \(P_1\). (ii) If the second isotropic curvature of \(c\) vanishes at \(P_1\), then \(\Gamma^\ast\) is a reducible third-order curve: It splits into the isotropic normal through \(P_1\) and an (isotropic) circle \(\Gamma_k\), touching \(c\) in \(P_1\). The radius of \(\Gamma_k\) is equal to the isotropic curvature of \(c\) at \(P_1\).