Details
Given a triangle A1A2A3, the specified contact point within the segment of A2A3 (opposite to A1) is A2+λ1·(A3-A2) with 0<λ1<1. The same rule applies for λ2 and λ3.
For numerical stability, the accepted range of the affine parameters is 0.02<=λi<=0.98 for i=1,2,3.
The function returns an
Association for each exparabola.
Each exparabola contains the following entries:
| "ImplicitEquation" | The implicit equation for the parabola in terms of x and y |
| "ParametricEquation" | The parametric equation for the parabola in terms of t |
| "Focus" | The focus point of the contact parabola |
| "Vertex" | The vertex point of the contact parabola |
| "Directrix" | The directrix expressed as an InfiniteLine object |
| "ContactPoints" | The three contact points on the parabola |
The foci of these contact parabolas are on the circumcircle of the reference triangle. This is the result of the geometric property of
Simson line.
The directrixes of these contact parabolas are through the
orthocenter of the reference triangle.
A surprisingly elegant fact is that the parabolas determined by the foci and directrix above always tangent to the three sides of the reference triangle: one contact point is on one side and the other two are on the extension line of the other two sides.
Given a triangle A1A2A3, the returned parabolas are ordered such that the parabola with the internal contact point on the opposite side of A1 comes first, that of A2 comes the second and that of A3 comes the last.
ResourceFunction["Exparabolas"][{
p1,
p2,
p3}, …] is equivalent to ResourceFunction["Exparabolas"][
Triangle[{
p1,
p2,
p3}], …].