geometry - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Geometry : 2-D Euclidean : Triangle Geometry : geometry/IsRightTriangle

geometry

  

IsRightTriangle

  

test if a given triangle is a right triangle

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

IsRightTriangle(ABC, cond )

Parameters

ABC

-

triangle

cond

-

(optional) name

Description

• 

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.

Examples

withgeometry:

triangleT,2,2,3

T

(1)

IsRightTriangleT

false

(2)

triangleABC,pointA,0,0,pointB,2,0,pointC,0,2

ABC

(3)

IsRightTriangleABC

true

(4)

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

(5)

cond

4b=04b8=02b2+4b2=0

(6)

assumeop1,cond

IsRightTriangleABC

true

(7)

See Also

geometry[IsEquilateral]

geometry[triangle]

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam