geometry
IsRightTriangle
test if a given triangle is a right triangle
Calling Sequence
Parameters
Description
Examples
IsRightTriangle(ABC, cond )
ABC
-
triangle
cond
(optional) name
This routine tests if the given triangle ABC is a right triangle. It returns true if ABC is a right triangle; false if it is not; and FAIL if it is unable to reach a conclusion.
If FAIL is returned, and the optional argument is given, the condition that makes ABC a right triangle 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,IsRightTriangle) allows the use of the abbreviated form of this command.
withgeometry:
triangleT,2,2,3
T
IsRightTriangleT
false
triangleABC,pointA,0,0,pointB,2,0,pointC,0,2
IsRightTriangleABC
true
pointB,1,b:
IsRightTriangleABC,cond
IsRightTriangle: "hint: one of the following conditions must be satisfied: {-4*b = 0, 4*b-8 = 0, -2*b^2+4*b-2 = 0}"
FAIL
&or−4b=0,4b−8=0,−2b2+4b−2=0
assumeop1,cond
See Also
geometry[IsEquilateral]
geometry[triangle]
Download Help Document