How to prove this algebraic version of the sine law?

Let $a=0$.

Thus, $$xc=b$$ and $$xb=c,$$ which gives $$x^2bc=bc$$ or $$(x^2-1)bc=0$$ and since $x^2\neq1,$ we obtain $bc=0$ and from here $$a=b=c=0,$$ which gives that our statement is true.

Let $abc\neq0$.

Thus, $$\frac{zb}{a}+\frac{yc}{a}=1$$ and $$\frac{xc}{b}+\frac{za}{b}=1,$$ which gives $$z^2+\frac{xyc^2}{ab}+\frac{xzc}{a}+\frac{yzc}{b}=1$$ or $$\frac{1-z^2}{c^2}=\frac{xy}{ab}+\frac{yz}{bc}+\frac{zx}{ca},$$ which gives $$\frac{a^2}{1-x^2}=\frac{b^2}{1-y^2}=\frac{c^2}{1-z^2}=\frac{1}{\frac{xy}{ab}+\frac{yz}{bc}+\frac{zx}{ca}}.$$


It turns out that I solved the equations for the wrong variables. If I rewrite $(1)-(3)$ as $$\begin{bmatrix}0&c&b\\ c&0&a\\ b&a&0\end{bmatrix}\begin{bmatrix}x\\ y\\ z\end{bmatrix}=\begin{bmatrix}a\\ b\\ c\end{bmatrix}$$ and solve for $x,y,z$ instead, I will get the law of cosines, i.e. $$x=\frac{b^2+c^2-a^2}{2bc}$$ etc.. Therefore $$\frac{a^2}{1-x^2}=\frac{4a^2b^2c^2}{2(a^2b^2+b^2c^2+c^2a^2)-(a^4+b^4+c^4)}.$$ As Roman Odaisky has pointed out, this expression can be rewritten as $\frac{a^2b^2c^2}{4s(s-a)(s-b)(s-c)}$, where $s=\frac12(a+b+c)$. By symmetry, $\frac{b^2}{1-y^2}$ and $\frac{c^2}{1-z^2}$ are also equal to the same expression. Geometrically (and according to Heron's formula), this means the common ratio in the law of sines is equal to $\frac{abc}{2T}$ where $T$ is the area of the triangle.


We can write

I) $z=\frac{a-yc}{b}$ from (1)

Now, multiplying $y$ on both sides of (3) we get $yc=y^2a+xyb$.

So, from I) we get $\frac{a-ay^2}{b}-xy=z$.....(1')

Similarly from equation (2) we get

II) $z=\frac{b-xc}{a}$ from (2)

Now, multiplying $x$ on both sides of (3) we get $xc=xya+x^2b$.

And we get from (2) $\frac{b-bx^2}{a}-xy=z$.....(2')

From (1') and (2') we get,

$\frac{a-ay^2}{b}=\frac{b-bx^2}{a} \rightarrow \frac{a^2}{1-x^2}=\frac{b^2}{1-y^2}$.

Similarly, $\frac{a^2}{1-x^2}=\frac{c^2}{1-z^2}$

So, ultimately we have proved $\frac{a^2}{1-x^2}=\frac{b^2}{1-y^2}=\frac{c^2}{1-z^2}$

Suppose, $b=0$, then $\frac{a}{c}=y=\frac{c}{a}$ or $y=1$. So, $\frac{b^2}{1-y^2}$ will be undefined.

If also $c=0$ then $a=0$.