Consider a symmetric smooth convex body $M$ in $R^4$, and a positive definite symmetric bilinear form $S$, there also exists a vector-valued symmetric linear form $Q$, such that if $S(v, w) = 0$, then $Q(v, w)$ is tangent to the convex body $M$ at $v$ and at $w$. My question is that: Is this convex body an ellipsoid? The background of this problem is that I try to generalize a lemma in my master thesis to a higher dimension. The answer is yes for convex body in $R^3$ and here is the proof: > If we consider a smooth convex body in $R^3$, for every 2-dimensional > hyperplane that crosses the origin, there always exists a basis > $\{e_1, e_2\}$, such that $S(e_1, e_1) = 1, S(e_1, e_2) = 0, S(e_2, e_2) = 1$. This means that $Q(e_1, e_2)$ is tangent to the convex body > both at $e_1$ and $e_2$. > > > Now we consider a rotation with $x = cos\alpha, y = sin\alpha$, since > $S(x e_1 - y e_2, y e_1 + x e_2) = 0$, $Q(x e_1 - y e_2, y e_1 + x e_2) = xy(Q(e_1, e_1) - Q(e_2, e_2)) +(x^2 - y^2)Q(e_1, e_2)$ is > always tangent at $x e_1 - y e_2$ and $y e_1 + x e_2$ for > rotation of every angle $\alpha$. > Then $Q$ would map to $-Q$ when angle $\alpha$ goes from $0$ to $\frac{\pi}{2}$. So there exists a rotation such that $Q$ lies in the > tangent plane spanned by $\{e_1, e_2\}$. Since for such a pair of > vectors $(x_0 e_1 - y_0 e_2, y_0 e_1 + x_0 e_2)$, $Q$ has to be > tangent at two points of the convex body restricted in 2-dimensional hyperplane. Since smooth convex body is > symmetric, then $Q$ has to be zero. > > > So we change the basis of $\{e_1, e_2\}$ to the basis after rotation > $\{x_0 e_1 - y_0 e_2, y_0 e_1 + x_0 e_2\}$ and denote it as \{e_1', e_2'\}. Then $Q(e_1', e_2') = 0$. So $Q(e_1', e_1') - Q(e_2', e_2')$ > has to be tangent at every point of the 2-dimensional hyperplane. So > it is a linear projector that maps the whole convex body to this > hyperplane. > > > Then using Kakutani theorem, this convex body has to be an ellipsoid. The difficulty of generalizing this proof to a higher dimension lies in that for every 2-dimensional hyperplane that crosses the origin, whether there always exists a basis of vectors $(v, w)$ such that the orbit of rotation of $Q(v, w)$ is a 1-dimensional linear subspace. It is possible that it is always 2-dimensional for arbitrary basis.