Search Results

Yes. Any point $y$ in the convex hull of $x$'s is a barycenter of some non-negative masses $m_i$ in $x_i$, $\sum m_i=1$, $y=\sum m_i x_i$. Point $y$ minimizes the moment of inertia $I(p)=\sum m_i |p-x …

Yes. At first, if $h=\min(h_A,h_B)$ is convex (note that it is also 1-homogeneous), it is a support function of the body $C:=\{x:\forall\xi\in \mathbb{R}^n,\langle \xi,x\rangle\leqslant h(\xi)\}$. Nex …

Looks true. A necessary and sufficient condition for these points (let $E$ be a standard ball) is that the identity operator $I$ is a non-negative linear combination of projectors $P_i$ on lines throu …

If $n\geq 4$, let $S$ be a moment curve $f(t)=(t,t^2,\dots,t^n),t\in \mathbb{R}$. Any hyperplane contains at most $n$ points from $S$, since polynomial of degree at most $n$ has at most $n$ roots. So, …

For given integers $n>2$ and $k\in \{2,3,\dots,n-1\}$ the question of Banach asks whether any $n$-dimensional real Banach space with isometric $k$-dimensional sections is a Hilbert space. For $k=2$ th …

Is not it obvious (unlike Prékopa-Leindler)? We are given that for all $x_1,x_2$ we have $(f_1/g_1)^2 (x_1)\leqslant (g_2/f_2)^3(x_2)$, thus there exists $c>0$ such that $(f_1/g_1)^2 (x_1)\leqslant c^ …

Consider a 3d-rotation with respect to the axis generated by the unit vector $(a,b,c)$ to the angle $\theta$. Its matrix is $$ M=\pmatrix{\cos \theta+a^2(1-\cos\theta)&ab(1-\cos\theta)-c\sin\theta& ac …

Assume that $q\in C_2\setminus C_1$. Let $p$ be an interior point of $C_1$. Then the interval $(p,q)$ contains a boundary point of $C_1$ but only interior points of $C_2$. A contradiction.

If $p_1,\dots,p_{n+2}$ are the vertices and $\sum \lambda_i p_i=0$, $\sum \lambda_i=0$, is their (let it be unique for a moment) affine dependence, the point $q=\alpha p_i+(1-\alpha) p_j$ on the diago …

Your argument already gives $$2\cdot\frac{(n-6c)^3}{216}+3\cdot \frac{(n-6c)^3}{108}=\frac{(n-6c)^3}{27}$$ triangles.

Greg is right, of course, the dual must be a zonotope. Let me mention also a direct characterization: for any vectors $x_1,\dots,x_k,y_1,\dots,y_m$ such that $\sum |f(x_i)|\geq \sum |f(y_j)|$ for any …

I do not know the reference, but it looks that even more may be achieved: $t_1,\dots,t_{n-1}$ may be chosen close to 0 and $t_n$ close to 1. Indeed, if the span of $a\cup A$ is spanned by linearly ind …

I do not think so. Consider a uniform matroid on 3 elements $a, b, c$ of rank 2, and take 100 copies of $a$ (so, totally we have 102 elements). Then the matroid base polytope has full dimension 101, t …

Does not an elementary Euclidean proof work verbatim? If both sets are polygons, the interior one is obtained from the exterior one by cuts (i.e. transformations $P\to P\cap H$, where $P$ is a polygon …

Let me give a proof of rozu's guess that $\phi_3(D)=1/2$ and $\phi_3(S)=\sqrt{2}-1$ if $D$, $S$ are a disk and a square. This disproves your conjecture. First of all, for every $K$ and every $N$ the c …