S = r*p, где
r — радиус вписанной окружности, r = (a+c-b)/2.
p — полупериметр.
Таким образом:
S = r*p = (a+b+c)/2 * (a+c-b)/2 =
= (a2+2*a*c+c2-b2)/4
С учетом (3.1):
a*c/2 = (a2+2*a*c+c2-b2)/4
Приводя к общему знаменателю и пренося в левую часть, получим:
a2+c2-b2 = 0, или
a2+c2 = b2