−abx+bcy+(c2−a2)z−acx+(b2−a2)y+bczax+cy+bz=c,=b,=0.
Next, eliminate z from these by first subtracting c2−a2 times the second from bc times the first, and then subtracting c times the third from the second.
These operations yield the following pair of equations for x, y:
ca(c2−a2−b2)x+(b2c2−(c2−a2)(b2−a2))y−2acx+(b2−a2−c2)y=ba2,=b.
Equivalently,
a(b2+c2−a2)y−c(a2+b2−c2)x(c2+a2−b2)y+2acx=ab,=−b,
which becomes, using the cosine rule,
ycosA−xcosC=2acaandycosB+x=−2acb
Now eliminate y from these by subtracting cosA times the second from cosB
times the first, thereby giving an equation for x:
−(cosBcosC+cosA)x=2acacosB+bcosA=2a1
where we have used that c=acosB+bcosA. But
cosA=cos(π−B−C)=−cos(B+C)=−cosBcosC+sinBsinC
and sinBsinC=0. Thus, we can solve the previous equation for x:
x=−2(absinC)(acsinB)abc=−8(ABC)2abc
where (ABC) stands for the area of ABC. In the same way it can be shown
that
y=8(ABC)2abccosB,z=8(ABC)2abccosC,andw=8(ABC)2abccosA.