Let (x,y,z) be a solution of the system of equations (1). Then it holds that
(a2c1−a1c2)x+(b2c1−b1c2)y=c1−c2(a3c2−a2c3)x+(b3c2−b2c3)y=c2−c3(a1c3−a3c1)x+(b1c3−b3c1)y=c3−c1
From this, by multiplying with b3,b2, and b1 respectively and adding, we obtain
D⋅x=(c1−c2)b3+(c2−c3)b1+(c3−c1)b2
where
D=a1b2c3−a1b3c2+a2b3c1−a2b1c3+a3b1c2−a3b2c1
Furthermore, we obtain
D⋅y=(a1−a2)c3+(a2−a3)c1+(a3−a1)c2 and
D⋅z=(b1−b2)a3+(b2−b3)a1+(b3−b1)a2
Therefore, the system of equations (1) has, due to (2), (4), and (85), exactly one real solution if D=0, so that A wins; in the case D=0, no or infinitely many real solutions, so that B wins.
Hence, B can enforce the win with the following strategy, i.e., achieve that D=0:
1. Without loss of generality, assume that A first assigns the coefficient a1 (all other possibilities can be reduced to this by swapping equations or swapping unknowns). Then B assigns the coefficient c2 with 0 and achieves
D=a1b2c3+a2b3c1−a2b1c3−a3b2c1
where the coefficient a1 is now fixed.
2. If A now assigns the coefficient c3, B assigns the coefficient b2 with 0 and achieves
D=a2b3c1−a2b1c3
If, on the other hand, A assigns another coefficient, B assigns the coefficient c3 with 0 and achieves
D=a2b3c1−a3b2c1
In both cases, in the obtained representation of D, at most one coefficient is fixed (in the first case, this is exactly the coefficient c3).
3. If A now assigns another coefficient, in at most one of the two products (from the obtained representation of D) two fixed coefficients will occur. B can then assign another coefficient with 0 in a product with the maximum number of fixed coefficients and achieve
D=a2b3c1 or D=−a3b2c1
where in each case at most one coefficient is fixed.
4. Regardless of which coefficient A now assigns, B can achieve that D=0 by assigning the still free coefficient with 0.
Regardless of any further assignments made until the end of the game, B has thus enforced the win, as in the case D=0, the system of equations (1) has no or infinitely many solutions.
## Adapted from [3]