Loading [MathJax]/jax/element/mml/optable/GeneralPunctuation.js

M1635. О разбиении сторон правильного треугольника на n равных отрезков.

Задача из журнала «Квант» (выпуск №2, 1998).

Условие

    Каждая сторона правильного треугольника разбита на n равных отрезков, и через все точки деления проведены прямые, параллельные сторонам. Данный треугольник разбился на n2 маленьких треугольников-клеток. Треугольники, расположенные между двумя соседними параллельными, образуют полоску.

  1. Какое наибольшее число клеток можно отметить, чтобы никакие две отмеченные клетки не принадлежали одной полоске ни по одному из трёх направлений, если n=10?
  2. Тот же вопрос для n=9.

Решение

  1. На рисунке 1 показан способ отметить 7 треугольников. Чтобы доказать, что при n=10 нельзя отметить 8 треугольников, разрежем исходный треугольник средними линиями на четыре треугольника. Каждый из них состоит из 25 треугольничков. Обозначим количества отмеченных треугольничков в угловых треугольниках буквами k,l,m, а в центральном — n. Тогда k+l+n5, поскольку два угловых треугольника вместе с центральным состоят из 5 полос. Аналогично,l+m+n5 и m+k+n5.
    Сложим эти три неравенства: 2k+2l+2m+3n15. Следовательно, k+l+m+n12(2k+2l+2m+3n)152<8.
  2. Решим задачу для произвольного n. Рассмотрим одну из сторон исходного треугольника и пронумеруем полоски соответствующего направления следующим образом: полоска, прилегающая к стороне, пусть будет иметь номер 1; следующая за ней — номер 2;…; полоска, состоящая из одного треугольника, примыкающего к вершине исходного большого треугольника, получит номер n.
    Теперь положение любого из n2 треугольничков можно задать тройкой чисел — номеров полосок, в которых он лежит.
    Уточнение о номерах полосок

    Введённые нами тройки номеров = «координаты» треугольничков — не могут принимать произвольные значения. Их сумма равна n+2, если треугольничек расположен «остриём вверх» (т.е. ориентирован так же, как исходный большой треугольник), и равна n+1, если «остриём вниз».
    Предположим, отмечены k треугольников, никакие два из которых не попали в одну полоску. Оценим сумму S всех их координат двумя способами. С одной стороны, сумма координат любого треугольника не превышает n+2, поэтому Sk(n+2). С другой стороны, сумма значений одной из координат по всем отмеченным треугольникам не меньше чем 1+2+3++k=k(k+1)2. Значит, 3k(k+1)2Sk(n+2), откуда 3k+12n+2, т.е. k+12n+43. Итак, k2n+13.
    Отметить [2n+13] треугольничков можно следующим образом. Рассмотрим число m=[n+13]. На основании исходного треугольника отметим (m+1)й слева треугольничек, расположенный остриём вверх. В этой же вертикали отметим и все остальные треугольнички, ориентированные остриём вверх (рис.2).

    Всего в этой вертикали отмечено (m+1) треугольничков. На второй горизонтальной полосе большого треугольника отметим (2m+1)й (считая слева) треугольничек, расположенный остриём вверх. Отметим и все остальные треугольнички этой вертикали, ориентированные остриём вверх. Всего в этой вертикали будет отмечено n12m треугольничков.
    Общее количество отмеченных треугольничков есть m+1+n12m=nm=n[n+13]=[2n+13].
    Чтобы проверить последнее равенство, достаточно разобрать три случая: n равно 3a,3a+1 и 3a+2.

Интегралы Эйлера

Интеграл Эйлера-Пуассона

Эйлеров интеграл первого рода (бета-функция)

Определение

Эйлеровым интегралом первого рода (бета-функцией) называется функция вида
B(α,β)=10xα1(1x)β1dx.(1)
График бета-функции можно посмотреть здесь.

Теорема (о свойствах интеграла первого рода)

Бета-функция имеет следующие свойства:

  1. Область определения

    Для сходимости интеграла (1) при x=0 необходимо и достаточно, чтобы выполнялось следующее: α>0, а для сходимости интеграла при x=1 необходимо и достаточно, чтобы β>0.

  2. Симметричность

    B(α,β)=B(β,α).

    Доказательство
  3. Формула понижения

    При α>1
    B(α,β)=α1α+β1B(α1,β).

    Доказательство
  4. Интегральное представление бета-функции

    Интегральным представлением бета-функции называется функция вида
    B(α,β)=0yα1(1+y)α+βdy.

    Доказательство

Примеры

  • Пример 1
  • Пример 2
  • Пример 3
  • Пример 4

Тесты на проверку усвоенного материала по бета-функции Эйлера

    Данный тест проверяет на сколько хорошо и внимательно был пройден материал по бета-функции. В тесте присутствуют вопросы как на знание теории, так и на знание практики. Внимательно читайте вопросы, т.к. в тесте присутствуют вопросы, где нужно выбрать несколько вариантов ответов.

Эйлеров интеграл второго рода (гамма-функция)

Определение

Γ(α)=0xα1exdx.(2)
Функция, определённая интегралом (2), называется эйлеровым интегралом второго рода (гамма-функция).

График гамма-функции

Графическое изображение интеграла второго рода

Теорема (о свойствах гамма-функции Эйлера)

Гамма-функция имеет следующие свойства:

  1. Область определения

    Для сходимости интеграла (2) в нуле требуется, чтобы выполнялось условие α>0. На бесконечности интеграл (2) сходится при
    любом αR, так как множитель ex убывает на бесконечности быстрее любой степени переменной x.
    Таким образом, функция (2) определена при α>0.

  2. Формула для производных гамма-функции

    Производная гамма-функции Эйлера определяется формулой
    Γn(α)=0xα1exlnnxdx.(3)

    Доказательство
  3. Формула понижения

    Соотношение вида
    Γ(α+1)=αΓ(α)
    называется формулой понижения для гамма-функции Эйлера.

    Доказательство
  4. Формула Эйлера-Гаусса

    Равенство вида
    Γ(α)=limnnα(n1)!α(α+1)(α+n1)
    называется формулой Эйлера-Гаусса.

    Доказательство
  5. Связь между бета- и гамма-функцией

    Связь бета- и гамма-функции определяется формулой
    B(α,β)=Γ(α)Γ(β)Γ(α+β).

    Доказательство

Примеры

  • Пример 1
  • Пример 2

Тесты на проверку усвоенного материала по гамма-функции Эйлера

    Данный тест проверяет на сколько хорошо и внимательно был пройден материал по гамма-функции. В тесте присутствуют вопросы как на знание теории, так и на знание практики. Внимательно читайте вопросы, т.к. в тесте присутствуют вопросы, где нужно выбрать несколько вариантов ответов.

Литература