Un cono cuadrático de dimensión n se define como $$Q^n=\left\{x\in\mathbb{R}^n:x_1\geq\sqrt{x_2^2+x_3^2+\cdots+x^2_n}\right\}.$$
He leído que $||x||^2_2\leq y$ si y sólo si $(1/2, y, x)\in Q^{n+2}.$ Esta declaración me parece muy confusa. $(1/2, y, x)\in Q^{n+2}$ aparentemente significa $$\frac12\geq \sqrt{y^2+||x||^2_2}.$$ ¿Cómo se relaciona esto con $||x||^2_2\leq y$ ?