arxiv: v1 [math.mg] 17 Jun 2008

Transcription

1 arxiv:86.789v [math.mg] 7 Jun 8 Chromogeometr an reativistic conics N J Wiberger Schoo of Mathematics an Statistics UNSW Sne 5 ustraia This paper shows how a recent reformuation of the basics of cassica geometr an trigonometr reveas a three-fo smmetr between Euciean an non-euciean reativistic) panar geometries. We app this chromogeometr to ook at conics in a new ight. Pthagoras, area an quarance To measure a ine segment in the pane, the ancient Greeks measure the area of a square constructe on it. gebraica, the paraeogram forme b a vector v = = a,b) an its perpenicuar Bv) = b,a) has area ) a b Q = et = a b a +b. ) The Greeks referre to buiing squares as quarature, an so we sa that Q is the quarance of the vector v, or the quarance Q, ) between an. This notion makes sense over an fie. 5 5 igure : Pthagoras theorem: 5+ = 5 If Q = Q, ), Q = Q, ) an Q = Q, ) are the quarances of a triange, then Pthagoras theorem an its converse can together be state as: is perpenicuar to precise when Q +Q = Q.

2 igure shows an eampe where Q = 5, Q = an Q = 5. s inicate for the arge square, these areas ma aso be cacuate b subivision an transationa) rearrangement, foowe b counting ces. There is a sister theorem the Tripe qua formua that Euci i not know, but which is funamenta for rationa trigonometr, introuce in []: is parae to precise when Q +Q +Q ) = Q +Q +Q ). igure shows an eampe where Q = 5, Q = an Q = igure : Tripe qua formua: 5++45) = ) In terms of sie engths = Q, = Q an = Q, an the semi-perimeter s = + + )/, observe that Q +Q +Q ) Q +Q +Q ) = 4Q Q Q +Q Q ) = 4 + = + )) + )) + = ) ) ) + ) = + ) + ) + ) + + ) = 6s )s )s )s. Thus Heron s formua in the usua form area = ss )s )s ) ma be restate in terms of quarances as 6 area = Q +Q +Q ) Q +Q +Q ) Q,Q,Q ). This more funamenta formuation eserves to be cae rchimees theorem, since rab sources inicate that rchimees knew Heron s formua. The Tripe qua formua is the specia case of rchimees theorem when the area is zero. The function Q,Q,Q ) wi be cae rchimees function. )

3 5 6 igure : 6 area = +5+6) ) = 56 In igure the quarancesareq =,Q = 5anQ = 6,so 6area = 56, giving area = 89/4 an area = 7/. Irrationa sie engths are not neee to etermine the area of a rationa triange, an in an case when we move to more genera geometries, we have no choice but to give up on istance an ange. Bue, re an green geometries Euciean geometr wi here be cae bue geometr. We now introuce two reativistic geometries, cae re an green, which arise from Einstein s theor of reativit. These rest on aternate notions of perpenicuarit, but the share the same unering affine concept of area as bue geometr, an inee the same aws of rationa trigonometr, as wi be epaine short igure 4: Re Pthagoras theorem an Tripe qua formua Define the vector v = = a,b) to be re perpenicuar to Rv) = b, a). This mapping is easi visuaize: it correspons to Euciean refection in a ine of sope or. re square is then a paraeogram with sies v

4 an Rv), an hence signe) area Q r) = et ) a b = a b a b ) which we ca the re quarance between an. igure 4 iustrates that both Pthagoras theorem an the Tripe qua formua ho aso using re quarances an re perpenicuarit, where the areas of the re squares can be compute as before b subivisions, transationa) rearrangement an counting ces or b apping the agebraic formua for the re quarance. In a simiar fashion the vector v = = a,b) is green perpenicuar to Gv) = a,b). This correspons to Euciean refection in a vertica or horizonta ine. green square is a paraeogram with sies v an Rv), an hence signe) area ) a b Q g) = et = ab ) a b which we ca the green quarance between an igure 5: Green Pthagoras theorem an Tripe qua formua igure 5 shows Pthagoras theorem an the Tripe qua formua in the green contet. This version of reativistic geometr correspons to a basis of nu vectors in re geometr. three geometries can be efine over a genera fie, not of characteristic two. Spreas an rationa trigonometr The three quaratic forms Q b) a,b) = a +b Q r) a,b) = a b Q g) a,b) = ab have corresponing ot proucts a,b ) b a,b ) a a +b b a,b ) r a,b ) a a b b a,b ) g a,b ) a b +a b. 4

5 Together with a b a b = escribing parae vectors, these are the four simpest biinear epressions in the four variabes. In rationa trigonometr, one wants to work over genera fies, so the notion of ange is not avaiabe, but it is important to reaize that the ot prouct is not necessari the best repacement. Instea we introuce the reate notion of sprea between two ines not between ras), which in the bue framework is the square of the sine of the ange between the ines there are actua man such anges, but the square of the sine is the same for a). The bue, re an green spreas between ines an with equations a +b +c = an a +b +c = are respective the numbers s b), ) = a b a b ) a +b )a +b ) s r), ) = a b a b ) a b )a b ) s g), ) = a b a b ) 4a b a b. These quantities are unefine when the enominators are zero. The negative signs in front of s r) an s g) insure that, for each of the coours, the sprea at an of the three vertices of a right triange one with two sies perpenicuar) is the quotient of the opposite quarance b the hpotenuse quarance. See [] for a proof of this, an other facts about rationa trigonometr, in a wier contet. In igure the spreas at an are /5 an 4/5 respective, in the eft iagram of igure 4 the spreas at an are 4/5 an 9/5 respective, an in the eft iagram of igure 5 the spreas at an are / an 4/ respective. In each case the sprea at the right verte is, an the other two spreas sum to Bue Re Green igure 6: Bue, re an green quarances an spreas igure 6 aows ou to compare the various quarances an spreas of a fie triange in each of the three geometries. Note the common numerators of 5

6 the spreas, arising because Q,Q,Q ) = ±4 89 is up to sign the same in each geometr, with a pus sign in the bue situation an a negative sign in the re an green ones. sie from Pthagoras theorem an the Tripe qua formua, the main aws of rationa trigonometr are: for a triange with quarances Q,Q an Q, an spreas s,s an s : s Q = s Q = s Q Sprea aw) Q +Q Q ) = 4Q Q s ) Cross aw) s +s +s ) = s +s +s ) +4s s s Tripe sprea formua). s shown in [], these aws are erive using on Pthagoras theorem an the Tripe qua formua. Since these atter two resuts ho in a three geometries, the Sprea aw, Cross aw an Tripe sprea formua aso ho in a three geometries. or an points an the square of Q b), ) is the sum of the squares of Q r), ) an Q g), ), an for an ines an s b), ) + s r), ) + s g), ) =. The first statement foows from the Pthagorean tripe ientit + ) = ) +) whie the atter foows from the ientit a +b ) a +b ) a b ) a b ) 4a b a b = a b a b ). So in igure 6 there are three inke signe) Pthagorean tripes, name, 5, ), 5, 7, 4) an 6, 4, ), an three tripes of harmonica reate spreas. g b r igure 7: Three atitues from a point to a ine 6

7 igure 7 shows the three cooure atitues from a point to a ine, an the feet of those atitues. Note that the bue an re atitues are green perpenicuar an simiar for the other coours. The three trianges forme b the four points are each tripe right trianges, containing each a bue, re an green right verte. Most theorems of panar Euciean geometr have universa versions, vai in each of the three geometries. This is a arge caim that eserves further investigation. In the re an green geometries, circes an rotations become rectanguar hperboas an Lorentz boosts. There are no equiatera trianges in the re an green geometries, so resuts ike Napoeon s theorem or More s theorem wi not have obvious) anaogs. To see some chromogeometr in action, et s have a ook at conics in this more genera framework. The eipse as a grammoa In the rea number pane, one usua efines an eipse as the ocus of a point X whose ratio of istance from a fie point focus) to istance from a fie ine irectri) is constant an ess than one, an hperboas an paraboas simiar with eccentricities greater than one an equa to one. B squaring this conition, we can iscuss the ocus of a point whose ratio of quarance from a fie point to a fie ine is constant. B quarance from a point X to a ine we mean the obvious: construct the atitue ine n from X to, fin its foot an measure QX,). Let s ca such a ocus a conic section. Over a genera fie we cannot istinguish eipses from hperboas, athough paraboas are awas we efine. - - B - - s s - - B igure 8: Two views of the eipse 4 +5 = 6 The eft iagram in igure 8 shows the centra eipse 4 +5 = 6 7

8 with foci at = [,] an = [, ], corresponing irectrices an with respective equations +6 = an 6 =, an eccentricit e = 5/6. The famiiar refection propert ma be recast as: spreas between a tangent an ines to the foci from a point on the eipse are equa. The right iagram in igure 8 iustrates a perhaps?) nove efinition of an eipse. It is motivate b the fact that a circe is the ocus of a point X whose quarances to two fie perpenicuar ines a to a constant. Define a grammoa to be the ocus of a point X such that the sum of the quarances from X to two fie non-perpenicuar intersecting ines an is constant. This efinition works for each of the three coours. It turns out that the ines an are unique; we ca them the iagonas of the grammoa see [, Chapter 5]). The corners of the grammoa are the points where the iagona ines intersect it, an etermine the corner rectange. In the bue setting over the rea numbers a grammoa is awas an eipse, whie in the re an green settings a grammoa might be an eipse, or it might be a hperboa. The eipse of igure 8 is a bue grammoa with bue iagonas ) = an ) =. The bue quarances of the sies of the corner rectange are an, whose prouct 4 is the square area. The right iagram in igure 8 shows the usua foci an irectrices of the grammoa an its iagonas an corners. The quarances from an point on the conic to the two iagonas sum to 6. The bue sprea between the two iagonas is an invariant of the eipse in this case s b = 4/49. B B igure 9: Eipse as re an green grammoa The eipse can aso be escribe as a re grammoa, as in the eft iagram of igure 9. The re iagonas are + ) 9 = an ) +9 = 8

9 an the re corner rectange has sies parae to the re aes of the eipse, an re quarances + an, whose prouct is 4. The four re corners have rather compicate epressions in this case. The re sprea between the re iagonas is s r = 8/. The same eipse ma aso be viewe as a green grammoa, as in the right iagram of igure 9. The green iagonas are 5+ 5 ) +5 = an 5 5 ) +5 = an the green corner rectange has sies parae to the green aes of the eipse, an green quarances 4+ an 4, whose prouct is again 4. Ecept for a sign, the three square areas of the bue, re an green corner rectanges are the same. The green sprea between the green iagonas is s g = /. The reationship between the bue, re an green spreas of an eipse is s b + s r + s g =. The eipse as a quaroa nother we known efinition of an eipse is as the ocus of a point X whose sum of istances from two fie points an is a constant k. To etermine a universa anaog of this, we consier the ocus of a point X such that the quarances Q = Q,X) an Q = Q,X), together with a number K, satisf rchimees formua Q,Q,K) =. This is the quaratic anaog to the equation + = k, just as the Tripe qua formua is the anaog to a inear reation between three istances. Such a ocus we ca a quaroa. This agebraic formuation appies to the reativistic geometries, an aso etens to genera fies. The notion captures both that of eipse an hperboa in the Euciean setting, an whie it is in generaaifferent concept than a grammoa, it is possibe for a conic to be both, as is the case of an eipse in Euciean bue) geometr. The eft iagram in igure shows that in the re geometr, a new phenomenon occurs: our same eipse as a quaroa has two pairs of foci {, } an {G,G }. Each of these points is aso a focus in the contet of a conic section, an there are two pairs of corresponing irectrices {, } an {h,h }. Directrices are parae or re perpenicuar, an intersect at points on the eipse, an tangents to these irectri points pass through two foci, forming a paraeogram which is both a bue an a green rectange. It turns out that the re spreas between a tangent an ines to a pair of re foci are equa, as shown at points an B. The right iagram in igure shows the same eipse as a green quaroa, with again two pairs of green foci, two pairs of corresponing green irectrices which are parae or green perpenicuar), an the tangents at irectri points forming a bue an re rectange. 9

10 - - B s - G r s - - G C r h h - G - - r B - - r C s s G h h - - igure : Re an green foci an irectrices The re an green irectri points are eas to fin: the are the imits of the eipse in the nu an the coorinate irections. So the re an green irectrices an foci are aso then simpe to ocate geometrica. This is not the case for the usua bue) foci an irectrices, an suggests that consiering eipses from the reativistic perspectives can be practica usefu. In agebraic geometr the other pair of bue foci are not unknown; the require compeification an a projective view see for eampe [, Chapter ]) igure : Three sets of foci an irectrices When we put a three cooure pictures together, as shown in igure, another curious phenomenon appears there are three pairs of cooure foci that appear to be cose to the intersections of irectrices of the opposite coour. The reason for this wi become cearer ater when we consier paraboas.

11 Hperboas Over the rea numbers some of what we saw with eipses etens aso to hperboas, athough there are ifferences. The centra hperboa shown in igure with equation = 8 is a re quaroa with re foci = [,] an = [, ], meaning that it is the ocus of a point X = [,] such that ) ) ),+) +),64 =. 5 G - h -5 G h B igure : hperboa as re quaroa an green grammoa s a conic section the corresponing irectrices have equations 6 = an +6 =. This hperboa aso has another pair of re foci G = [,] an G = [, ], with associate irectrices +8 = an 8 =. s in the case of the eipse we consiere earier, in each case the focus is the poe of the corresponing irectri, meaning that it is the intersection of the tangents to the hperboa at the irectri points. These tangents pass through two foci at a time, an are parae to the re nu irections. The paraeogram forme b the four foci is a bue an green rectange. So we cou have foun the re foci an irectrices pure geometrica, b fining those points on the hperboa where the tangents are parae to the re nu irections, an then forming intersections between these points. This is again quite ifferent from fining the usua bue foci an irectrices. Note that if we tr to fin green foci, vertica tangents are eas to fin, but there are no horizonta tangents, thus the situation wi necessari be somewhat ifferent. Is the hperboaaso a grammoa? It cannot be a bue grammoa, since these are a eipses, an it turns out not to be a re grammoa either. But it is a

12 green grammoa with equation ) ) ) ) ) ) 5 = 8. The green iagonas are shown in igure. The paraboa rom the viewpoint of universa affine) geometr, the most interesting conic is the paraboa. Given a point an a generic ine not passing through, the ocus of a point X such that QX,) = QX,) is what we usua ca a paraboa, inepenent of which geometr we are consiering. The generic paraboa has a istinguishe bue, re an green focus, an aso a bue, re an green irectri. r g b g - b r igure : Three foci an irectrices of a paraboa igure shows a paraboa in the Cartesian pane an a three foci an irectrices. remarkabe phenomenon appears: b is the intersection of r an g, r is the intersection of b an g, an g is the intersection of b an r. urthermore r an g are bue perpenicuar, b an g are re perpenicuar, an b an r are green perpenicuar in other wors we get a tripe right triange of foci. This means that once we know one of the focus/irectri pairs, the other two can be foun simp b constructing the appropriate atitues from the focus to the irectri together with their feet. though the various irectrices are in ifferent irections, the ais irection, efine as being perpenicuar to the irectri, is common to a. igure 4 shows the famiiar refection propert of the paraboa, where a partice P approaching the paraboa aong the ais irection an refecting off the tan-

13 P g b g - b r Z r igure 4: Refection properties of a paraboa gent in either a bue, re or green fashion) awas then passes through the corresponing focus. The foowing figure shows some interesting coinearities associate to a paraboa, invoving cooure vertices V intersections of aes with the paraboa), bases X intersections of aes with irectrices) an points Y forme b tangents to vertices. g ar Xg ag ab Xr r Vg b Yr V b - g X b Yb Vr Yg r b igure 5: Coinearities for a chromatic paraboa ina we show the three paraboas which have a given focus an a given irectri, both in back, each interprete in one of the three geometries. Each

14 of the three paraboas that share this focus an irectri have a foca triange consisting of an two of the feet of the atitues from to, abee b, r an g. The otte ine passes through the intersections of the re an green paraboas. Various vertices an aes are shown, an we eave the reaer to notice interesting coinearities, an to tr to prove them. g b - r igure 6: Three paraboas with a common focus an irectri In concusion, there ma ver we be other usefu metrica efinitions of conics; there are certain sti man rich iscoveries to be mae about these fascinating an most important geometric objects. Chromogeometr etens to man other aspects of panar geometr, for eampe to triange geometr in [4]. References [] C. G. Gibson, Eementar Geometr of gebraic Curves, Cambrige Universit Press, Cambrige, 998. [] N. J. Wiberger, Divine Proportions: Rationa Trigonometr to Universa Geometr, Wi Egg Books, Sne, 5, [] N. J. Wiberger, ffine an Projective Rationa Trigonometr, preprint, 6. [4] N. J. Wiberger, Chromogeometr, preprint 6. 4