ItIsEquilateral Definition

# Is the triangle whose vertices are Points A, B, C Equilateral?

ItIsEquilateral:=proc(A,B,C):

ItIsZero (DeSq (A,B)   -   DeSq(A,C))   and   ItIsZero (DeSq (A,C)   -   DeSq(B,C))

end:


Definitions     Theorems