Incenter Definition
# The incenter of the standard triangle Te(m,n)
Incenter:=proc(m,n):
Pt(y-m*x,y+n*x-n):
end:
# It is the meeting point of the three angle bisectors (hence of any two)
# Its existence is proved in the
IncenterExists Theorem