Is this proof correct?
F2 = {(x, y) ∈ R^2, x^2 = y^2}
To show that F2 is a vector subspace of R^2, we must verify that:
The null vector (0,0) belongs to F2.
F2 is closed under addition.
F2 is closed under multiplication by a scalar.
The null vector (0,0) belongs to F2 because 0^2 = 0 and therefore (0,0) is a solution of the equation x^2 = y^2.
Let (a,b) and (c,d) be two vectors of F2. We must show that their sum (a+c, b+d) belongs to F2, that is to say that (a+c)^2 = (b+d)^2. Expanding this expression, we get:
(a+c)^2 - (b+d)^2 = a^2 + 2ac + c^2 - b^2 - 2bd - d^2
= (a^2 - b^2) + 2ac - 2bd + (c^2 - d^2)
Since (a,b) and (c,d) belong to F2, we have a^2 = b^2 and c^2 = d^2. Therefore, (a+c)^2 - (b+d)^2 = 0, which shows that (a+c, b+d) belongs to F2. So F2 is closed under addition.
Let k be a scalar and (a,b) a vector of F2. We must show that k(a,b) = (ka,kb) belongs to F2, that is to say that (ka)^2 = (kb)^2. This condition is clearly satisfied because (ka)^2 = k^2(a^2) = k^2(b^2) = (kb)^2. So F2 is closed under multiplication by a scalar.
As the three conditions are satisfied, we can conclude that F2 is a vector subspace of R^2.