See Section 13.8.3 for right triangles in the plane.
The right_triangle command returns and draws a right triangle. It can take its arguments in different ways.
Three points.
Example.
Input:
| A:= point(0,0,0); B:= point(3,3,3); |
| P:= point(0,0,3) |
| right_triangle(A,B,P); |
Output:
Three points and a real number.
Examples.
| right_triangle(A,B,[P,2],C) |
| coordinates(C) |
| ⎡ ⎢ ⎣ | −3 | √ |
| ,−3 | √ |
| ,6 | √ |
| ⎤ ⎥ ⎦ |