p = (a+b+c)/2
p-a = (b+c-a)/2
p-b = (a+c-b)/2
p-с = (a+b-c)/2
16p(p-a)(p-b)(p-c) =
(a+b+c)(b+c-a)(a+c-b)(a+b-c) =
((b+c)²- a²)(a²-(b-c)²) =
(b+c)²a² - a⁴ - (b+c)²(b-c)² + a²(b-c)² =
b²a² + 2a²bc + c²a² - a⁴ - (b²-c²)² + a²b² - 2a²bc + a²c² =
2a²b² + 2a²c² - a⁴ - b⁴ + 2b²c² - c⁴ =
- (b⁴ + c⁴ + a⁴ - 2b²c² - 2a²b² - 2a²c²) =
- (b⁴ + c⁴ + a⁴ + 2b²c² - 2a²b² - 2a²c² - 4b²c²) =
- ((b² + c² - a²)² - 4b²c²) =
4b²c² - (b² + c² - a²)²
p = (a+b+c)/2
p-a = (b+c-a)/2
p-b = (a+c-b)/2
p-с = (a+b-c)/2
16p(p-a)(p-b)(p-c) =
(a+b+c)(b+c-a)(a+c-b)(a+b-c) =
((b+c)²- a²)(a²-(b-c)²) =
(b+c)²a² - a⁴ - (b+c)²(b-c)² + a²(b-c)² =
b²a² + 2a²bc + c²a² - a⁴ - (b²-c²)² + a²b² - 2a²bc + a²c² =
2a²b² + 2a²c² - a⁴ - b⁴ + 2b²c² - c⁴ =
- (b⁴ + c⁴ + a⁴ - 2b²c² - 2a²b² - 2a²c²) =
- (b⁴ + c⁴ + a⁴ + 2b²c² - 2a²b² - 2a²c² - 4b²c²) =
- ((b² + c² - a²)² - 4b²c²) =
4b²c² - (b² + c² - a²)²