Question 468375
{{{c = sqrt(a^2 - b^2)}}}
{{{c^2 = a^2 - b^2}}}
{{{a^2 = b^2 + c^2}}}
{{{a = sqrt(b^2 + c^2)}}}