Herron's Theorem

Herron:=proc() local a,b,c,s,A,B,C:

a:=sqrt(DeSq(B,C)):   b:=sqrt(DeSq(A,C)):   c:=sqrt(DeSq(A,B)):   s:=(a+b+c)/2:

ItIsZero( AREA(A,B,C)^2   -   s*(s-a)*(s-b)*(s-c)):

end:


Previous    Definitions     Theorems     Next