geom3d - Maple Programming Help

Home : Support : Online Help : Mathematics : Geometry : 3-D Euclidean : Plane Functions : geom3d/IsRightTriangle

geom3d

 IsRightTriangle
 test if a given triangle is a right triangle

 Calling Sequence IsRightTriangle(ABC, cond)

Parameters

 ABC - triangle cond - (optional) name

Description

 • The 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 $\mathrm{expr}=0$ or of the form $&\mathrm{or}\left(\mathrm{expr_1}=0,\mathrm{expr_2}=0,...,\mathrm{expr_n}\right)$ where expr, expri_i are Maple expressions.
 • The command with(geom3d,IsRightTriangle) allows the use of the abbreviated form of this command.

Examples

 > $\mathrm{with}\left(\mathrm{geom3d}\right):$
 > $\mathrm{triangle}\left(\mathrm{ABC},\left[\mathrm{point}\left(A,0,0,0\right),\mathrm{point}\left(B,2,0,0\right),\mathrm{point}\left(C,0,2,0\right)\right]\right)$
 ${\mathrm{ABC}}$ (1)
 > $\mathrm{IsRightTriangle}\left(\mathrm{ABC}\right)$
 ${\mathrm{true}}$ (2)