solve(2ab=sqrt((a+b+c)(b+c-a)(a+c-b)(a+b-c)),c