1 Introduction

Maximal Angle Flow on the Shape Sphere of Triangles

Edward Anderson

There has been recent work using Shape Theory to answer the longstanding and conceptually interesting problem of what is the probability that a triangle is obtuse. This is resolved by three kissing cap-circles of rightness being realized on the shape sphere; integrating up the interiors of these caps readily yields the answer to be 3/4. We now generalize this approach by viewing rightness as a particular value of maximal angle, and then covering the shape sphere with the maximal angle flow. Therein, we discover that the kissing cap-circles of rightness constitute a separatrix. The two qualitatively different regimes of behaviour thus separated both moreover carry distinct analytic pathologies: cusps versus excluded limit points. The equilateral triangles are centres in this flow, whereas the kissing points themselves – binary collision shapes – are more interesting and elaborate critical points. The other curves’ formulae and associated area integrals are more complicated, and yet remain evaluable. As a particular example, we evaluate the probability that a triangle is Fermat-acute, meaning that its Fermat point is nontrivially located; the critical maximal angle in this case is 120 degrees.

PACS: 04.20.Cv, Physics keywords: configuration spaces, relational spaces, shape spaces, 3-body problem.

Mathematics keywords: Applied Differential Geometry, Applied Topology, Shape Theory, Geometrical Probability, Shape Statistics.

Dr.E.Anderson.Maths.Physics@protonmail.com

1 Introduction

As one of his pillow problems, Charles Lutwidge Dodgson [3] alias Lewis Carroll asked what is the probability that a triangle is obtuse,

(1)

This turned out to be a tough problem – ambiguous and, moreover, for conceptually interesting reasons – to which many different answers have been given over the years [8, 10]. It has been recently established that [22, 30, 31]

(2)

according to Shape Theory in the sense of David Kendall, by use in particular of the shape sphere of triangles [5, 6, 12, 30] that he discovered.111See also e.g. [11, 16, 18, 20, 25, 26, 27, 28, 29, 30, 37] for more about Shape Theory. The underlying interpretation here is that the probability distribution of triangles is the uniform distribution on their configuration space, i.e. Kendall’s shape sphere (as set up in Secs 2 and 3). Right triangles moreover trace out three kissing cap-circles thereupon – one for each labelling of the hypotenuse – (Sec 4) giving a simple cap area integral from which (2) follows (Sec 5).

This shape-theoretic answer was first given by Edelman and Strang [22], with a simplified proof in terms of brief and elementary mathematics given in [30, 31]. This is a wide-ranging prototype of mapping flat geometry problems directly realized in a space to shape space, where differential-geometric tools are readily available to solve the problem and then finally re-interpret it in the original ‘shape-in-space’ terms. Indeed, [31] already posed and solved a number of variants of Lewis Carroll’s pillow problem. Firstly, what is Prob(Isosceles is obtuse). Secondly, following on from introducing notions of tall and flat triangles so as to investigate the quartet of tall acute, tall obtuse, flat acute and flat obtuse triangles, whether isosceles or general. The current paper generalizes the scope of pillow problems in a different way, as follows.

We first reconceive of rightness as a critical value of the maximal angle in a triangle,

(3)

This is a commonly encountered critical value due to qualitative differences between obtuse triangles

(4)

and acute triangles

(5)

many simplifications occur for right angles as well.222For instance, the cosine rule collapses to Pythagoras’ Theoerem, and the chord subtending the angle on a circle is now the diameter. It it not however the only critical value of as regards qualitative change in geometrical properties.

Let us first recollect that the allowed range of is

(6)

This follows from the angle sum of a triangle being . The strict case of the first inequality is of course the equilateral triangle, whereas the second returns a degenerate case (excluded in some applications): the collinear triangles without coincident vertices .

So for instance,

(7)

is a meaningful critical value as regards Fermat’s problem (Fig 1.a)333Whereas Fermat posed this problem, it was Torricelli who solved it. So this point is sometimes known as the Torricelli or Fermat–Torricelli point. See [2] for these 17th century origins of this problem. of which point minimizes the total distance from itself to a triangle’s three vertices (Fig 1). This is a critical value for Fermat’s problem because for

(8)

the Fermat point is just at the obtuse angle’s vertex (Fig 1.b), whereas for

(9)

the Fermat point is a nontrivial point in the interior of the triangle (Fig 1.c). These are clearly qualitatively different regimes. On these grounds, we make the following definitions.

Figure 1: a) Fermat’s problem is, given a triangle ABC, to find the position of the point P (in blue) such that the sum of the lengths (in green) from it to the three vertices is minimized. b) This is solved by the Fermat point (in red), which is moreover just at the obtuse vertex for triangles with , which we term Fermat-obtuse. On the other hand, the Fermat point has a nontrivial position for triangles with . In this case, is such that the vertices are spread out at from each other relative to , as indicated by the dashed lines. Moreover, for , the position of reduces to just that of the centre of symmetry of the equilateral triangle.

Definition 1 A triangle is

(10)
(11)
(12)

Definition 2 A triangle is

(13)
(14)
(15)

This case covers both Fermat-criticality and right-criticality, while being an open invitation for others to point to values of that are critical in further geometrical contexts, by which to extend the current paper’s range of examples.

In this manner, the following further pillow problems can be set. Firstly,

(16)

is the most direct counterpart of the original pillow problem, though, since it is its complement being the geometrically nontrivial case, one might primarily pose this instead:

(17)

Secondly,

(18)

In the current paper, we provide a solution for this problem by finding the maximal angle flow on the shape sphere (Sec 7). This extends the kissing caps of right-maximality to a congruence of curves covering all other maximal angles. We show that for rightness the calculation exceptionally collapses, yet the other curves remain calculable, as are the corresponding enclosed areas evaluating (18), given in Sec 8 for the particular Fermat example.

We show moreover in Sec 7 that the kissing cap-circles of rightness plays the furtherly critical role of a separatrix in this maximal angle flow. The two qualitatively different regimes of behaviour this separates both moreover carry distinct analytic pathologies: cusps versus excluded limit points. The flow also contains three copies of an unusual type of critical point at the kissing points themselves. Thereby, this flow is likely to be of interest in Differential Geometry and Dynamical Systems, as well as through its meaningfulness for Flat Geometry. We finally comment on further Flat Geometry problems opened up by Kendall’s Shape Theory in the Conclusion (Sec 9).

2 A progression of coordinatizations for the general triangle

Figure 2: Geometrical and mechanical notation for the general triangle.

Let us first rephrase Fig 2.a)-c)’s standard geometrical description of the general triangle in terms of Fig 2.f)’s position coordinates for the triangle’s vertices – now viewed as particles – relative to an absolute origin 0, axes A and scale S.

Let us next pass to relative Lagrangian coordinates (Fig 2.e), consisting of particle separation vectors

(19)

Using these amounts to discarding the absolute origin 0. Their magnitudes return the side-lengths and the angles between these vectots return Fig 2.c)’s angles.

Moreover, not all of the relative Lagrange coordinates are independent. This can be circumvented by picking a basis of two of them. This however leaves the inertia quadric in non-diagonal form.

Diagonalizing the inertia quadric leads us on to relative Jacobi coordinates [7] (Fig 2.h). These are a more general notion of particle cluster separation vectors, i.e. particle subsystem centre of mass separations. They include the relative Lagrange coordinates as a special subcase: the one for which the particle subsystems at both ends consist of one particle each, by viewing this particle as the location of its own centre of mass. In particular, in the case of a triangular configuration,

(20)

or cycles thereof for the other two choices of 2-particle cluster. These have associated cluster masses (conceptually reduced masses)

(21)

respectively. For later use, note furthermore that

(22)

One can additionally pass to mass-weighted relative Jacobi coordinates (Fig 2.j)

(23)

These leave the inertia quadric’s matrix as the identity, and furthemore turn out to be shape-theoretically convenient to work with.

Passing to mass-weighted relative Jacobi coordinates does not moreover do anything as regards removing the absolute axes A or scale S, since these remain vectorial, and thus made reference to absolute directions and absolute magnitudes. Reference to absolute axes A is moreover removed by restricting attention [Fig 2.i) and k)] to the following triple.

i) The relative Jacobi magnitudes (a = 1, 2); comparing Fig 2.a) and d) with the mass-unweighted version of Fig 2.h), these are a base side and the corresponding median respectively.

ii) The relative Jacobi angle between the ,

(24)

This angle can be thought of more vividly as a ‘Swiss-army-knife’ relative angle [18]. Note that the above demonstrates this angle to be unaltered by mass-weighting, by which it is identical to the geometrical side-to-median angle of Fig 2.e)

Together, constitute relational scale-and-shape data for the triangle [30].

Finally, reference to absolute scale S is removed by [18] continuing to consider the relative Jacobi angle, but now just alongside the ratio of Jacobi magnitudes,

(25)

In [30] we also ascertained that this provides a further similarity condition for triangles and, accordingly, serves as data from which the ‘primary’ triangle’s features of Fig 1.a) modulo scale – side-to-side relative angles and side-length ratios – can be abstracted.

3 Kendall’s shape sphere of triangles

Figure 3: a) Lattice of 5 subgroups of the similarity group , with b) the corresponding lattice of configuration space quotients, specializing to dimension 1 in c), 2 in d) and furthermore to the 3 particles in 2- of triangleland in e).

I) At the level of configuration spaces, the space of the for arbitrary particle number and dimension is straightforwardly

(26)

Let us next follow through what happens to this as one removes the absolute origin 0, axes A and scale S [5, 12, 18].

II) Quotienting out by – the -dimensional translations – we arrive at the configuration space of independent , or : relative space

(27)

where we have also made use of .

III) It is next useful to consider quotienting out the dilation group to render absolute scale S irrelevant. This yields Kendall’s preshape space [5, 12]

(28)

the ()-sphere, which is the configuration space of ratios of independent components of , or . This moreover carries the standard hyperspherical metric.

IV) Quotienting out as well by – the -dimensional rotations – and so overall by : the -dimensional similarity group of translations, rotations and dilations. we arrive at Kendall’s shape space [5, 6, 12] is

(29)

Subsequent analysis picks up and dependence. For , there are not continuous rotations to remove, so

(30)

For ,

(31)

and [5]

(32)

which is most readily arrived at by the complex Hopf map generalization of the Hopf map [17]. Moreover, shape space carries the natural Fubini–Study metric [5, 12]. This result more than suffices for the current paper; indeed, for triangleland, the Hopf map

(33)

suffices, and the Fubini–Study metric simplifies in plane-polar coordinates to [12, 18]

(34)

This can in turn be recognized as the standard spherical metric in stereographic coordinates. Thus, in the Shape Theory of triangles, the ratio of Jacobi magnitudes of eq. (25) plays the geometric role of stereographic radius of the shape sphere.

The Swiss-army-knife relative angle of the shape-in-space thus plays the role of polar angle on the shape sphere.

Finally, the venerable substitution

(35)

serves to convert the stereographic radius to the standard azimuthal coordinate (about the U-axis), casting the shape sphere metric into the standard spherical metric form

(36)

See Fig 4 for where some of the most qualitatively distinctive triangle shapes-in-space are realized in the triangleland shape space.

Figure 4: a) The triangleland shape sphere [6, 15, 18, 27, 30]. Equilateral triangles E are at its poles, whereas collinear configurations C form its equator. There are 3 bimeridians of isoscelesness I corresponding to 3 labelling choices for the vertices. For later use in this paper, I make further distinction between the tall isosceles triangles and the flat isosceles triangles . gives 3 binary collisions B [13], which are moreover topologically significant, and 3 uniform collinear shapes U. Each of these triples lies on the equator, with each member at , and the two triples at to each other.

Note that the spherical coordinates we have found have U and B as their North and South poles. There are moreover 3 clustering choices of such axes, realized at angles to each other in the plane of collinearity. For some purposes, one would prefer to use the more distinguished and cluster-independent axis to define new spherical polar coordinates , [18, 30]. Working in terms of these is however more involved in terms of moving back and forth between shapes in space and points, curves and regions in the shape sphere. Finally note that we only need one set of spherical polars to establish the shapes-in-space to points in shape space correspondence.

V) Finally, quotienting out instead by – the Euclidean group of translations and rotations – we arrive at the topological and geometrical form of the relational space [18, 28]

(37)

A general result for this is that

(38)

for C the topological and metric coning construct. In particular, for the 2-, triangleland,

(39)

topologically (albeit it is not metrically flat, see e.g. [18]).

4 The kissing cap-circles of rightness

We now address the question of where in the shape sphere the right triangles are located.

Theorem 1 [22, 30, 31] The right triangles form three equal cap-spheres, each with azimuthal coordinate about the corresponding U point. These kiss at each B point.

Proof Begin with the very well-known Theorem of Euclidean Geometry that the angle subtended by a diameter of a circle is right. In the case of a right triangle’s circumcircle (Fig 5.a), the hypotenuse is a diameter and its corresponding median is a radius. Thus, hypotenuse : median = diameter : radius = 2 : 1. So, in relative Jacobi magnitudes as per the identification under (20),

(40)
Figure 5: a) Right-angled triangles’ hypotenuses and their corresponding medians are in 2 : 1 ratio. b) Each labelling of right triangles correspond to a cap-circle of constant azimuthal value .

Next insert mass-weighting to obtain

(41)

Here we have used (25) in the first equality, the magnitudes of (23) in the second, (22) and (40) in the third, and an elementary cancellation in the fourth.

Furthermore, in spherical polar coordinates,

(42)

Thus, inverting,

(43)

This is sketched in Fig 5.b) for one cluster choice’s cap-circle of rightness. Repeat for each of the three clusters to obtain three cap-circles. Each is centred about the corresponding U-point pole, and kisses the other two at the two B points which are not antipodal to that U-point: kissing cap-circles of rightness as viewed in Fig 6 from a variety of directions.

The regions outside of these caps are acute, seen e.g. from the observation that the equilateral triangles E residing at the poles are outside of these caps and are acute, and then applying a continuity argument. Conversely, the interiors of the caps are the obtuse triangles, so we term the caps themselves the kissing caps of obtuseness. There being three caps is commeasurate with there being three ways a labelled triangle can be obtuse.

Figure 6: Kissing cap-circles of rightness, bounding kissing caps of obtuseness, as viwed from various directions. H is the collinear shape ‘halfway’ between B and U [30]; it lies in the direction perpendicular to the UB axis.

5 Shape-theoretic solution of Lewis Carroll’s pillow problem

Corollary 1 i)

(44)

ii)

(45)

Proof Each cap of obtuseness contributes an area (or more basically, surface of revolution) integral444Archimedes gave an even more basic derivation for the area of a spherical cap, by which Calculus could be avoided altogether in this derivation.

(46)

Thus, between them, the three caps of obtuseness contribute an area of . On the other hand, the area of the whole 2-sphere is , so

(47)

Finally, complementarily

(48)

Note that this answer is in the context of interpreting the question’s probability distribution to be the uniform one on the corresponding shape space, as equipped with the standard spherical metric that Kendall [5, 6, 12] showed to be natural thereupon. The uniqueness of this metric is furtherly intuitively obvious from its being induced as a quotient of a simpler structure (position space or relative space: flat spaces), or from its arising correspondingly by reduction of the corresponding mechanical actions.

Also note that 3/4 is in fact one [10] of the more common answers to Lewis Carroll’s pillow problem, now obtained moreover on shape-theoretic premises. Edelman and Strang [22] recently obtained this result using Kendall’s Shape Theory, while [31] first gave a simplified proof along the lines provided above. In conjunction with various elementary derivations of Kendall’s shape sphere [31, 38], this reduces the shape-theoretic answer to Lewis Carroll’s pillow problem to just elementary algebra and (pre)calculus. This renders it open, both to anybody studying STEM subjects at University (or even High School in many countries) and also to considerable generalization to a whole class of geometrical problems, of which [31], the current paper and [37] provide the first few.

On the one hand, see also [8] for various other answers’ values for Prob(obtuse).

On the other hand, [10] moreover asked for a general principle behind the methods which share the answer 3/4. Shape Theory as per above surely provides a principle, though whether all known methods which yield 3/4 can be shown to follow from this shape-theoretic principle is left as a good topic for a further paper.

6 The maximum angle flow

The current paper’s first new result is that the maximal angle curves on the shape sphere are underlied by the following constant-angle curves.

Theorem 2 The curves of constant angle

(49)

– the angle defined in Fig 2.a) – are given by

(50)

for

(51)

Proof The rescaling

(52)

is useful [30] in solving for triangles in terms of shape space data. In terms of this, [30] establishes with a sequance of basic trigonometric moves that

(53)

We now make the subject of this as follows. Firstly,

(54)

There are then two mutually-exhaustive cases to consider.

Case 1) For , i.e. : right-angled triangles, we have

(55)

Since ’s definition implies non-negativity, this means that

(56)

amounting to a recovery of Sec 4’s result (41).

Case 2) For , i.e. ,

(57)

Then

(58)

Finally substitute this in (57) to obtain the Theorem.

Corollary 2 Introducing the shape sphere’s counterpart of the Legendre variable,

(59)

the further simplification

(60)

is afforded.

Figure 7: a) Constant obtuse-angle triangles in space and d) the corresponding constant-obtuse-angle curves in shape space. b) Right triangles in space and e) the corresponding kissing cap-circles of rightness in shape space, included for comparison. c) Constant acute-angle triangles in space and f) the corresponding constant-acute-angle curves in shape space. The acute angle shaded green is moreover maximal up to and including the isosceles triangles containing a second copy of it; beyond, in the dotted triangle depicted, the blue angle is maximal rather than the green one. This maximality is then reflected in shape space by discarding the part of the constant-angle curve beneath the intersection point, thus leaving a cusped simple curve as per h). The construction used in a), b) and c) is based on the Chords Subtend Equal Angles Theorem of basic Euclidean Geometry. g) and i) provide a side-view of g) and i); this illustrates that clockwise and anticlockwise oriented constant-acute-angle curves ‘kiss’ at B. However, as argued above, this is to be excluded due to its -undefined rather than constant- status as a shape-in-space.

Let us next sketch and interpret these constant- curves, as well as the consequent constant- curves, for which there are three angles that could be maximal.

Remark 1 On the one hand, for obtuse constant-,

(61)

the shapes-in-space are as in Fig 7.a). Each of the three labelling’s version of the constant-angle curve is disjoint (Fig 7.b). Establishing this disjointness includes using the following shapes-in-space argument. While these curves jointly terminate four branches at a time at the binary collisions B, these points are themselves to excluded from the constant-angle curves since angles are undefined there. Moreover, being obtuse constant- always implies being a curve of constant-, as the constant angle sum of the triangle leaves no room for any larger angle.

Remark 2 The equator of collinearity is included as a limiting case of maximal angle curve, as the value of that maximal angle tends to its own maximal value, . This limiting case differs from the above description in that just two branches end at each binary collision B. Moreover, since angle-undefinedness continues to apply at B, these need to be excised, leaving one with the equator with three equally spaced-out punctures.

Remark 3 On the other hand, for acute constant-,

(62)

the shapes-in-space are as in Fig 7.f-g). Now each of the three labelling’s version of the constant-angle curve intersects with the other two, due to the existence of isosceles triangles with a second angle (labelled one of the remaining ways or the other). This is also indicated in Fig 7.f-g). Once again, the constant- curves terminate at the binary collisions B, which are to be excluded due to angles being undefined there. For acute constant-, moreover, constant- need not imply constant-, since, once one swings past the isosceles triangles with two angles, an angle other than becomes maximal (Fig 7.e) again). Thus one keeps the cusped curved triangle parts. Namely, one in the Northern alias E or clockwise-oriented hemisphere, depicted in Fig 7.h), and an identical one in the Southern alias or anticlockwise-oriented hemisphere; pieces of both are visible in Fig 7.i)’s side-view.

Remark 4 The above acute- analysis is moreover implicitly for

(63)

This is firstly because

(64)

from combining

(65)

and the angle-sum of a flat triangle,

(66)

Secondly, the saturated case

(67)

furthemore saturates the first inequality in (65), forcing equilaterality. This gives a separate case, since now all labels are equivalent, and one has collapsed down from an curve to two isolated points: E and .

Remark 5 There is moreover a sense in which B belongs to the kissing caps of rightness but not to any of the other curves. Namely, that B is the limit of the triangle in which two different right angles are realized, by which it is justified in lying on the intersection of two distinct curves of rightness. On the other hand, there are no triangles containing two equal obtuse angles. It is in this way that we justify our description of kissing cap-circles of rightness while, on the other hand, taking all obtuse-or-collinear to exclude their B limit points.

Remark 6 Remark 2’s study implies that the cusp points correspond to flat isosceles triangles ; since these form three meridians, the cusp points moreover align from contour to contour .

Remark 7 It is also straightforward to establish that the line of tall isosceles triangles is the sole location of nontrivial stationary points of the maximal angle flow. Since these also form three meridians, the stationary points also align from contour to contour, now . By ‘nontrivial stationary points’, mean that we exclude everything being stationary for the collinear configurations’ equator.

Figure 8: The maximal angle flow over the shape sphere of triangles as seen from various directions. The kissing cap-circles of rightness separatrix is indicated in purple, with the two qualitatively different types of region separated by this shaded in red and yellow. The dotted lines indicate alignments of cusps and of stationary points.

Remark 8 Remarks 1 to 5 establish that the kissing cap-circles of rightness constitute a separatrix for the maximal angle flow. I.e. a curve bounding between regions of qualitatively different behaviour. Moreover this separatrix in question is clearly not a simple curve, possessing, rather, three self-intersections at the B-points.

Remark 9 The qualitatively different behaviours separated in the current problem are as follows.

a) The two acute regions, corresponding to the maximal angles

(68)

for which the maximal angle flow is cusped.

b) The three obtuse regions, corresponding to the maximal angles

(69)

for which limit points of almost all maximal-angle curves are not part of those curves, the exception being the bounding case of the equator of collinearity.

Remark 10 So we have found a geometrically-meaningful example of a separatrix separating between two different kinds of analytic pathology of curves: between curves with nondifferentiable cusps and curves whose limiting points are not defined as part of the curve. This example is likely to be of interest in both Differential Geometry and Dynamical Systems, as well as in Flat Geometry due to its correspondence to interesting new elementarily phraseable (while far from necessarily elementarily solvable) propositions about triangles.

Remark 11 The central point of each acute region – the equilateral triangles of each orientation: E and – is qualitatively distinct. These form orbits by themselves , whereas all other orbits are (collections of) curves. As critical points, the equilateral triangles E and have moreover the status of centres in the maximal-angle flow. They are moreover nonlinear, indeed non-differentiable, centres due to their flowlines containing three cusps each.

Remark 12 On the other hand, the B points: binary collisions at which kissing occurs, are considerably more complicated in their further aspect as critical points in the maximal angle flow, as described in Fig 9.

Figure 9: Detail of B as a critical point. Note it has an attracting node wedge subregion (red) and a repelling node wedge subregion (blue), with ‘cusped saddle’ wedge subregions (white) between the two.

Remark 13 All in all, the maximal angle flow has five critical points: three B’s (one per clustering choice) and two E’s (one per choice of orientation).

Remark 14 Finally, this flow is reflection-symmetric about the equator. It is also symmetric as regards exchanging the B’s. refers here to the permutation group acting on the vertex labels, whereas is the dihaedral group of symmetries of the bird’s-eye-view triangle in shape space formed by the cap-circles of rightness. Thus the overall symmetry group is , corresponding identically to the symmetry group of the shape sphere itself.

7 Probability that a triangle has nontrivially-located Fermat point

Corollary 3 For each cluster i)

(70)

Proof Using a multiplicative factor of 2 for the upper and lower hemispheres as related by the reflection symmetry about the equator,

(71)

where is given by (50) and consequently is given by (60).

Remark 15 The underlying indefinite integral here is in fact analytically tractable [34], in terms of complete elliptic integrals of the first, second and third kind [4]. The area calculation itself moreover involves a definite integral which is numerically tractable [34].

Remark 16 We give the following as a particularly interesting concrete example.

Corollary 4 for the Fermat value ,

(72)

This can moreover be evaluated using Maple [34].

Remark 17 Furthermore, once again normalizing by the total area of the sphere,

(73)

Thus

(74)

Complementarily,

(75)

So

(76)

It is this last quantity which is of particular interest due to its correspondence to the triangles whose Fermat points are nontrivially positioned.

8 Conclusion

Lewis Carroll’s longstanding and conceptually interesting pillow problem of what is the probability that a triangle is obtuse has recently been solved [22, 30, 31] using Kendall’s Shape Theory [5, 6, 12]. In the current paper, we have presented a substantial extension of this problem and its shape-theoretic solution; [31, 37] give distinct extensions, indicating this to be a fertile source of new research in Geometry. The current paper’s extension follows from viewing right-angled triangles as triangles whose maximal angle is right, and then passing to consider all the other possible values of maximal angle, . This gives the maximal angle flow over Kendall’s shape sphere.

We find that the three kissing cap-circles of rightness – that so readily provide the shape-theoretic resolution of Lewis Carroll’s pillow problem of the probability that a triangle is obtuse – furthermore play the role of separatrix in the maximal angle flow. The extent to which right angles’ significance in the geometry for triangles is underlied by this triangleland shape space separatrix result remains to be determined. The qualitatively different behaviour in each of the regions separated thus is moreover very interesting.

On the one hand, in the acute regions, the flowlines have three cusps.

On the other hand, in the obtuse regions, the flowlines have limit points which do not belong to that flowline.

Thus the kissing cap-circles of rightness are a separatrix between flow regions which each exhibit a distinct analytic pathology.

In the maximal angle flow, the equilateral triangle points E, have moreover the status of centres (nonlinear ones with 3 cusps on the circulating curves). In contrast, the B points – binary collision shapes and the kissing points of the cap-circles of rightness – are more complicated critical points, as per Fig 9.

We apply our new knowledge of the maximal angle flow over the shape sphere to find the probability that a triangle has nontrivially-located Fermat point. This corresponds to the critical angle . This is critical in the sense that if the angle is smaller than this (‘Fermat acute’), the Fermat point lies in the interior of the triangle, but if it is larger (‘Fermat obtuse’), the Fermat point just lies on the obtuse vertex. We obtain .

Let us end by pointing to various extensions of this work.

Extension 1) Our flow and area-ratio probability method can be applied to find further maximal critical angle dependent Flat Geometry triangles’ properties’ probabilities of occurring in the shape-theoretic sense of ‘random triangles’.

Extension 2) The current paper’s maximal angle flow over the shape sphere’s above-described features likely render the current paper of interest as an example in Differential Geometry and Dynamical Systems.

Extension 3) [22, 30, 31] and the current paper’s use of Shape Theory to answer questions about random triangles moreover extends to its use in answering questions about random quadrilaterals and polygons using the Differential Geometry of the -a-gonland [12, 19, 37]. This program uses Differential Geometry on Kendall’s shape spaces to pose and/or solve probabilistic questions involving polygons by considering these to live on Kendall’s natural shape space with uniform measure thereupon. Fermat’s own problem has moreover a large number of generalizations as well – geometric means – which overlap well with the theory of polygons.

Extension 4) The current paper’s notion of similarity Shape Theorey moreover itself extends to a wide variety of further notions of shape and shape space, such as affine, projective, conformal, Möbius… [16, 23, 27, 25, 26]. Many of Extension 3)’s considerations recur in this wider arena.

Acknowledgments I thank Chris Isham and Don Page for previous discussions, and Reza Tavakol, Malcolm MacCallum, Enrique Alvarez and Jeremy Butterfield for support with my career.

References

  • [1]
  • [2] See R.A. Johnson, Modern Geometry: An Elementary Treatise on the Geometry of the Triangle and the Circle (Houghton Mifflin, Boston 1929) pp. 221-222 for discussion of the original 17th Century contributions of Fermat and Torricelli in this regard.
  • [3] C.L. Dodgson (alias Lewis Carroll), Curiosa Mathematica: Pillow-Problems, thought out during Sleepless Nights (Macmillan, London 1893).
  • [4] M. Abramowitz and I.A. Stegun, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables (Dover, New York 1972).
  • [5] D.G. Kendall, “Shape Manifolds, Procrustean Metrics and Complex Projective Spaces", Bull. Lond. Math. Soc. 16 81 (1984).
  • [6] D.G. Kendall, “A Survey of the Statistical Theory of Shape", Statistical Science 4 87 (1989).
  • [7] C. Marchal, Celestial Mechanics (Elsevier, Tokyo 1990).
  • [8] R. Guy, “There Are Three Times as Many Obtuse-Angled Triangles as There Are Acute-Angled Ones", Mathematics Magazine, 66 175 (1993).
  • [9] G. Wesolowsky, The Weber problem: History and Perspective, Location Science 1 5 (1993).
  • [10] S. Portnoy, “A Lewis Carroll Pillow Problem: Probability of an Obtuse Triangle", Statist. Sci. 9 279 (1994).
  • [11] C.G.S. Small, The Statistical Theory of Shape (Springer, New York, 1996).
  • [12] D.G. Kendall, D. Barden, T.K. Carne and H. Le, Shape and Shape Theory (Wiley, Chichester 1999).
  • [13] R. Montgomery, “Fitting Hyperbolic Pants to a 3-Body Problem", Ergod. Th. Dynam. Sys. 25 921 (2005), math/0405014.
  • [14] E. Anderson, “Foundations of Relational Particle Dynamics", Class. Quant. Grav. 25 025003 (2008), arXiv:0706.3934.
  • [15] E. Anderson, “Shape Space Methods for Quantum Cosmological Triangleland", Gen. Rel. Grav. 43 1529 (2011), arXiv:0909.2439.
  • [16] D. Groisser, and H.D. Tagare, “On the Topology and Geometry of Spaces of Affine Shapes", Journal of Mathematical Imaging and Vision 34 222 (2009).
  • [17] T. Frankel, The Geometry of Physics: An Introduction (Cambridge University Press, Cambridge 2011).
  • [18] E. Anderson, “The Problem of Time and Quantum Cosmology in the Relational Particle Mechanics Arena", arXiv:1111.1472.
  • [19] E. Anderson, “Relational Quadrilateralland. I. The Classical Theory", Int. J. Mod. Phys. D23 1450014 (2014), arXiv:1202.4186.
  • [20] A. Bhattacharya and R. Bhattacharya, Nonparametric Statistics on Manifolds with Applications to Shape Spaces (Cambridge University Press, Cambridge 2012).
  • [21] E. Anderson and S.A.R. Kneller, “Relational Quadrilateralland. II. The Quantum Theory", Int. J. Mod. Phys. D23 1450052 (2014), arXiv:1303.5645.
  • [22] A. Edelman and G. Strang, “Random Triangle Theory with Geometry and Applications", Foundations of Computational Mathematics (2015), arXiv:1501.03053.
  • [23] E. Anderson, “Six New Mechanics corresponding to further Shape Theories", Int. J. Mod. Phys. D 25 1650044 (2016), arXiv:1505.00488.
  • [24] I.L. Dryden, K.V. Mardia, Statistical Shape Analysis: With Applications in R, 2nd Edition (Wiley, Chichester 2016).
  • [25] V. Patrangenaru and L. Ellingson “Nonparametric Statistics on Manifolds and their Applications to Object Data Analysis" (Taylor and Francis, Boca Raton, Florida 2016).
  • [26] F. Kelma, J.T. Kent and T. Hotz, “On the Topology of Projective Shape Spaces", arXiv:1602.04330.
  • [27] E. Anderson, Problem of Time. Quantum Mechanics versus General Relativity, (Springer International 2017), Fundam.Theor.Phys. 190 (2017) pp.-; free access to its extensive Appendices can be found at https://link.springer.com/content/pdf/bbm3A978-3-319-58848-32F1.pdf .
  • [28] E. Anderson, “The Smallest Shape Spaces. I. Shape Theory Posed, with Example of 3 Points on the Line", arXiv:1711.10054.
  • [29] E. Anderson, “The Smallest Shape Spaces. II. 4 Points on a Line Suffices for a Complex Background-Independent Theory of Inhomogeneity", arXiv:1711.10073.
  • [30] E. Anderson, “The Smallest Shape Spaces. III. Triangles in the Plane and in 3-", arXiv:1711.10115.
  • [31] E. Anderson, “Alice in Triangleland: Lewis Carroll’s Pillow Problem and Variants Solved on Shape Space of Triangles", arXiv:1711.11492.
  • [32] E. Anderson, “Two New Perspectives on Heron’s Formula", arXiv:1712.01441.
  • [33] E. Anderson, “Shape (In)dependent Inequalities for Triangleland’s Jacobi and Democratic-Linear Ellipticity Quantitities", arXiv:1712.04090.
  • [34] This was calculated using Maple 17.
  • [35] E. Anderson, “Monopoles of Fifteen Types in 3-Body Problems", forthcoming 2017.
  • [36] E. Anderson, “Geometrically Significant Shape Quantities for Triangles Extremized over the Triangleland Shape Sphere", forthcoming 2018.
  • [37] E. Anderson, “The Smallest Shape Spaces. IV. Quadrilaterals in the Plane", forthcoming 2018.
  • [38] E. Anderson, forthcoming.
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
359499
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description