結局
c/2 * √a^2-((a^2-b^2+c^2)/2c)^2

になったお(´・ω・`)