Incenter Exists Theorem

# Angle Bisectors are concurrent

IncenterExists:=proc() local m,n,A,B,C,T:

T:=Te(m,n):   A:=T[1]:   B:=T[2]:   C:=T[3]:

Concurrent(y-m*x   ,   y+n*x-n   ,   (y-C[2])-(x-C[1])*TS(m,1/n)):

end:

Previous    Definitions     Theorems     Next