<p>To prove two important geometrical problems in convexity, namely, the Conjecture of Bianchi and Gruber (Arch Math 49:344–350, 1987) and the Conjecture of Barker and Larman (Discrete Math 241:79–96, 2001), it is necessary to obtain new characteristic properties of the ellipsoid, which involves the notions defined in such problems. In this work, we present a series of results which intend to be a progress in such direction: Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(L,K\subset \mathbb {R}^{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mo>,</mo> <mi>K</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> be convex bodies, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq2.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="73" /> </InlineMediaObject> <EquationSource Format="TEX">\(L\subset \textrm{int}K\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mo>⊂</mo> <mtext>int</mtext> <mi>K</mi> </mrow> </math></EquationSource> </InlineEquation>. Then, each of the following conditions (i), (ii) and (iii) implies that <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(L\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>L</mi> </math></EquationSource> </InlineEquation> is an ellipsoid. <OrderedList> <ListItem> <ItemNumber>(i)</ItemNumber> <ItemContent> <p><InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(L\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>L</mi> </math></EquationSource> </InlineEquation> is <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(O\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>O</mi> </math></EquationSource> </InlineEquation>-symmetric and, for every <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq7.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(x\in \textrm{bd}K\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mtext>bd</mtext> <mi>K</mi> </mrow> </math></EquationSource> </InlineEquation>, the support cone <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(S(L,x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is ellipsoidal.</p> </ItemContent> </ListItem> <ListItem> <ItemNumber>(ii)</ItemNumber> <ItemContent> <p>there exists a point <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq9.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\in \mathbb {R}^{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, such that for every <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq7.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(x\in \textrm{bd}K\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mtext>bd</mtext> <mi>K</mi> </mrow> </math></EquationSource> </InlineEquation>, there exists <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq11.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(y\in \textrm{bd}K\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>y</mi> <mo>∈</mo> <mtext>bd</mtext> <mi>K</mi> </mrow> </math></EquationSource> </InlineEquation> and hyperplane <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Π</mi> </math></EquationSource> </InlineEquation>, passing through <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq13.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>p</mi> </math></EquationSource> </InlineEquation>, such that <Equation ID="Equ14"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_Equ14.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="216" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} S(L,x)\cap S(L,y)=\Pi \cap \textrm{bd}K. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>S</mi> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>∩</mo> <mi>S</mi> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi mathvariant="normal">Π</mi> <mo>∩</mo> <mtext>bd</mtext> <mi>K</mi> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation></p> </ItemContent> </ListItem> <ListItem> <ItemNumber>(iii)</ItemNumber> <ItemContent> <p><InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(K\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>K</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(L\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>L</mi> </math></EquationSource> </InlineEquation> are <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(O\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>O</mi> </math></EquationSource> </InlineEquation>-symmetric, every <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq7.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(x\in \textrm{bd}K\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mtext>bd</mtext> <mi>K</mi> </mrow> </math></EquationSource> </InlineEquation> is a pole of <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(L\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>L</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq19.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="183" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega _x:=S(L,x)\cap S(L,-x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Ω</mi> <mi>x</mi> </msub> <mo>:</mo> <mo>=</mo> <mi>S</mi> <mrow> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>∩</mo> <mi>S</mi> <mrow> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mo>-</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is contained in <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq20.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{int}K\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>int</mtext> <mi>K</mi> </mrow> </math></EquationSource> </InlineEquation>.</p> </ItemContent> </ListItem> </OrderedList> In the case (ii), <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(K\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>K</mi> </math></EquationSource> </InlineEquation> is also an ellipsoid and it is concentric with <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(L\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>L</mi> </math></EquationSource> </InlineEquation>. On the other hand, let <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq23.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(K\subset \mathbb {R}^{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>K</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> be an <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(O\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>O</mi> </math></EquationSource> </InlineEquation>-symmetric convex body, <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq2.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, and let <InlineEquation ID="IEq26"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq26.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\(B\subset \textrm{int}\mathbb {R}^{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mo>⊂</mo> <mtext>int</mtext> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> be a ball with center at <InlineEquation ID="IEq27"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(O\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>O</mi> </math></EquationSource> </InlineEquation>. We are going to prove that if <InlineEquation ID="IEq28"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq28.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(B\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>B</mi> </math></EquationSource> </InlineEquation> is small enough and all the sections of <InlineEquation ID="IEq29"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(K\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>K</mi> </math></EquationSource> </InlineEquation> given by planes tangent to <InlineEquation ID="IEq30"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq28.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(B\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>B</mi> </math></EquationSource> </InlineEquation> are <InlineEquation ID="IEq31"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq31.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\((n-1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-ellipsoids, then <InlineEquation ID="IEq32"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(K\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>K</mi> </math></EquationSource> </InlineEquation> is an <InlineEquation ID="IEq33"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_736_Article_IEq33.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>n</mi> </math></EquationSource> </InlineEquation>-ellipsoid.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On characteristic properties of the ellipsoid in terms of circumscribed cones of a convex body

  • E. Morales-Amaya,
  • G. Mondragón,
  • J. Jerónimo-Castro

摘要

To prove two important geometrical problems in convexity, namely, the Conjecture of Bianchi and Gruber (Arch Math 49:344–350, 1987) and the Conjecture of Barker and Larman (Discrete Math 241:79–96, 2001), it is necessary to obtain new characteristic properties of the ellipsoid, which involves the notions defined in such problems. In this work, we present a series of results which intend to be a progress in such direction: Let \(L,K\subset \mathbb {R}^{n}\) L , K R n be convex bodies, \(n\ge 3\) n 3 , and \(L\subset \textrm{int}K\) L int K . Then, each of the following conditions (i), (ii) and (iii) implies that \(L\) L is an ellipsoid. (i)

\(L\) L is \(O\) O -symmetric and, for every \(x\in \textrm{bd}K\) x bd K , the support cone \(S(L,x)\) S ( L , x ) is ellipsoidal.

(ii)

there exists a point \(p\in \mathbb {R}^{n}\) p R n , such that for every \(x\in \textrm{bd}K\) x bd K , there exists \(y\in \textrm{bd}K\) y bd K and hyperplane \(\Pi \) Π , passing through \(p\) p , such that \(\begin{aligned} S(L,x)\cap S(L,y)=\Pi \cap \textrm{bd}K. \end{aligned}\) S ( L , x ) S ( L , y ) = Π bd K .

(iii)

\(K\) K and \(L\) L are \(O\) O -symmetric, every \(x\in \textrm{bd}K\) x bd K is a pole of \(L\) L and \(\Omega _x:=S(L,x)\cap S(L,-x)\) Ω x : = S ( L , x ) S ( L , - x ) is contained in \(\textrm{int}K\) int K .

In the case (ii), \(K\) K is also an ellipsoid and it is concentric with \(L\) L . On the other hand, let \(K\subset \mathbb {R}^{n}\) K R n be an \(O\) O -symmetric convex body, \(n\ge 3\) n 3 , and let \(B\subset \textrm{int}\mathbb {R}^{n}\) B int R n be a ball with center at \(O\) O . We are going to prove that if \(B\) B is small enough and all the sections of \(K\) K given by planes tangent to \(B\) B are \((n-1)\) ( n - 1 ) -ellipsoids, then \(K\) K is an \(n\) n -ellipsoid.