The Inscribed Angle Theorem for the Hyperbola Jack Williams
Total Page:16
File Type:pdf, Size:1020Kb
The Inscribed Angle Theorem for the Hyperbola Jack Williams University of Cambridge [email protected] April 22, 2021 Abstract The inscribed angle theorem, a famous result about the angle subtended by a chord within a circle, is well known and commonly taught in school curricula. In this paper, we present a generalisation of this result (and other related circle theorems) to the rectangular hyperbola. The notion of angle is replaced by pseudo-angle, defined via the Minkowski inner product. Indeed, in Minkowski space, the unit hyperbola is the set of points a unit metric distance from the origin, analogous to the Euclidean unit circle. While this is a result of pure geometrical interest, the connection to Minkowski space allows an interpretation in terms of special relativity where, in the limit c ! ¥, it leads to a familiar result from non-relativistic dynamics. This non-relativistic result can be interpreted as an inscribed angle theorem for the parabola, which we show can also be obtained from the Euclidean inscribed angle theorem by taking the limit of a family of ellipses ananlogous to the non-relativistic limit c ! ¥. This simple result could be used as a pedagogical example to consolidate understanding of pseudo-angles in non-Euclidean spaces or to demonstrate the power of analytic continuation. 1 Introduction cles. The inscribed angle theorem implies that the proper time between these two events de- pends only on the relative velocity of the two By replacing t with it, many results and tech- particles and not on the relative velocity between niques familiar in the Euclidean setting can be the particles and the observer. This is the rela- applied in physically meaningful Lorentzian set- tivistic analogue of a similar fact familiar from tings [1]. Making use of these Wick rotations, non-relativistic kinematics and, of course, the non- we obtain a generalisation of the inscribed angle relativistic result can be obtained from the rela- theorem to rectangular hyperbolae in Minkowski tivistic one by taking the limit c ! ¥. space. The hyperbola itself is analogous to a Eu- clidean circle and is related to it by a Wick rotation Since the trajectory of a non-relativistic observer of the plane coordinates. The Euclidean angle is moving with constant acceleration is a parabola, replaced by the Minkowski pseudo-angle and the this limit leads to an inscribed angle theorem proof of the hyperbolic inscribed angle theorem for the parabola. Since the parabola is the sin- arXiv:2104.10518v1 [math.HO] 19 Apr 2021 is similar to a proof of the Euclidean result, but gular conic between families of hyperbolae and with trigonometric functions replaced by hyper- ellipses, it is natural that the inscribed angle theo- bolic trigonometric functions. rem should arise by taking this limit of a family While this is a result of pure geometrical inter- of hyperbolae. We show that the same result can est, the connection to Minkowski space allows an also be obtained from the Euclidean inscribed interpretation in terms of special relativity. Ob- angle theorem by taking a limit of a family of serving that hyperbolae in Minkowski space occur ellipses. naturally as the trajectory of observers moving This result is accessible to early undergraduates with constant proper acceleration, we provide and could be presented as a pedagogical example a physical interpretation of the inscribed angle to build intuition around the analogy between theorem in terms of an observer who ejects two Euclidean angles and rapidity in special relativity, particles while moving along this trajectory. The or Euclidean rotations and Lorentz transforma- observer subsequently collides with both parti- tions. It also demonstrates the power of analytic 1 The Inscribed Angle Theorem for the Hyperbola 2 continuation. R1,1 2( ) = (x·y) vectors in via cosh q x2y2 whenever x and y are either both spacelike or both timelike [3]. 2 Inscribed Angle Theorem A similar construction exists for the pseudo-angle between a spacelike and a timelike vector. on the Unit Hyperbola In the case that x and y are both timelike, this pseudo-angle is, in fact, the relative rapidity of 2.1 Inscribed angle theorem in 2D Eu- observers A and B moving with velocities x and clidean space y. Indeed, if B moves with velocity vector parallel to (1, v) in the rest frame of A, then In 2D Euclidean space, the inscribed angle theo- rem states that given any three points P0, P1, P2 on the unit circle, the lines P P and P P inter- (x · y)2 1 0 1 0 2 cosh2(q) = = sect at an acute angle independent of the position x2y2 1 − v2 of P0 [2]. Further, if the points are represented =) v = ± tanh(q). (4) as Pi = (cos(qi), sin(qi)), where 0 ≤ qi < 2p, then the acute angle between P0P1 and P0P2 is 1 1 2 jq1 − q2j (or p − 2 jq1 − q2j, whichever is acute). This follows because the gradients of the chords 2.3 Inscribed angle theorem in 2D P P are 0 i Minkowski space q +q q −q 2 cos 0 i sin 0 i sin q0 − sin qi 2 2 = q +q q −q In 2D Minkowski space, the analogue of the unit cos q0 − cos qi 0 i 0 i 2 sin 2 sin 2 2 2 circle is the hyperbola −x0 + x1 = 1, consisting of q + q points a unit Minkowski distance from the origin. = cot 0 i . (1) 2 Let P0, P1, P2 be any three points on the branch of this hyperbola with x1 > 0 with coordinates Given that the angle between them satisfies Pi = (sinh(qi), cosh(qi)). Observe that the chords P P must be timelike. (x · y)2 0 i cos2(q) = , (2) x2y2 where x and y are tangent to these chords, we P find 0 q +q q +q 2 1+cot 0 1 cot 0 2 2 2 2 cos (q) = 2 q0+q1 2 q0+q1 1+cot 2 1+cot 2 − 2 q1 q2 P = cos . (3) 1 2 P It follows immediately that q is independent of 2 q0 and depends only the the difference between q1 and q2. 2.2 Pseudo-angles in 2D Minkowski Figure 1: Inscribed angle theorem in Minkowski space space It can be checked directly that the inner product 1,1 In a similar way to the Euclidean case, we find on R given by x · y = −x0y0 + x1y1 satisfies a q0+qi form of the Cauchy-Schwarz inequality: for any that the gradient of the line P0Pi is coth 2 non-null vectors x and y, (x · y)2 ≥ x2y2. Using and hence that the pseudo-angle between these this, we can define the pseudo-angle between two chords is given by 2 The Inscribed Angle Theorem for the Hyperbola q0+q1 q0+q1 coth 2 and tanh 2 respectively. Their q +q q +q 2 tangent vectors are orthogonal since coth 0 1 coth 0 2 −1 2 2 2 cosh (q) = q +q q +q coth2 0 1 −1 coth2 0 1 −1 q0+q1 q0+q1 2 2 x · y = coth 2 tanh 2 − 1 = 0. (7) q − q = cosh2 1 2 . (5) 2 2.5 Relationship between the inscribed It follows again that q does not depend on the angle theorem and isometries position of P . 0 In the traditional statement of the inscribed angle theorem in Euclidean space, the points P1 and 2.4 Analogues of other circle theorems P2 are fixed and the point P0 varies on the cir- in Minkowski space cle. However, to obtain an alternative viewpoint one keeps P fixed and rotates the two lines P P There are similar analogues of other familiar Eu- 0 0 1 and P P together, keeping their relative angle clidean results. For example, on the circle, the 0 2 fixed. After the rotation, the new points of inter- angle P P P is half the angle P OP [2]. This 1 0 2 1 2 section, P0 and P0, of these lines with the circle holds true in Minkowski space since the pseudo- 1 2 are separated by the same relative angle as the angle between the spacelike chords OP1 and OP2 original points P1 and P2. In fact, the rotation is given by 0 0 taking P1 and P2 to P1 and P2 is an isometry of (x · y)2 the Euclidean plane. cosh2(q) = x2y2 2 = (cosh (q1) cosh (q2) − sinh (q1) sinh (q2)) P 2 0 = cosh (q1 − q2) . (6) P1’ q1−q2 and is hence twice 2 , the pseudo-angle be- tween P0P1 and P0P2. P2’ P0 P1 P2 ’ P1 P 1 Figure 3: Alternative interpretation of Euclidean inscribed angle theorem Likewise, in Minkowski space one can rotate the lines P0P1 and P0P2 together about P0, keep- ing their relative pseudo-angle fixed. The pseudo- angular distance between the new points of in- Figure 2: Thales’ theorem in Minkowski space 0 0 tersection, P1 and P2, of these lines with the hyperbola remains q1−q2 . Since isometries of Furthermore, the analogue of Thales’ theorem, 2 Minkowski space of the form which states that the angle subtended by a di- ameter is a right angle [2], is the result that if x0 cosh f sinh f x0 P0 = −P is the point in Minkowski space ob- 7! (8) 1 1 x1 sinh f cosh f x1 tained from P1 by a reflection in the origin, then 0 the chords P0P1 and P0P1 are orthogonal. This map points (sinh(qi), cosh(qi)) to (sinh(qi + 0 holds because the gradients of P0P1 and P0P1 are f), cosh(qi + f)), there is an isometry of 3 The Inscribed Angle Theorem for the Hyperbola 0 0 Minkowski space mapping P1 and P2 back to P1 Since the position of the observer at proper and P2.