Intereting Posts

How to do \mathbf in handwriting?
Get the equation of a circle when given 3 points
Is it known or new?
Have you seen this formula for factorial?
Showing $$ is nilpotent.
Efficient and Accurate Numerical Implementation of the Inverse Rodrigues Rotation Formula (Rotation Matrix -> Axis-Angle)
If the limit of a multivariable function is identical along a certain class of paths, can we claim the existence of the limit?
Is this the general solution of finding the two original squares that add up to a given integer N?
Show $f$ is constant if $|f(x)-f(y)|\leq (x-y)^2$.
Primal and dual solution to linear programming
A finite sum over $\pm 1$ vectors
Showing that the intersection of all subgroups of order $n$ is normal
prove that $24 \mid a(a^2-1)$
Sum of unit and nilpotent element in a noncommutative ring.
Find all homomorphisms from a quotient polynomial ring $\mathbb{Z} /(15X^2+10X-2)$ to $\mathbb{Z}_7$

Recently, I became aware that there are many more triangle centers than the four I learned about in school. This reminded me of a thought I had when I first learned about the incenter: what point would you get if you took a triangle of the three tangent points of the inscribed circle (that I now know is called the contact triangle) an infinite number of times?

Where is it located (e.g. what are its barycentric and/or trilinear coordinates), and does it have a name/number in the Encyclopedia of Triangle Centers? Is it transcendental?

- Construct tangent to a circle
- Check if a point is within an ellipse
- Why does the Pythagorean Theorem have its simple form only in Euclidean geometry?
- A Modern Alternative to Euclidean Geometry
- which axiom(s) are behind the Pythagorean Theorem
- To whom do we owe this construction of angles and trigonometry?

- How many triangles are there in the picture?
- On constructing a triangle given the circumradius, inradius, and altitude .
- Find the circle circumscribing a triangle related to a parabola
- What are curves (generalized ellipses) with more than two focal points called and how do they look like?
- Is it possible to divide a circle into $7$ equal “pizza slices” (using geometrical methods)?
- Find the equation of the polar
- Diameter of a triangle
- What is the cone of the conic section?
- How do I get a tangent to a rotated ellipse in a given point?
- How to project a n-dimensional point onto a 2-D subspace?

Unfortunately I couldn’t find a closed formula for the trilinears yet. Here is what I have so far. Let the outer triangle have edge lengths proportional to $a_1:b_1:c_1$. The trilinear coordinates of the recursive contact center with respect to that triangle would be called $x_1:y_1:z_1$. Now the edge lengths of the contact triangle would be proportional to

$$

a_2 = \sqrt{a_1(b_1+c_1-a_1)} \quad:\quad

b_2 = \sqrt{b_1(c_1+a_1-b_1)} \quad:\quad

c_2 = \sqrt{c_1(a_1+b_1-c_1)} $$

Now you can use these to recursively compute the trilinear coordinates of the recursive contact center in that contact triangle. (If you truncate the recursion, it makes sense to return the incenter $1:1:1$ as a simple approximation of the recursive contact center.) Once you have the trilinears from the recursive evaluation, which I’ll call $x_2:y_2:z_2$, then you’ll have to convert them back to the coordinate system of the original triangle, which you can do like this:

$$

x_1 = b_2c_2(c_2y_2 + b_2z_2) \quad:\quad

y_1 = c_2a_2(c_2x_2 + a_2z_2) \quad:\quad

z_1 = b_2a_2(b_2x_2 + a_2y_2) $$

Note that if you perform the computations as above, without divisions, the numbers will soon become *huge*. So if you are working with machine floating point numbers, please normalize your homogeneous coordinates from time to time to avoid overflow. This holds for both the edge lengths and the center point.

This is the formula I used in my own computations, and the desired closed formulation would have to be a fixed point of this recursion. Can anyone find a closed formula matching these requirements?

I’ve written some code to compute this triangle center recursively. A student of mine has also translated most of the encyclopedia of triangle centers into executable code. Doing numeric comparisons for a number of random test triangles, I found no close match.

Numerical evidence suggests that it is. Using the triangle with $a=3,b=5,c=7$, I found trilinears $x:y:z$ satisfying $x/z\approx0.29$. Computing that ratio with *a lot* of precision, I found the value to be approximately

```
0.2901425378774023890890847140153204477665819564249629444040395855525851008078622929493468778957137855311070059061997405582658742407042711392158802187935824041603274680962280686259785454943671671340344683208740159441593450479195836145848674869891281275170662378002147142102017923201053181742640888973593035930336046593875689080581428868184115011892392670522423326005906120097513794548786408520913246747932950119453633406514789588374020053829465345912485516927802275899268681603244655541244093635981342417072425618668884097077111520316440358023414732996773535552877904580448766004767522914795269251575980875944444298532923349606436325963868830045845792394939425040883784380914138721011813781448984550854693939702384602797877302033485368016858797738633992505779934227491761232288232711291697571546352624223950935770199088671340256779034197468547572786516526349833053447668911434195416115145270146443449468483617871798619452339805142783057617788544823497855279617123233893574568822481880757411765168300032087298065287218174310288633414363685896591728766347742689537543162123174783363020300184643826217872037387389139708483229221139002304353795457049844703837202929308925114228807013382473385921620332202357199653126532987639325469716281576
```

I believe all of these digits to be reliable, since they are backed up by two more computation, each at twice the number of bits and twice the recursion depth as the one before. The two verifying computations agreed with one another in approximately twice as many digits as I gave above, so the ones above really should be stable under increased precision or depth.

Approximating that number using PARI’s `algdep`

function, and using about half the digits as input, will yield a polynomial (tested up to degree 64) which explains these digits nicely, but completely fails to reproduce the remaining digits. So the number appears not to be algebraic.

If someone has a different approach to test whether a number given by a truncated decimal representation is likely algebraic, feel free to feed my number above to your tools and report your findings in a comment or edit.

- Non-Examples for Krull-Schmidt-Azumaya
- Lipschitz Continuous $\Rightarrow$ Uniformly Continuous
- Solving for a variable that's an exponent
- Rotating one 3d-vector to another
- How come $32.5 = 31.5$?
- The measurability of convex sets
- How many positive numbers need to be added together to ensure that the sum is infinite?
- Would the answer of the square root of a square root be positive or negative?
- Is $\mathbb{Q}/\mathbb{Z}$ isomorphic to $\mathbb{Q}$?
- Verification of extension result for Lipschitz functions
- Is the derivative of a big-O class the same as the big-O class of the derivative?
- Exercise from Serre's “Trees” – prove that a given group is trivial
- Primitive of holomorphic Function $\frac{1}{z}$ on an Annulus.
- The Digits of Pi and e
- Exactness of sequences of modules is a local property, isn't it?