Способы нахождения точек пересечения трёх гиперболоидов

Форум для обсуждения вопросов математики

Модератор: Admin

Markiyan Hirnyk
Сообщения: 1366
Зарегистрирован: Вс дек 04, 2011 11:07 pm

Сообщение Markiyan Hirnyk » Чт апр 17, 2014 4:03 pm

Вот почему я Вас и доспрашиваю: применяя мощные средства пакета Maple, получаю
_local(D); _local(I); sys := {X^2*A[1, 2]+X*Y*D[1, 2]+X*Z*E[1, 2]+Y^2*B[1, 2]+Y*Z*F[1, 2]+Z^2*C[1, 2]+X*G[1, 2]+Y*H[1, 2]+Z*I[1, 2]+J[1, 2] = 0, X^2*A[3, 4]+X*Y*D[3, 4]+X*Z*E[3, 4]+Y^2*B[3, 4]+Y*Z*F[3, 4]+Z^2*C[3, 4]+X*G[3, 4]+Y*H[3, 4]+Z*I[3, 4]+J[3, 4] = 0, X^2*A[5, 6]+X*Y*D[5, 6]+X*Z*E[5, 6]+Y^2*B[5, 6]+Y*Z*F[5, 6]+Z^2*C[5, 6]+X*G[5, 6]+Y*H[5, 6]+Z*I[5, 6]+J[5, 6] = 0};
SolveTools:-PolynomialSystem(sys, {X, Y, Z});

NULL
Отсутствие выхода означает, что либо Maple не может решить систему, либо она не имеет решений.

Kaspar20
Сообщения: 10
Зарегистрирован: Вт апр 15, 2014 8:43 am

Сообщение Kaspar20 » Чт апр 17, 2014 4:13 pm

Markiyan Hirnyk писал(а):Вот почему я Вас и доспрашиваю: применяя мощные средства пакета Maple, получаю
_local(D); _local(I); sys := {X^2*A[1, 2]+X*Y*D[1, 2]+X*Z*E[1, 2]+Y^2*B[1, 2]+Y*Z*F[1, 2]+Z^2*C[1, 2]+X*G[1, 2]+Y*H[1, 2]+Z*I[1, 2]+J[1, 2] = 0, X^2*A[3, 4]+X*Y*D[3, 4]+X*Z*E[3, 4]+Y^2*B[3, 4]+Y*Z*F[3, 4]+Z^2*C[3, 4]+X*G[3, 4]+Y*H[3, 4]+Z*I[3, 4]+J[3, 4] = 0, X^2*A[5, 6]+X*Y*D[5, 6]+X*Z*E[5, 6]+Y^2*B[5, 6]+Y*Z*F[5, 6]+Z^2*C[5, 6]+X*G[5, 6]+Y*H[5, 6]+Z*I[5, 6]+J[5, 6] = 0};
SolveTools:-PolynomialSystem(sys, {X, Y, Z});

NULL
Отсутствие выхода означает, что либо Maple не может решить систему, либо она не имеет решений.


К сожалению, я не знаком с программой maple, поэтому не очень хорошо понимаю то, что от меня требуется.

Я вот что не понял, maple не сможет решить систему при любых значениях констант?

Давайте я завтра вам скину конкретны значения для примера, а вы попробуете снова прогнать.

PS: В любом случае благодарю за помощь.