|
geometry[AreConcurrent] - test if three lines are concurrent
|
|
Calling Sequence
|
|
AreConcurrent(l1, l2, l3, cond)
|
|
|
Parameters
|
|
|
l1, l2, l3
|
-
|
three lines
|
|
cond
|
-
|
(optional) name
|
|
|
|
|
|
Description
|
|
|
•
|
Three straight lines l1, l2, and l3 are said to be concurrent if they lie in a plane and pass through a common point.
|
|
•
|
The routine returns true if l1, l2, and l3 are concurrent; false if they are not; and FAIL if it is unable to determine if the three lines are concurrent.
|
|
•
|
In case of FAIL, if the optional fourth argument cond is given, the condition that makes the lines concurrent is assigned to this argument.
|
|
•
|
The command with(geometry,AreConcurrent) allows the use of the abbreviated form of this command.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
![line(l1, 3*b-6 = 0, [a, b])](/support/helpjp/helpview.aspx?si=5873/file04046/math91.png) ![line(l2, -3^(1/2)*a+b+3^(1/2)-2 = 0, [a, b])](/support/helpjp/helpview.aspx?si=5873/file04046/math92.png)
|
|
>
|
![line(l3, 3^(1/2)*a+b-3^(1/2)-2 = 0, [a, b])](/support/helpjp/helpview.aspx?si=5873/file04046/math96.png)
|
|
>
|
|
|
| (1) |
|
>
|
![line(l4, sqrt(3)*b-2*sqrt(3) = 11, [a, b])](/support/helpjp/helpview.aspx?si=5873/file04046/math107.png)
|
|
>
|
|
|
| (2) |
|
>
|
![line(l5, m*b+3^(1/2)*a-2 = 0, [a, b])](/support/helpjp/helpview.aspx?si=5873/file04046/math118.png)
|
|
>
|
|
|
AreConcurrent: "unable to determine if 9+6*3^(1/2)*m-6*3^(1/2) is zero"
| |
|
| (3) |
|
>
|
|
|
| (4) |
make necessary assumption:
|
>
|
|
|
>
|
|
|
| (5) |
|
|
Download Help Document
Was this information helpful?
