arxiv: v1 [math.mg] 29 Nov 2018

Transcription

1 AN EXTREMAL PROBLEM OF REGULAR SIMPLICES THE HIGHER-DIMENSIONAL CASE ÁKOS GHORVÁTH arxiv:99v [mathmg] 9 Nov Abstract The ew result of this paper coected with the followig problem: Cosider a supportig hyperplae of a regular simplex ad its reflected image at this hyperplae Whe will be the volume of the covex hull of these two simplices maximal? We prove that i the case whe the dimesio is less or equal to 4 the maximal volume achieves i that case whe the hyperplae goes through o a vertex ad orthogoal to the height of the simplex at this vertex More iterestig that i the higher dimesioal cases this positio is ot optimal We also determie the optimal positio of hyperplae i the -dimesioal case This corrects a erroeous statemet i my paper [] Itroductio Assume that the itersectig simplices S ad S H are reflected copies of each other i the hyperplae H The H itersects each of them i the same set By the Mai Lemma of paper [] we have that the itersectio of the simplices i a optimal case whe the volume of their commo covex hull is maximal is a commo vertex I the paper [] we stated the followig see Theorem i []: If S is the regular simplex of dimesio the css H := Vol VolcovSSH S = The proof cotaied a wrog substitutio implyigpartly-falseresult Weprovethatthisstatemetistruewhe 4aditisfalse i the higher dimesioal cases Additioally we solve the -dimesioal case ad obtai that positio of the simplex which gives maximal volume Sice this positio caot be geeralized trivially for higher dimesios we have opeed the followig problem: Problem Cosider a supportig hyperplae H of a regular -simplex S ad deote by S H the orthogoal projectio of S to H Determie that supportig hyperplae H for which the volume of cov{ss H } is maximal AswemetioedTheoremgivestheaswerithecaseswhe Wemaymetio here a very similar problem solved by P Fillima He ivestigated i [] [] the volume of the projectio of a body usig the i the exterior algebra method He determied those supportig hyperplaes H of the regular simplex S for which the volume of S H is maximal or miimal respectively Similar iterestig questios ca be foud i the paper [4] o the volume of the uio of two covex body ad also i the survey paper [] Regular simplex To avoid the cofusio i our paper we give a sort of easy calculatios correspodig to the -dimesioal regular simplex Let us deote the vertices of the regular simplex of dimesio by e i where {e e e } is a orthoormed basis of a + - dimesioal Euclidea space Set s i := e i e for i = the system of the Mathematics Subject Classificatio A4 A B B Key words ad phrases covex hull isometry reflectio at a hyperplae simplex volume iequality

2 Á GHORVÁTH vertices with respect to the -dimesioal hyperplae H := The we have i= s = s i = s k = k i= s i = { x i e i : i= k i= x i = } s k = s k s k c = + s + k k s = s k = h = + s = c = + u = s s = + u i = c s i c s i = k + s k u = u i u j = + s s j = + s +s j = + = u j Assume that the -dimesioal flat H of the hyperplae H through the vertex s cotais precisely the vertices s s r ad parallel to the affie hull of the remaiig oes The the uit ormal vector of H directed to the iterior of that half-space H + which cotais the simplex is r + u = re i + r+e i rr++ i= = i=r+ r r rr++ r + r +

3 ad i this case we have r uu = r + Observe that s always lies i H while s does ot lie i it Hece holds the iequality r The theorem I this sectio we prove the followig theorem: Theorem If S is the regular simplex of dimesio 4 the css H := Vol S VolcovSSH = attaied oly i the case whe u = u = s For = we have s css H = + > = Proof Without loss of geerality we ca assume that s = = s = as i the previous paragraph We imagie that H is horizotal ad H + is the upper half-space Defie the upper side of S as the collectio of those facets i which a ray orthogoal to H adtermiatediafarpoitofh + isfirstitersectig S Thevolumeofthecovex hull is twice the sum ofthe volumes of thoseprisms which arebased otheorthogoalprojectio of a facet of the simplex of the upper side Let deote F i F ik the simplex of the upper side F i F i k its orthogoal projectios o H ad u i u ik its respective uit ormals directed outwardly Observe that i this case { +sil s +s u il = il if i s l s if i s l = moreover + +s il s = u il +s il s = + u il s il u il s il = s We also itroduced the otatio s = s i = s i Sice i = correspods to a upper facet usig Statemet i [] we get = = = u u + u u + VolcovSS H Vol S u u i= + = i= l= u il u us s il u il +s il s +s il +su us s il l= + s il u + su us us il l= + sil u + su us il + us l=

4 4 Á GHORVÁTH If the oly upper facet correspods to the ormal vector u the oly the first term occurs meaig that k = ad the maximal value of the right had side is less tha or equal to with equality i the required case + Assume ow that k By the regularity of the simplex we have that s = u hece we get VolcovSS H := f s ku u u = = = u u + Set s k := k l= l= Vol S s i l u s il u l= + + u u s il u + u u +k u u + + u u s il ad s k := s k s k respectively l= s il u Deote by f the expressio i the bracket the f := s il u k k + + u u s k u +k u u l= First we remark that the iequalities u u are fulfilled We ca observe that if a vertex s il gives a upper facet the s i s il u i i l implyig that s +s il u From this we get a ew coectio betwee the parameters s il u ad u u amely s il u s + u u = + u u This implies that s il u l= O the other had if we write that k + u u u u := cosα s k u := cosβ ad s k u := cosγ the we get that γ α+β ad so cosαcosβ siαsiβ cosγ But cosβ = k + k = k k+ 4 k + k k + ad siβ = k hece we have a secod iequality which is: +k u u k + u u k s k ku = kk Itroduce the otatio x := u u Now we get that fx s il u l=

5 k + +k x[ k + x [ k + k + + x + + x+ + + x+ + x [Ax+ B x ] k k + x x + = ] k k + x = + ] k k + x = + We have to prove that for all x [ ] ad k holds the iequality x [Ax+ B ] x < We may assume that x > This iequality ca be arraged to the form x Ax > B x Observe that the left had side is greater tha zero because < A < always hold This implies that Ax > x > Cosiderig the square of the iequality we get x x the followig oe: A +Bx 4 A+Bx + > The possible roots of the quadric i the left had side is x = A+B± B4A+B 4 A +B These are real umbers if ad oly if 4A+B 4 = B+4A From this iequality we get + k k + k equivaletly 4 k ++ If = tha for k = the above iequality does ot hold showig that the equatio has o real solutios This meas that fx < ad the statemet is true If = 4 tha for k = 4 the iequality is false too However for k = it is hold because 4 < I this case A = / = 7/ B = 9/4 / = 7/ ad the roots are 4 x = 7/+7/± 7/4/+7/ 4 49/ + 7/ x = / x = / = /4±9/ 9/ If the variable x = u u lies betwee / ad / the the examied fuctio fx ca be greater or equal to So we have to ivestigate the origial formula i the followig situatio: Set = 4 k = ad assume that / u u / Sice s k = s i we have the followig iequalities betwee s i u ad u u u u s i u u u u u

6 Á GHORVÁTH The fuctio f = s i u + + u u s i u +k u u is covex for a fixed value of s i u hece it ca takes its maximal values at the eds of its domai Hece we have to determie the values of f usig the coditios u u = s i u ad s i u = u u u u respectively I the first case we get s i u u u s i u + u u = + u u showig that fx as we stated Secodly substitute the lower boud fuctio to the expressio of f Usig agai the otatio x = u u we have to maximize the fuctio gx := 7 x + x x 4 + o the iterval / x / It ca be see easily that o the iterval [/ /] it is a cocave fuctio with a uique maximal value which is approximately fx 99 atteds at the value x = 9944 < / provig our statemet Examieowthe-dimesioalcase Theiequality doesotholdifk > /7 = 4 /7 > Thus we have to ivestigate two respective cases whe k = or k = Let k = If we fixed the value of x := u u the fuctio f = s il u 7 u u s il u + u u = l= l= s i u 7 u u s i u + u u + s i u 7 u u s i u + u u is the sum of two covex fuctios defied o the same iterval The maximal value of the two terms separately ca be achieved oly at the eds of the iterval We have a upper boud for f if we determie the maximal value of the two terms separately ad we add them The left ed of the examied iterval gave with the equality s i u = u u u u while the right ed with the other oe s i u = u u The sum of the two terms is less or equal to max u u u u u u + u u { max 9 u u + u u u u + u u 7 u u u u 7 + } u u } =

7 The cocave fuctio hx := 9 x + x x + attedsitsmaximal value4otheiterval []atthepoit x = showig that fx < i this case too The last case is whe = ad k = The examied fuctio f is s i u 7 u u s i u + u u ad the coditios o the two variables are u u u u s iu u u Hece we get agai that { 7 fx max u u + 7 u u } u u + 4 u u Cosider the first argumet of the right had side ad assume that s i u = siϕ with a ew variable ϕ The from the equality siϕ := u u u u we get that u u = siϕ+ cosϕ The examied fuctio ow is gϕ = 7 si ϕ+ cos ϕ+ siϕcosϕ + 7 siϕ+ cosϕ cosϕ siϕ + 4 = 4 si ϕ+ + cos ϕ+ 7 + si ϕ+ 4 cos ϕ+ siϕcosϕ = cos ϕ+ siϕcosϕ+ 4 = siϕcosϕ+ This fuctio takes its maximal value at that poit ϕ max for which cos ϕ max si ϕ max = 7 fromwhich cos ϕ max = ad siϕ maxcosϕ max = 7 The maximal value is gϕ max = = ad si ϕ max = Sice the correspodig values u u ad s i u are allowed i our ivestigatio this proves that the gettig upper boud ca be achieved too This proves the statemet I this case we did ot have to use the smaller domai based o the sharper calculatio of the values A = / B = 9/7 ad x = 9±7 I this case A = / B = 9/7 ad x = /+9/7± 9/74/+9/7 4 / +9/7

8 Á GHORVÁTH Remark The optimal positio of the regular simplex ca be writte geometrically i the five-dimesioal case too We start with that positio of the simplex whe the edge joiig the vertices s ad s lies i H ad the affie hull G of the remaiig vertices is parallel to H The maximal volume ca be get if we rotate this simplex aroud the orthogoal direct compoet s of the lie of s with respect to H by the agle ϕ max Before the rotatio we have that s = s = s = s = s 4 = s = u = u = Sice s is i that -plae which is spaed by u ad u we have the equality u = s + u Our rotatio restricted to the 4-subspace {s i= e i} is the idetity ad o the -subspace is geerated by s ad u it acts as a stadard rotatio We cosider the ew orthoormal basis { i= e if f f s u} where {f f f } is a orthoormal basis of s Clearly {s s s s s s 4 } = {f f f } hece we ca choose f to s s f tos s s s 4 = s 4 s adf to s s +s s +s s 4 respectively The orthogoal matrix of the basis chage is B = SiceB = B T wecageteasilytheewcoordiatesofthevertices Theewcoordiates of the vertex e i are the elemets of the i-th row of B multiply by / respectively The traslatio of the origi to the first vertex e of the simplex is equivalet to the subtractio of the first colum of B T from the colum vector of it thus the ew coordiates of the examied vectors are s = s = s = s =

9 9 s 4 = s = u = u = The matrix of the rotatio ad the respective rotated vertices are cosϕ siϕ siϕ cosϕ s ϕ = s ϕ = cosϕ siϕ s ϕ = cosϕ siϕ siϕ+ cosϕ s ϕ = cosϕ siϕ siϕ+ cosϕ s 4 ϕ = cosϕ siϕ siϕ+ cosϕ s ϕ = cosϕ siϕ siϕ+ cosϕ Sice we also have u ϕ = cosϕ siϕ siϕ+ cosϕ ad u = we get the calculatio of the previous paragraph showig that the maximal volume atteds at cosϕ max = + 7 Usig the otatio where a := + 7 ad b :=

10 Á GHORVÁTH 7 we get that the eleve vertices of the optimal polyhedro are a ± ± ± a b a b ± a+ b ± a+ b respectively The ormals of the upper facets are u ϕ max = ad u ϕ max = a b a+ b b a b a We ca imagie the correspodig body as the disjoit uio of two pyramids ad a simplex The commo base of the pyramids is a four-dimesioal prism defied by the covex hull of the vertices s ϕ max s ϕ max s 4 ϕ max s ϕ max ad its reflected images s ϕ maxs ϕ maxs 4 ϕ maxs ϕ max with 4-dimesioal volume a+ b = a+ b The apex of the first pyramid is s while of the secod oe is s ϕ max From this we get that the volume of the uio is a a+ b = 4 a+ ab = = + 9! The last part is that simplex which defied by the vertices ±s ϕ max s ϕ max s ϕ max s 4 ϕ max s ϕ + max Its volume is 4! givig the volume of the body: v = + 4! Sice the volume of the regular simplex of dimesio with edge legth is we get 4! immediately agai the ratio + of the previous paragraph

11 4 Ackowledgemet I am thakful to my colleague Zsolt Lági who foud the mistake i the proof of Theorem of paper [] ad ispired me to write the preset oes I also thaks for the helpful suggestios of Has Havlicek Refereces [] Fillima P: Exterior Algebra ad Projectios of Polytopes Discrete Comput Geom 99 [] Fillima P: The Extreme Projectios of the Regular Simplex Trasactios of the America Mathematical Society 7/ 99 9 [] Horváth ÁG: O a extremal problem coected with simplices Beiträge zur Geometrie ud Algebra / [4] Horváth ÁG Lági Zs: O the volume of the covex hull of two covex bodies Moatshefte für Mathematik 74/ [] Horváth ÁG: Volume of covex hull of two bodies ad related problems I: Coder Marsto; Deza Atoie; Weiss Asia Ivic eds Discrete Geometry ad Symmetry Spriger Proceedigs i Mathematics ad Statistics; 4 ISBN: Á GHorváth Departmet of Geometry Mathematical Istitute Budapest Uiversity of Techology ad Ecoomics H- Budapest Hugary address: ghorvath@mathbmehu