Лексель Котов – архимагос исследовательского флота Котова
Таркис Блейлок – фабрикатус-локум, магос региона Кебрения
Виталий Тихон – звёздный картограф орбитальных галерей Кватрии
Линья Тихон – звёздный картограф, дочь Виталия Тихона
Азурамаджелли – магос астронавигации
Криптаэстрекс – магос логистики
Тарентек – фабрикатус ковчега
Хиримау Дахан – секутор/сюзерен гильдии
Хирона Манубия – магос кузни “Электрус”
Тота Мю-32 – надсмотрщик Механикус
Авреем Локк – крепостной
Расселас Х-42 – аркофлагеллант
Ванн Койн – крепостной
Юлий Хоук – крепостной
Исмаил де Рёвен – сервитор
Галатея – запрещённый машинный интеллект
Экснихлио
Веттий Телок – архимагос исследовательского флота Телока
“Ренард”
Робаут Сюркуф – капитан
Эмиль Надер – первый
Адара Сиаваш – наёмный стрелок
Иланна Павелька – техножрец
Каирн Силквуд – технопровидец
Обозначим cлагаемые за Х,У,Z
(X+Y+Z)/3>=1
Согласно неравенству о среднем арифметическом и среднем геометрическом достаточно доказать :
ХУZ>=1
Вернемся к исходным обозначениям
8abc>=(a+b)(b+c)(a+c)
Снова согласно неравенству о среднем арифметическом и среднем геометрическом видим
a+b>=2sqrt(ab) b+c>=2sqrt(сb) (a+c)>=2sqrt(ac)
поэтому можим заменить сомножители справа на произведение
2sqrt(ab)*2sqrt(aс)*2sqrt(сb)=8abc, что и доказывает неравенство.
Равенство достигается только при а=с=b
