It is known that line L1: $\frac{x-a_{2}}{a_{1}}=\frac{y-b_{2}}{b_{1}}=\frac{z-c_{2}}{c_{1}}$ and line L2: $\frac{x-a_{3}}{a_{2}}=\frac{y-b_{3}}{b_{2}}=\frac{z-c_{3}}{c_{2}}$ intersect at a point.
Now I want to find the possible relationship between vectors $a_{1}=\left[\begin{array}{l} a_{1} \\ b_{1} \\ c_{1} \end{array}\right]$, $a_{2}=\left[\begin{array}{l} a_{2} \\ b_{2} \\ c_{2} \end{array}\right]$, $a_{3}=\left[\begin{array}{l} a_{3} \\ b_{3} \\ c_{3} \end{array}\right]$.
But I had trouble solving this problem with the following code:
Eliminate[(x0 - a2)/a1 == (y0 - b2)/b1 == (z0 - c2)/c1 && (x0 - a3)/
a2 == (y0 - b3)/b2 == (z0 - c3)/c2 && α1 = {a1, a2,
a3} && α1 == {a1, a2, a3} && α2 == {b1, b2,
b3} && α3 == {c1, c2, c3}, {x0, y0, z0}](*Suppose that the intersection of two lines is {x0, y0, z0}*)
Even I can't get the relationship between vectors with specific values:
Solve[α1 == {1, 2, 3} && α2 == {1, 0,
0} && α3 == {2, 2, 3} && α3 ==
k1*α1 + k2*α2, {k1,
k2}, {α1, α2, α3}]
Reduce[α1 == {1, 2, 3} && α2 == {1, 0,
0} && α3 == {2, 2, 3}, {α1, α2, α3}](we should get a result like α3 == α2 + α1)
Eliminate function seems to be unable to directly deal with the relationship in the form of vector, what should I do to better solve this problem?
α1, α2, α3is superfluous. This should satisfy your expectations:Eliminate[(x0 - a2)/a1 == (y0 - b2)/b1 == (z0 - c2)/c1 && (x0 - a3)/ a2 == (y0 - b3)/b2 == (z0 - c3)/c2, {x0, y0, z0}]. – Artes Aug 02 '20 at 00:50Eliminatein my comment provides a relation that you can transform as you like. Nevertheless there is also usage ofSolvewhich eliminates appropriate variables e,g,Solve[(x0 - a2)/a1 == (y0 - b2)/b1 == (z0 - c2)/c1 && (x0 - a3)/ a2 == (y0 - b3)/b2 == (z0 - c3)/c2, {a3, b3, c3}, {x0, y0, z0}, MaxExtraConditions -> All], see e.g.these answers 1 and 2. – Artes Aug 02 '20 at 01:34EliminatenorSolveprovide equation in the form you expect. However if you find result you want to get you could also transform it to the form you expect, e.g. usingReplaceAlli.e./.. – Artes Aug 02 '20 at 01:43