Здравствуйте.
1) Есть система относительно главного направления
![$(\xi:\eta)$ $(\xi:\eta)$](https://dxdy-03.korotkov.co.uk/f/2/4/a/24aead3e6c9cfa55ba7af41a6f9f865782.png)
:
![$$\left\{
\begin{array}{lll}
(L-kE)\xi+(M-kF)\eta=0,\\
(M-kF)\xi+(N-kG)\eta=0,\\
\end{array}
\right.$$ $$\left\{
\begin{array}{lll}
(L-kE)\xi+(M-kF)\eta=0,\\
(M-kF)\xi+(N-kG)\eta=0,\\
\end{array}
\right.$$](https://dxdy-03.korotkov.co.uk/f/2/e/2/2e2965c108621a6e8443a8babc060a9382.png)
где
![$k$ $k$](https://dxdy-03.korotkov.co.uk/f/6/3/b/63bb9849783d01d91403bc9a5fea12a282.png)
- главная кривизна в направлении
![$(\xi:\eta)$ $(\xi:\eta)$](https://dxdy-03.korotkov.co.uk/f/2/4/a/24aead3e6c9cfa55ba7af41a6f9f865782.png)
.
Мне не совсем понятен второй пункт в книге, где рассматривается случай, когда квадратное уравнение, являющееся определителем из коэффициентов системы имеет два совпадающих корня для
![$k$ $k$](https://dxdy-03.korotkov.co.uk/f/6/3/b/63bb9849783d01d91403bc9a5fea12a282.png)
, то есть
![$k_1=k_2=k$ $k_1=k_2=k$](https://dxdy-03.korotkov.co.uk/f/e/3/7/e37c53eb34b73cb29e895155c01ea0a882.png)
. Понимаю, что в точке регулярной поверхности есть хотя бы два различных главных направления, то есть, можно выбрать хотя бы два линейно независимых решения
![$\xi_1,\eta_1$ $\xi_1,\eta_1$](https://dxdy-01.korotkov.co.uk/f/c/2/0/c20045fd4844e209b621411a63c78f7382.png)
и
![$\xi_2,\eta_2$ $\xi_2,\eta_2$](https://dxdy-02.korotkov.co.uk/f/d/c/2/dc23cf6cbd6e258adb31470436186fd282.png)
. Далее пишет, что это возможно лишь тогда, когда все коэффициенты системы равняются нулю. Вот этот вывод непонятен.
Я могу понять так: функция нормальной кривизны от направления в данной точке либо достигает одного минимума и максимума, либо постоянна. Если она постоянна, то это как раз и означает, что квадратное уравнение для кривизны дает два совпадающие корни. Значит в этом случае любое направление будет главным. Беря направления
![$(\xi_1:0)$ $(\xi_1:0)$](https://dxdy-01.korotkov.co.uk/f/8/f/c/8fc43b9fff5ac194aa3c0157a68eb96282.png)
и
![$(0,\eta_2)$ $(0,\eta_2)$](https://dxdy-04.korotkov.co.uk/f/f/c/2/fc2805dff01d8fda720e31c20e931f9582.png)
можно получить что все коэффициенты системы равны в этом случае нулю.
Но мне интересно, можно ли это доказать имея только два любых линейно независимых решения для
![$(\xi:\eta)$ $(\xi:\eta)$](https://dxdy-03.korotkov.co.uk/f/2/4/a/24aead3e6c9cfa55ba7af41a6f9f865782.png)
, а не выбирая специальных направлений (фактически направлений координатных линий)? То есть, как я понимаю, вопрос сводиться к линейной алгебре, у нас есть система
![$$\left\{
\begin{array}{lll}
ax+by=0,\\
bx+cy=0,\\
\end{array}
\right.$$ $$\left\{
\begin{array}{lll}
ax+by=0,\\
bx+cy=0,\\
\end{array}
\right.$$](https://dxdy-02.korotkov.co.uk/f/d/5/8/d5842540d7999cbbe71b4663c75b7e2a82.png)
можно ли доказать, что если она имеет два линейно независимых решения, то
![$a=b=c=0$ $a=b=c=0$](https://dxdy-02.korotkov.co.uk/f/5/6/0/560cc5c214c3cc1b2bba07ebd5b6ede882.png)
? Важно ли здесь, что в первом и втором уравнении есть повторяющийся коэффициент
![$b$ $b$](https://dxdy-01.korotkov.co.uk/f/4/b/d/4bdc8d9bcfb35e1c9bfb51fc69687dfc82.png)
?
Я ещё пробовал приравнять к нулю дискриминант квадратного уравнения для кривизны (поскольку в этом случае
![$k_1=k_2=k$ $k_1=k_2=k$](https://dxdy-03.korotkov.co.uk/f/e/3/7/e37c53eb34b73cb29e895155c01ea0a882.png)
). Это дает некую связь между коэффициентами первой и второй квадратичных форм, но я не знаю, как это использовать при доказательстве вышеупомянутого факта и важно ли это здесь.
2) Есть дифференциальное уравнение линий кривизны:
![$$Adu^2+2Bdudv+Cdv^2=0,$$ $$Adu^2+2Bdudv+Cdv^2=0,$$](https://dxdy-03.korotkov.co.uk/f/6/a/e/6ae70532442d88238ed445e36242a5e482.png)
где
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
,
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
,
![$C$ $C$](https://dxdy-02.korotkov.co.uk/f/9/b/3/9b325b9e31e85137d1de765f43c0f8bc82.png)
- некоторые обозначения комбинаций из коэффициентов квадратичных форм поверхности. Далее говориться, что поскольку есть два главных направления, то квадратный трехчлен
![$$A+2B\lambda+C\lambda^2$$ $$A+2B\lambda+C\lambda^2$$](https://dxdy-04.korotkov.co.uk/f/f/6/0/f60737291f4b3adf429e183b5a743af382.png)
имеет два разных вещественных корня (рассматривается случай, когда нет точек уплощения и округления), то есть
![$AC-B^2<0$ $AC-B^2<0$](https://dxdy-02.korotkov.co.uk/f/5/d/2/5d2e5aebf85d0d0e25082b47fe12a6b982.png)
. Тогда дифференциальное уравнение можно записать как систему
![$$\left\{
\begin{array}{lll}
Adu+(B+\sqrt{B^2-AC})dv=0,\\
Adu+(B-\sqrt{B^2-AC})dv=0.\\
\end{array}
\right.$$ $$\left\{
\begin{array}{lll}
Adu+(B+\sqrt{B^2-AC})dv=0,\\
Adu+(B-\sqrt{B^2-AC})dv=0.\\
\end{array}
\right.$$](https://dxdy-04.korotkov.co.uk/f/b/e/5/be5251843613110987b439bfdcfa931082.png)
Я пробовал получить это так: нашёл корни
![$\lambda_1$ $\lambda_1$](https://dxdy-01.korotkov.co.uk/f/c/e/9/ce9b0d1765717c60b7915f2a48951a9282.png)
и
![$\lambda_2$ $\lambda_2$](https://dxdy-03.korotkov.co.uk/f/2/2/d/22d952fd172ae91ac1817c8f2b3be08882.png)
из квадратного уравнения и записал
![$C(\lambda-\lambda_1)(\lambda-\lambda_2)=0$ $C(\lambda-\lambda_1)(\lambda-\lambda_2)=0$](https://dxdy-01.korotkov.co.uk/f/c/e/f/cefaf6217ecdd3a2aa781e338e817d1e82.png)
. Потом написал, что каждая скобка равна нулю, думая, что это и будет искомая система дифференциальных уравнений первого порядка, получил:
![$$\left\{
\begin{array}{lll}
Cdv+(B+\sqrt{B^2-AC})du=0,\\
Cdv+(B-\sqrt{B^2-AC})du=0,\\
\end{array}
\right.$$ $$\left\{
\begin{array}{lll}
Cdv+(B+\sqrt{B^2-AC})du=0,\\
Cdv+(B-\sqrt{B^2-AC})du=0,\\
\end{array}
\right.$$](https://dxdy-01.korotkov.co.uk/f/8/2/3/823af19584483b536230d64fde43b80082.png)
то есть не совпало, хотя что-то близкое. Но я не уверен что так должно быть, например почему мы приравниваем к нулю обе скобки если достаточно только одной.