問*△ABCを鋭角三角形とする。そのとき、各面のすべてが△ABCと合同な四面体画存在することを示せ。

「答案
△ABCは鋭角三角形だから、
a^2+b^2>c^2、b^2+c^2>a^2、a^2+c^2>b^2が成り立つ。
したがって、3つの等式
x^2=1/2(c^2+a^2-b^2)
y^2=1/2(a^2+b^2-c^2)
z^2=1/2(b^2+c^2-a^2)」

まだこの後も解答は続くんですが、なぜこの3つの式が出てきて、これが何を示しているかわかりません。
教えてもらえないでしょうか?
可能であれば、答案読んでもよくわからないんで、この問題の等面四面体について指針?を教えてもらえるとうれしいです。