What is
Sorry for not noticing sooner but your solution appears to be incorrect. By Heron's formula:
which implies which is obviously false (for a general ).
I'm eagerly waiting for a good solution. (The upper was so simple to get I assume the lower should come just as easy but I can't see ) Any help would be greatly appreciated! Thanks.