For what $\alpha$ is $\{(x,y,z) \in \mathbb{R}^3| x^2+y^2=z^2, z-y+\alpha=0\}$ a subspace For each $\alpha \in \mathbb{R}$, let $S_{\alpha}=\{(x,y,z) \in \mathbb{R}^3| x^2+y^2=z^2, z-y+\alpha=0\}$. For which $\alpha$ (if any) 
is $S_{\alpha}$ a subspace of $\mathbb{R}^3$?
We know that $S_{\alpha}$ if a subspace if:
1) $\vec{0} \in S_{\alpha}$ 
2) if $\vec{a}$ and $\vec{b}$ are in $S_{\alpha}$, then $\vec{a}+\vec{b} \in S_{\alpha}$
3) For any $c\in\mathbb{R}$ and $\vec{a} \in S_{\alpha}$, $c\vec{a} \in S_{\alpha}$.
I am not sure if I understand what this statement is saying, but would it be correct to say that for $\alpha=0$ $S_{\alpha}$ is a subspace because then $z=y \rightarrow z^2=y^2 \rightarrow x^2=0$ and then only $(0,0,0) \in S_{\alpha}$, and this satisfies the three axioms above? 
How could I find a more general solution?

Since $0$ must be inside $S_\alpha$, we need $0-0+\alpha=0$, that is $\alpha =0$.
Hence $S_\alpha$ is a subspace implies that $\alpha = 0$.
If $\alpha = 0$, then $y = z$ and $x^2+y^2=z^2$ which reduces to $x=0$.
That is $$S_0 = \{ (x,y,z) \in \mathbb{R}^3|x=0, y=z\}$$
I will leave the verification of closure of addition and multiplication as exercise.
