geometry
IsEquilateral
test if a given triangle is equilateral
Calling Sequence
Parameters
Description
Examples
IsEquilateral(ABC, cond)
ABC
-
triangle
cond
(optional) name
This routine tests if the given triangle ABC is equilateral. It returns true if ABC is equilateral; false if it is not; and FAIL if it is unable to reach a conclusion.
In FAIL is returned, and the optional argument is given, then the condition that makes ABC equilateral is assigned to this argument. It will be either of the form expr=0 or of the form &orexpr_1=0,expr_2=0,...,expr_n where expr, expri_i are maple expressions.
The command with(geometry,IsEquilateral) allows the use of the abbreviated form of this command.
withgeometry:
triangleABC,pointA,0,0,pointB,2,0,pointC,1,2
IsEquilateralABC
false
pointC,1,a:
IsEquilateralABC,cond
IsEquilateral: "hint: one of the following conditions must be satisfied: {-a^2+3 = 0}"
FAIL
−a2+3=0
assumecond
true
assumeop1,cond≠op2,cond
assume0<a
triangleT,a,a,a
T
IsEquilateralT
See Also
geometry[IsRightTriangle]
geometry[triangle]
Download Help Document