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 | √ |
| ⎤ ⎥ ⎦ |