arxiv: v3 [math.mg] 16 Nov 2010

Transcription

1 Formulas on hyperbolic volume arxiv:.53v3 [math.mg] 6 Nov Á.G.Horváth Department of Geometry, Budapest University of Technology and Economics, H-5 Budapest, Hungary ghorvath@math.bme.hu October 5, Abstract This paper collects some important formulas on hyperbolic volume. To determine concrete values of volume function is a very hard question requiring the nowledge of various methods. Our goal to give a non-elementary integral on the volume of the orthoscemeobtain it without using the Schläfli differential formula, using edge-lengthes as the only parameters. MSC: 5F, 5B Keywords: coordinate systems, formulas on hyperbolic volume, Lobachevsy integral, orthosceme Introduction In the first section we give certain formulas with respect to some important coordinate systems and models, respectively. Then we collect the classical results on three-dimensional hyperbolic volume of J.Bolyai and N.I.Lobachevsy. The most famous volume-integral dependent on the dihedral angles of the orthosceme discovered by N.I.Lobachevsy nown and investigated worldwide however it is not well-nown that for this volume J.Bolyai also gave two integrals. He used as parameters both of the measure of the dihedral angles and the edges, respectively. We observed that there is no volume-formula by edge-lengthes as parameters so as an application of our general formulas we compute such an integral. We will use to this calculation the system of hyperbolic orthogonal coordinates. Finally we give a collection some new interesting formulas of special inds of bodies discovered by contemporary mathematics showing that this old and hard problem is evergreen.. Notation R n, E n, H n : The space of the n-dimensional real vectors, the n-dimensional Euclidean space and the n-dimensional hyperbolic space, respectively. x i : Thei th coordinate axis, and coordinate valuewith respect to ancartesian coordinate system of E n or H n. Dedicated to the memory of J.Bolyai

2 ξ i : The i th coordinate axis, and coordinate value with respect to paracyclic coordinate system of H n. φ i, r i : The angle between the i th coordinate axis and the segment OP i+ and the length of the segment OP i, respectively. General formulas In hyperbolic geometry, we have a good chance to get a concrete value of the volume function if we can transform our problem into either a suitable coordinate system or a model of the space, respectively. In this section, we give volume-integrals with respect to some important system of coordinates. In our computation we also use the parameter used by J.Bolyai for the express the curvature of the hyperbolic space.. Coordinate system based on paracycles horocycles P p T t Figure : coordinate system based on paracycles. Consider a parasphere of dimension n and its pencil of rays of parallel lines. The last coordinate axis let be one of these rays, the origin will be the intersection of this line by the parasphere. The further axes are pairwise orthogonal paracycles. The coordinates of P are ξ,ξ,,ξ n T, where the last coordinate is the distance of P and the parasphere, while the further coordinates are the coordinates of the orthogonal projection T with respect to the Cartesian coordinate system giving by the mentioned paracycles. In R n we can correspond to P a point p see on Fig. with ordinary Cartesian coordinates: x,x,,x n T = e ξn ξ,e ξn ξ,,e ξn ξn,ξ n T. By definition let the volume of a Jordan measurable set D be vd := v n D dx dx n, where D is the image of D by the above mapping and v n is a constant which we will choose later. Our first formula on the volume is: vd = v n e n ξn dξ dξ n, D depending on the coordinates of the points of D, with the given system of coordinates. Let now the domain D = [,a ] [,a n ] be a sector of parallel segments of length a n based on a

3 3 coordinate-bric of the corresponding parasphere, then vd = v n a a n e n ξn dξ n dξ = v n n a i [ e n an +e ] = n i= = v n n a i [ e n an ]. n i= If a n tends to infinity and a i = for i = n, then the volume is equal to vn n. Note that J.Bolyai and N.I.Lobachevsi used the value v n = so in their calculations the value of the volume is independent from the dimension but depends on the constant which determine the measure of the curvature of the space. We follows them we will determine the constant v n such that for every fixed the value of the measure of a thin layer divided by its height tends to the value of the measure of the limit figure of lower dimension. Now the limit: n is equal to v n vd lim = v n n [ e n an n ] a i lim = v n a i, a n a n n a n a n i= i= a i showing that = v = v =... = v n =... Thus v n = as it used by earlier. On the other hand if for a fixed n the number tends to infinity the volume of a body tends to the euclidean volume of the corresponding euclidean body. In every dimension n we also have a for which the corresponding hyperbolic n-space contains a natural body with unit volume, if is equal to n then the volume of the paraspheric sector based on a unit cube of volume is also. So with respect to paracycle coordinate system our volume function by definition is vd = e n ξn dξ dξ n.. Volume in the Poincare half-space model D i= xn P, e n x x n- Figure : Coordinate system in the half-space model. In the Poincare half-space model we consider a Cartesian coordinate system via Fig.. The firstn axes lieintheboundinghyperplanethelast oneis perpendiculartoit. Ifthehyperbolic coordinates of a point P with respect to a paracycle coordinate system is ξ,ξ,,ξ n T, correspond to P the point P with coordinates: x,x,,x n T = ξ,ξ,,ξ n,e ξn T.

4 4 The Jacobian of this substitution is x n showing that vd = dx dx n, where D means the image D via the mapping ξ x. D x n n.3 Hyperbolic orthogonal coordinate system Put an orthogonal system of axes to paracycle coordinate system such that, the new half-axes let the tangent half-lines at the origin of the old one. We can see it on Fig.3. To determine the new coordinates of the point P we project P orthogonally to the hyperplane spanned by the axes x,x,,x n,x n. The getting point is P n. Then we project orthogonally P n onto the n -space spanned by x,x,,x n 3,x n. The new point is P n. Now the n th coordinate is the distance of P and P n, the n th is the distance of P n and P n and so on... In the last step we get the n th coordinate which is the distance of the point P from the origin O. Since the connection between the distance d of two points of a paracycle and the x n- P x xn x n- Pn- x x n n- Pn- Figure 3: Coordinate system based on orthogonal axes. arclength of the connecting paracycle arc s is s = sinh d thus the distance z of the respective halving points can be calculated as: z = lncosh d. Now elementary calculation shows that the connection between the coordinates with respect to the two system of coordinates is: ξ n = e ξn x n sinh ξ n = e ξn +lncosh x n sinh x n. ξ = e ξn +lncosh x n + +lncosh x sinh x x n = ξ n +lncosh x n + +lncosh x +lncosh x. Fromthisweget anewone, correspondingpointξ,ξ,,ξ n T H n topointu, u n T R n as in our first calculation. The corresponding system of equation is:

5 5 u = cosh x cosh x n sinh x. u n = sinh x n u n = x n lncosh x lncosh x n The Jacobian of this transformation is cosh x cosh x D and we get our third formula on the volume: vd = cosh x n n cosh x Here we use hyperbolic orthogonal coordinates. cosh x n n, cosh x dx dx n..4 Coordinate system based on spherical hyperbolic coordinates x n- P x O rn r n- xn- x P, xn Figure 4: Spherical coordinates From the hyperbolic orthogonal coordinates x,x,,x n we can get the spherical coordinates of a point P. Let the distance of P = P n from the origin is r n and denote by φ i the angle between the i th coordinate axis and the segment OP i+ for i = n,n,. Here P n is the orthogonal projection of P into the coordinate subspace of the axes x,x n,x n, and so on... We have sinh x n = sinh r n cosφ n by the hyperbolic theorem of Sin. For general i, we get that cosh x n cosh x n i+ sinh x n i and by the Pythagorean theorem we can get a last equation: cosh x n Straightforward computation shows that: vd = n = sinh r n sinφ n sinφ n i+ cosφ n i, cosh x sinh x = sinh r n sinφ n sinφ cosφ. D sinh r n n sin n φ n sinφ dφ dφ n dr n.

6 6.5 Volume in the projective model At the origin of the projective Kayley-Clein model we consider a Cartesian system of coordinates. Regarding the factor we assume that the radius of the sphere is. The considered system is an orthogonal coordinate system both of the embedding Euclidean and the modeled hyperbolic space. xn Xn th r_ n =R n O P R n x X x X Figure 5: Coordinates in the Cayley-Klein model We connect the hyperbolic spherical coordinates and the euclidean spherical ones by the system of equations: Since the Jacobian is and the volume is: r n = tanh R n, φ i = θ i, i =,,n. sinh r n n = sinh vd = D R n n R n n+ sin R n, Rn n + ln = Rn R n R n n n θ n sinθ dθ dθ n dr n. Transforming it into the usual Cartesian coordinates X,,X n the new formula is: vd = dx n n+ dx n dx n. D Xi i= 3 The three dimensional case 3. Formulas of J. Bolyai In this section is a constant giving the curvature of the hyperbolic space and the value of our constant v n is. The following formulas can be found in [], [] and []. Most of it can be easily determined using the results of the previous section. An important exception is the volume of the orthosceme, we will give a new formula for it in section 3.3.

7 7 Equidistant body: Volume of the body determined by a dis of area p and the segments orthogonal to it with edge lengthes t, respectively: v = 8 p e q e q + pq. Paraspherical sector: Volume of the sector of parallel half-lines intersecting orthogonally an paraspherical basic domain of area p: p. Sphere: Volume of the sphere of radious x: π3 e x e x π x = π 3 sinh x π x. Barrel: Volume of the set of those points of H 3, which distances from a fixed segment AB of length p is not greater then q: 4 π pe q e q. Orthosceme: Volume of a special tetrahedron. Two edges a and b are orthogonal to each other and a third one c sew with respect to a is orthogonal to the plane of a and b. z y c a x b Figure 6: Orthosceme The dihedral angle at a is α, the angle opposite to b of the triangle with edges a and b is β and the angle opposite to the edge c in the triangle with edges c and z is γ, respectively see Fig.6. J.Bolyai gave two formulas: and v = tanγ c tanβ zsinhz dz, cosh z cos α cosh z cos γ v = α a+ sinhacosφ tanh b+sinh acos φln coshacosφ+ coshacosφ tanh b+sinh acos φ tanh b+sinh acos φ dφ Asymptotic orthosceme: Volume of the orthosceme with ideal vertex which is the common endpoint of the edges a, x and z:

8 8 and v = sinα c 4 z cosh z cos α dz v = a ln cosφ cos φ tanh b dφ Circular cone: Volume of a cone with a basic circle of radious b and with half-angle β at its apex. b v = π sinh y coshy cosh y cos β dy. Asymptotic circular cone: The apex B of a circular cone tends to an ideal point on its axis of rotation. v = πlncoshb. 3. Formulas of N.I.Lobachevsy The formulas of this subsection can be found in [6] or [8]. Barrel-wedge: Barrel-wedge is a sector of a barrel intersected from it by two meridian-plane through its axis of rotation. Let T be the area of a meridian-intersection and p be the length of its parallel circular arcs. Then we have v = pt. Orthosceme: Let the non-rectangular dihedral angles of an orthosceme be α, β and γ, respectively. There admitted at the edges a, z and c, respectively. See in Fig.6. Introduce the parameter δ by the equalities: tanhδ := tanhatanα = tanhctanγ, and the Milnor form of the Lobachevsy-function see in [7]: Λx = respectively. Then the volume v of the orthosceme is x ln sinζ dζ, [ π π π ] Λα+δ Λα δ Λ 4 β +δ +Λ β δ +Λγ +δ Λγ δ+λ δ.

9 9 3.3 Once more again on the volume of the orthosceme As an application of our general formulas we determine the volume of the orthosceme as the function of its edge-lengthes a, b and c. We note that there are formulas to transform the dihedral angles into the edge-lengthes. By the notation of the previous section these are: a = sinα+δ ln sinα δ, c = sinγ +δ ln sinγ δ, z = ln sinπ sin π β +δ β δ. It is clear that there is no simple way to get a new volume formula using these ones The 3-dimensional case We now follow another way for computation, we will determine the integral vd = D coshz coshydydzdy = a φx ψx,y coshz coshydydzdx, getting it from hyperbolic orthogonal coordinates using the parameter value =. The functions φx and ψx,y can be determined as follows. Consider the orthosceme on Fig.7. In the z=x P y=x z max Q, c, c O a y b, Q b P P x=x3 Figure 7: Orthosceme and orthogonal coordinates rectangular triangle OP P the tangent of the angle P OP is: So tanp OP = tanhb sinha = tanhy sinhx. tanhy max = tanhb sinha sinhx,

10 hence tanhb y φx = tanh sinha sinhx =: λ. Consider now the triangle P P P 3. The line Ox,y, intersects that point Q for which P Q = b, and let denote the point of the segment PP above Q be Q. Thus we get the equality Tae into consideration again the equality tanhc = tanhc sinhb sinhb. tanhb = tanhy sinhx sinha, and using the hyperbolic Pythagorean theorem, from the triangle OQQ we get that tanhz max = tanhc sinh cosh coshxcoshy sinh cosh coshacoshb = tanhc cosh xcosh y sinhb sinhb cosh acosh b = = tanhc sinh y +sinh xcosh y sinhb sinhb = tanhc +sinh sinh b +sinh acosh b sinhb sinhy xcoth y = +sinh acoth b Hence the assumption = tanhc sinhb sinhy. tanhc z ψx,y = tanh sinhb sinhy =: ν holds if we fixed the first two variables. Thus the required volume is: Using now the equality we get that = v = a λ ν a λ v = 4 + λ a coshz coshydzdydx = [ z + ] ν sinhz cosh ydydx. ν = λ ln sinhb+tanhcsinhy sinhb tanhcsinhy, ln sinhb+tanhcsinhy sinhb tanhcsinhy coshydy+ sinh ln sinhb+tanhcsinhy cosh ydy dx sinhb tanhcsinhy. To determine the second integral we use that sinhx = ex e x. Now λ sinh ln sinhb+tanhcsinhy coshydy = sinhb tanhcsinhy

11 = λ = λ = sinhb tanhc ln sinhb+tanhcsinhy sinhb tanhcsinhy sinhb tanhcsinhy coshydy = sinhb+tanhcsinhy sinhycoshy sinhb tanhc tanhc sinhb sinh y dy = = sinhb tanhc λ sinhb tanhc tanhc sinhb sinh y [ ln sinhb tanhc tanhc tanhc coshy + sinhb sinhb sinhb tanhc tanhc tanhc coshλ+ sinhb sinhb coshy + tanhc sinhb ] λ = + sinhb tanhc ln dy = sinhb tanhc From the definition of λ we can calculate coshλ and get: coshλ = sinha+tanhbsinhx sinha tanhbsinhx + sinha tanhbsinhx, sinha+tanhbsinhx thus the value of the second integral denoted by II is: II := sinhb tanhc ln tanh csinh x cosh bsinh a tanh bsinh. x The first part can be integrated as follows: = = λ λ { [ ln sinhb+tanhcsinhy sinhb tanhcsinhy coshydy = ln sinhb+tanhcsinhy ] λ sinhb tanhcsinhy sinhy tanhccoshy[sinhb tanhcsinhy+sinhb+tanhcsinhy] sinh b tanh csinh y sinhb+tanhcsinhλ = sinhλln sinhb tanhcsinhλ { sinhλln sinhb+tanhcsinhλ λ. sinh ydy = tanhcsinhbcoshysinhy sinh b tanh ccosh y +tanh c dy = [ lnsinh b tanh ccosh y +tanh c ] } λ = sinhb tanhcsinhλ + sinhb tanhc { sinhλln sinhb+tanhcsinhλ sinhb tanhcsinhλ + sinhb lnsinh b tanh csinh λ lnsinh b }. tanhc Since sinh tanh bsinh x λ = sinh a tanh bsinh x, the first integral is: { sinhλln sinhb+tanhcsinhλ sinhb tanhcsinhλ + sinhb tanhc ln tanh csinh } x cosh bsinh a tanh bsinh = x The sum of the two parts is: = sinhλln sinhb+tanhcsinhλ sinhb tanhcsinhλ II. sinhλln sinhb+tanhcsinhλ sinhb tanhcsinhλ.

12 From λ = tanh tanhb sinha sinhx follows and we get that x = sinh tanhλsinha sinhb v = 4 b proving the theorem: = ln tanhλsinha+ tanh λsinh a+tanh b tanhb tanhλsinha sinhb+tanhcsinhλ tanh bcosh λ+sinh asinh λ ln dλ, sinhb tanhcsinhλ Theorem Let the edges of an orthosceme be a,b,c, respectively where a b and a,b c. If = then the volume of it is: v = 4 b tanhλsinha sinhb+tanhcsinhλ tanh bcosh λ+sinh asinh λ ln dλ. sinhb tanhcsinhλ Corollary: This formula can be simplified in the case of asymptotic orthoscemes. If the edgelength a tends to infinity, the function tanh tends to bcosh λ+sinh asinh λ tanhλsinha coshλ showing that the volume of the orthosceme with one ideal vertex is v = 4 b sinhb+tanhcsinhλ coshλ ln dλ. sinhb tanhcsinhλ If now the length of the edge c also grows to infinity, then this formula simplified into: v = 4 b sinhb+sinhλ coshλ ln dλ, sinhb sinhλ which is the volume of an orthosceme with two ideal vertices. If now we reflect it in the face containing the edges b and c then we get a tetrahedron with three ideal vertices. If than we reflect the getting tetrahedron in the face containing the edges b and a we get another one with four ideal vertices. The volume of it is v = b sinhb+sinhλ coshλ ln dλ. sinhb sinhλ Of this tetrahedron there are two edges a and c which are sew and orthogonal to each other its common normal transversal is b. Since the reflection in the line of b is a symmetry of this ideal tetrahedron, we can see that there are two types of its dihedral angles, two opposite at the edges a and c are equal to each other, say A; and the other four ones are also equal to each other say B. Then we have A+B = π, and its volume by Milnor s formula is equal to v = Λπ B+ΛB = ΛB+ΛB = 4ΛB+Λ B + π We used that the Lobachevsy function is odd, periodic of period π, and satisfies the identity ΛB = ΛB+ΛB + π. We have the following connection between the two integrals: = b B+ π sinhb+sinhλ coshλ ln dλ+ ln sinζ dζ +4 sinhb sinhλ B. ln sinζ dζ.

13 3 Remar: If we substitute to this formula the first-order terms of the Taylor series of the functions in the integrand, respectively, we get that v = 4 b tanhλsinha sinhb+tanhcsinhλ tanh bcosh λ+sinh asinh λ ln dλ = sinhb tanhcsinhλ = b λa cλ b +a λ b ac b dλ = b λ dλ = abc 6. This shows that our formula for little values gives bac the euclidean one The case of dimension two The following calculation shows that area of a rectangular triangle also can be get with our method. a φx a tanhb cosh ydydx = sinha sinhx dx = tanhb sinha sinhx = sinha tanhb tanhb + sinha tanhb t dt sinha t tanhb At this point we can use the following result on antiderivative: if y = ax +bx+c and a < then y dt = a sin. Thus the required area is: y b 4ac [ sin sinh at sinh a+tanh ] tanh b b sinh a+tanh = [ sin sin βsinh a cosβ sin cosβ ]. b Using now the equalities sinβ = sinhb sinh atanh b sinh a+tanh b sinha, sinα = sinhc we get that sinh a+tanh b sinh a+tanh b sinh c sinh a and = sinh bsinh a sinh c sinhc = sin βsinh a = sinh b formula simplified into the form + sinh b+sinh a sinh c = cosβ, [ sin sinh b+sinh a sinh +sin β cos β+ π ] c β = π α+β + π, as we stated.. Now our The case of dimension n The following lemma plays an important role in the n-dimensional case. Lemma We have two -dimensional affine subspaces H and H, respectively for which they intersection have dimension. Assume that the points P H, P H and P H H hold the relations PP H and P P H H, respectively. Then the angle is independent from the position of P in H. α = tan tanhpp sinhp P,

14 4 Proof: LetP andqbetwo arbitrarypointsofh. Thenbythetheorem of threeperpendiculars we also have that PP H H and Q Q H H implying that P Q orthogonal to the lines PP,P P,QQ and Q Q, respectively. Thus the angles PP P, QQ Q are equals. This immediately implies the statement. Let now our orthosceme is the convex hull of the vertices = A,A,...,A n situated into a hyperbolic orthogonal coordinate system as we did it in the three dimensional case. More precisely, the coordinates of the vertices are,..., T,,...,,a n T, a,,...,,a n T, a,a,...,,a n T... a,a,...,a n T, respectively. Introduce the function giving the upper boundary of the successive integrals. These are φ = a n, φ : x n x for a point x,,...,,x n T of the edge conv OA, φ : x n,x x on the points x,x,...,x n T of the triangle conv OA A 3. In general φ : x,...,x,,...,,x n x if the corresponding point x,x...x,x,,...,,x n T is on the -face conv OA A 3 A + and so on... From Lemma we get that implying that tanhφ + x n,x,...,x sinhx = tanha + sinha, φ + x n,x,...,x = tan tanha+ sinhx. sinha In the case of =, the volume can be determined by the following n-times integral: vo = a n tan tanha sinhan sinhxn tan tanhan sinha n sinhx n 3.4 Further results on concrete volumes cosh n x n cosh n x n coshx dx n dx dx n. Here we mention some important results from the last few decades, which are calculate hyperbolic volumes. To investigate it we can see immediately that our formula on orthosceme has very simple building up. In this section the great latin letters mean the measures of the dihedral angles at the edges denoted by the corresponding small ones. Theorem J. Milnor [7] Opposite dihedral angles of ideal tetrahedron are equal to each other, A+B +C = π and its volume v is x where Λx = ln sinζ dζ. v = ΛA+ΛB+ΛC, Theorem 3 R.Kellerhaus [5] Let R be a Lambert cube with essential angles w, w, =,,. Then the volume VR of R is given by π { VR = π } Λw i +θ Λw i θ Λθ+Λ 4 θ with < θ = tan cosh V sin w sin w cosw cosw π.

15 5 Theorem 4 Y. Mohanty [9] Let O be an ideal symmetric octahedron with all vertices on the infinity. Then C = π A, D = π B, F = π E and the volume of O is: π +A+B +E π A B +E π +A B E v = Λ +Λ +Λ + π A+B E +Λ. Theorem 5 D. Derevin and A.Mednyh [4] The volume of the hyperbolic tetrahedron T = T A,B,C,D,E,F is equal to VolT = 4 z cos A+B+C+z cos A+E+F+z cos B+D+F+z cos C+D+E+z log sin A+B+D+E+z z sin A+C+D+F+z sin B+C+E+F+z sin z dz, where z and z are the roots of the integrand, given by with z = tan tan 4 3, z = tan +tan 4 3, = coss +cosa+d+cosb +E+cosC +F+cosD +E +F+ cosd +B +C++cosA+E +C+cosA+B +F, = sins +sina+d+sinb +E+sinC +F+sinD +E +F+ and S = A+B +C +D +E +F. sind +B +C+sinA+E +C+sinA+B +F, 3 = sinasind +sinbsine +sincsinf, 4 = + 3, The above theorem implies the theorem of Muraami and Yano: Theorem 6 J.Muraami, M.Yano [] The volume of the simplex T is where v = IUz,T Uz,T, Uz,T = lz+la+b +D +E +z+la+c +D +F +z+lb +C +E ++F +z lπ+a+b+c +z lπ+a+e +F +z lπ+b +D+F +z lπ+c +D+E +z, and lz = Li e iz by the Dilogarithm function x Li z = log t dt. t Here I mention the theorem of Y.Cho and H. Kim described the volume of a tetrahedron using Lobachevsy function, too. It is also very complicated formula the reader can find it in [3].

16 6 References [] Bonola, R. Non-euclidean geometry Dover Publication, 955. [] Bolyai, J. Appendix in Tentamen written by F.Bolyai, Marosvásárhely, 83 [3] Cho, Y., Kim, H., On the Volume Formula for Hyperbolic Tetrahedra Discrete Comput. Geom. 999, [4] Derevnin, D. A., Mednyh, A.D., A formula for the volume of a hyperbolic tetrahedon Uspehi Mat. Nau 6/ 5, [5] Kellerhaus, R., On the volume of hyperbolic polyhedra Math. Ann. 85, [6] Lobachevsy, N.I. Zwei Geometrische Abhandlungen B.G.Teubner, Leipzig and Berlin, 898, reprinted by Johnson Reprint Corp., New Yor and London, 97 [7] J.W.Milnor, Hyperbolic geometry: The first 5 years. Bull. Amer. Math. Soc. N.S. 6/ 98, 9-4. [8] Molnár E.,Lobachevsy and the non-euclidean geometry. in hungarian in Bolyai emléönyv Bolyai János születéséne. évfordu- lójára -4, Vince Kiadó 4. [9] Mohanty, Y., The Regge symmetry is a scissors congruence in hyperbolic space Algebraic and Geometric Topology [] Muraami, J., Yano, M., On the volume of Hyperbolic and Spherical tetrahedron,communications in analysis and geometry 3/, [] T.Weszely, The mathematical wors of J.Bolyai in hungarian Kriterion, 98. Áos G.Horváth, Department of Geometry Budapest University of Technology and Economics 5 Budapest, Hungary ghorvath@math.bme.hu