Не могли бы Вы проверить:
Дан круг радиусом `R`. Найти найти вписанный в него треугольник, площадь которого наибольшая.
Нужно составить задачу оптимизации и решить её.
Как мне уже посоветовали в предыдущем топике вполне логично составить задачу оптимизации:
`{(R^2/2(sin alpha + sin beta + sin (2pi-alpha-beta))->max ), (0<=alpha < pi), (0<=beta < pi):}`
Дальше можно было бы просто максимизировать сумму трех синусов, взяв производную по двум аргументам, получается:
`{(cos alpha - cos (alpha+beta) = 0),(cos beta -cos (alpha+beta) = 0):}`, вычитая поулчаем `cos alpha = cos beta`. Альфа и бета - углы от нуля до `2pi`, значит `alpha=beta` (или же `beta = 2pi-alpha`) и значит `cos alpha - cos (2alpha) = 0`, отсюда `[(alpha=0), (alpha=2pi/3), (alpha=4pi/3):}`. `alpha=0` очевидно неверно. Если `alpha=2pi/3`, то все центральные углы по 120, значит треугольник равносторонний (нужный ответ). Ну и, наконец, если `alpha = 4pi/3`, то `beta = alpha = 4pi/3`, что невозможно. Если же `beta = 2pi-alpha`, то `cos alpha = 1`, значит `alpha=0` (посторонний корень) или `alpha = pi`
Итого один ответ: все углы по 60 градусов.
Дан круг радиусом `R`. Найти найти вписанный в него треугольник, площадь которого наибольшая.
Нужно составить задачу оптимизации и решить её.
Как мне уже посоветовали в предыдущем топике вполне логично составить задачу оптимизации:
`{(R^2/2(sin alpha + sin beta + sin (2pi-alpha-beta))->max ), (0<=alpha < pi), (0<=beta < pi):}`
Дальше можно было бы просто максимизировать сумму трех синусов, взяв производную по двум аргументам, получается:
`{(cos alpha - cos (alpha+beta) = 0),(cos beta -cos (alpha+beta) = 0):}`, вычитая поулчаем `cos alpha = cos beta`. Альфа и бета - углы от нуля до `2pi`, значит `alpha=beta` (или же `beta = 2pi-alpha`) и значит `cos alpha - cos (2alpha) = 0`, отсюда `[(alpha=0), (alpha=2pi/3), (alpha=4pi/3):}`. `alpha=0` очевидно неверно. Если `alpha=2pi/3`, то все центральные углы по 120, значит треугольник равносторонний (нужный ответ). Ну и, наконец, если `alpha = 4pi/3`, то `beta = alpha = 4pi/3`, что невозможно. Если же `beta = 2pi-alpha`, то `cos alpha = 1`, значит `alpha=0` (посторонний корень) или `alpha = pi`
Итого один ответ: все углы по 60 градусов.
Я говорил про центральные углы... а они могут быть больше, чем `pi`...
Правда, тогда надо ставить модули синусов... а это грустно...Будем считать, что Вы "из геометрических соображений" сделали вывод об углах не более развёрнутого...Хм... после раздумий понял, что модуль не нужен...
================================
`alpha=0` очевидно неверно.
Почему неверно?... просто это точка минимума...
=====================
Замечание из серии "я так думаю"(с)...
В целом мне кажется зря Вы перешли к двум переменным... тут периодически надо вспоминать про третий угол...
Оставили бы функцию трёх переменных с одним линейным ограничением в виде равенства... и методом множителей Лагранжа всё сделали...
И мне кажется, что этот вариант будет проще при добавлении ограничений на длины, которые возникают в следующих пунктах...
`{(R^2/2(sin alpha + sin beta + sin (gamma))->max ), (alpha+beta+gamma=2pi), (alpha>=0),(beta>=0),(gamma>=0):}`?
А потом составляем функцию Лагранжа: `F=R^2/2(sin alpha + sin beta + sin (gamma))+lambda*(alpha+beta+gamma-2pi)`
И теперь решать задачу Лагранжа?
После нескольких вычитаний:
`{(-sqrt(2)sin(alpha-pi/4)+sqrt(2)sin(beta-pi/4)=0),(-sqrt(2)sin(beta-pi/4)+sqrt(2)sin(gamma-pi/4)=0),(R^2/2(sin alpha + sin beta + cos (gamma))+lambda=0),(alpha+beta+gamma-2pi=0):}`
Первое уравнение - из первого вычли второе. ВТорое - из второго вычли третье.
`{(R^2/2(sin alpha + sin beta + sin (gamma))->max ), (alpha+beta+gamma=2pi), (alpha>=0),(beta>=0),(gamma>=0):}`
Но если мы переименуем альфу, бету и гамму, то ничего не поменяется. МОжно ли отсюда сделать вывод, что `alpha=beta=gamma`?
В комментарии от 2016-03-28 в 08:56 мск у Вас очень загадочно найдены частные производные от суммы синусов ...
Но если мы переименуем альфу, бету и гамму, то ничего не поменяется. МОжно ли отсюда сделать вывод, что `alpha=beta=gamma`?
А почему это не будет точной минимума?...
`{(R^2/2 * cos alpha +lambda=0), (R^2/2 * cos beta +lambda=0), (R^2/2 * cos gamma +lambda=0),(alpha+beta+gamma-2pi=0):}`
Отсюда можно повыражать косинусы. Только вот четвертое уравнение без косинусов, с арккосинусами не хочется возиться.
Мб поскладывать как-нибудь уравнения
Ну, а то, что случай `alpha = x=beta=gamma`, тогда они все по `2pi/3`. - максимум, это надо ещё проверить... " я так думаю"(с) ...
Если бы у Вас была функция одной переменной, то там для гладких функций минимумы обязательно чередуются с максимумами ... (возможно между ними стоят седловые точки)...
У функций многих переменных всё не так просто... можно легко придумать пример функции, у которой есть несколько минимумов и седловых точек, но нет максимумов... (например, возьмите два параболоида ... немного раздвиньте... получите два минимума и одно седло без максимумов)...
Вы всё время пытаетесь увернуться от критерия оптимальности...
Причём тут неравенства?... неравенства определяют множество допустимых решений...
Ну, а классификация точек экстремума функции многих переменных - это материал первого курса матанализа...