Is the sphere circle externally tangent to the $d+1$ escribed spheres three excircles of an irregular $d$-dimensional non-Euclidean simplex triangle internally tangent to the inscribed sphere incircle of the simplextriangle, the tangent point being a generalized Feuerbach point? In Euclidean plane geometry, the circle externally tangent to the excircles of an irregular triangle is internally tangent to the incircle at the Feuerbach point. My calculations indicate that this should similarly obtain for a non-Euclidean simplextriangle, but I have found no proof. (It is possible that my calculations could, with difficulty, be turned into an analytic proof.) An inscribed sphere is tangent to each facet of a simplex, and its center is on the same side of the facet as the vertex opposite that facet. An escribed sphere is tangent to each facet of a simplex, and its center is on the same side of each facet as the vertex opposite that facet save for one facet where it is on the opposite side. A sphere circle is internally (externally) tangent to another sphere circle if the distance between their centers is the difference (sum) of their radii. A simplex triangle is regular irregular if all its edges are of it is not equilateral.
In response to a helpful comment, my calculations indicate that the same lengthadditional tangency does not obtain in higher dimensions, and otherwise irregular. We restrict non-Euclidean so I have revised the question to spherical and hyperbolic spacesapply to only a two-dimensional space.
