Codimension of the largest subspace of a closed convex cone in a normed vector space Please, help to prove (or disprove) the following statement.
Let $K \neq V$ be a closed convex cone ($K+K=K$, $\alpha K \subseteq K$ for any $\alpha \geq 0$) in a real normed vector space $V$. If $-K \cup K = V$, then the subspace $-K \cap K$ has codimension 1.
Thanks.

Here's a version of your proof that convinces me:
Set $X := -K \cap K$. We mean to show that $X$ is a subspace of codimension one, i.e. there is a $y_0$ with $X + \mathbb R y_0 = V$.
To that end, choose $y_0 \in K \setminus X$ (this is possible since otherwise $K \subset -K$, so that $-K = -K \cup K = X$) and let $v \in V$ be arbitrary. We mean to find an $\alpha \in \mathbb R$ such that $v + \alpha y_0 \in X$.
Consider the line $v + \mathbb R y_0$. Then by convexity of $K$, the intersection with $K$ is either (1) empty, (2) a point, (3) a line segment, (4) a beam or (5) a full line.
(1): If this is so, then we have $v + \beta y_0 \subset -K \setminus K$ for every $\beta \in \mathbb R$. Since $-K$ is a cone, we also have $1/\beta v + y_0 \subset -K \setminus K$ for every $\beta > 0$ and thus $y_0 \in -K$ since $-K$ is closed; a contradiction to the choice of $y_0$ (namely, $y_0 \in K \setminus (-K \cap K)$). In other words, this case cannot occur.
(2) This point must also lie in $-K$ since the rest of the line lies in $-K$ and $-K$ is convex. Consequently it lies in $X$.
(3) Analogous to (2).
(4) This beam can be of two forms: $$B_+ = \{ v + \beta y_0 \colon \beta \ge \beta_0 \}$$ or $$B_- = \{ v + \beta y_0 \colon \beta \le \beta_0 \}.$$
In the letter case, we get $-1/\beta v - y_0 \in K$ for every $\beta < \min(\beta_0,-1)$ and thus $y_0 \in -K$; a contradiction to the choice of $y_0$.
In the former case, we have $v + \beta v_0 \in K$ exactly if $\beta \ge \beta_0$. Since $-K$ is closed, we also have $v + \beta v_0 \in -K$ for $\beta \le \beta_0$. This implies $v + \beta_0 v_0 \in X$.
(5) Analogous to the case of $B_-$.
That $X$ is a subspace is clear since by construction, it is a closed convex cone with $-X = X$ and $0 \in X$.
