Числа е та пі (стр. 2 из 9)

Як єдине число a, для якого виконується

Як єдине позитивне число a, для якого вірно (похідна функції дорівнює самій функції)

Число

з'явилося порівняно недавно. Його іноді називають "неперовим числом" на честь винахідника логарифмів шотландського математика Джона Непера ( 15501617) [22], однак це необґрунтовано, тому що немає твердих підстав для твердження, що Непер мав про число е чітке позначення. Уперше математично обгрунтоване позначення числа "е" увів Леонард Ойлер (17071783). Він також обчислив точні 23 десяткові знака цього числа після коми, використавши подання числа е у вигляді нескінченного числового ряду [24]:

,

отримане Данилом Бернулі( 17001782). В 1873 році Ерміт довів трансцендентність числа е. Л.Ойлер одержав чудовий результат, що зв'язує числа е, p :

Йому належить і заслуга визначення функції

для комплексних значень z, що поклало початок математичному аналізу в комплексній області теорії функцій комплексного змінного. Ойлером були отримані наступні формули:

Клас логарифмів по основі е, називаються натуральними й позначаються як

. Експоненціальна функція з основою е має особливий характер – всі похідні функції дорівнюють самій функції:

1.2 Визначення понять ірраціональності та трансцендентності чисел

Для того щоб довести ірраціональність і транcцендентність чисел

і приведемо з початку деякі визначення, теореми й приклади ірраціональних і трансцендентних чисел [9], [11], [20].

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

Означення 1.2.1. Дійсне число

називається ірраціональним, якщо воно відмінно від всіх раціональних чисел, тобто якщо при всіх цілих і .

Існування ірраціональних чисел було доведено ще грецькими математиками. Ірраціональність числа

була відома ще в V столітті до нашої ери математикам пифагорівскої школи, а доказ цього часто приписується Піфагору, хоча точно невідомо, чи було воно побудовано їм самим або кимнебудь із його учнів. Оскільки множину всіх раціональних чисел можна обчислити, основну масу дійсних чисел становлять ірраціональні числа.

Розглянемо найпростіші методи, які дозволяють установлювати ірраціональність деяких класів чисел. На перший погляд здається невиправданим те, що задача доказу ірраціональності якогонебудь дійсного числа а ставиться до теорії чисел, однак включення такої проблематики в теорію чисел стає відразу ясним, якщо поставити це питання в наступній формі: довести, що не існує цілих чисел

і , таких, що .

Дамо спочатку одну теорему, що встановлює ірраціональність досить широкого класу дійсних чисел, які зустрічаються особливо часто в шкільних курсах алгебри й геометрії.

Теорема 1.2.1 Нехай

багаточлен із цілими коефіцієнтами, дійсне число корінь .Тоді або ціле, або ірраціональне число.

Доведення. 0ціле число, тому ми розглянемо тільки випадок

. Припустимо, що не є ірраціональним числом , тобто що раціональне число де й цілі , . Підставляючи в рівняння й домножуючи обидві частини його на , одержуємо:

Із цього співвідношення безпосередньо видно, що

є дільником (позначається, як ). Оскільки , то умови й можуть бути тільки при , тобто ціле.

Приклад 1.2.1 Якщо натуральне число

відмінно від всіх степеней цілих чисел, то ірраціональне число.

Дійсно,

є корінь рівняння . Якщо число не є цілим, то згідно теореми 1.2.1. воно ірраціональне. Наприклад ірраціональне число, тому що послідовність квадратів цілих чисел має вигляд і жоден із цих квадратів не дорівнює . Число ірраціональне , тому що послідовність позитивних кубів цілих чисел має вигляд і жоден з них не дорівнює .

Ірраціональність деяких дійсних числі можна встановити за допомогою критеріїв, сформульованих у наступних двох теоремах.

Теорема 1.2.2. Якщо

раціональне число, то існує таке що для будьякого раціонального дробу буде справедлива нерівність :

(1.2.1)

Доведення. Нехай

, де .Візьмемо . Для будьякого раціонального дробу буде , а отже, ціле число , і тоді

Теорема 1.2.3.

Якщо для будьякого позитивного числа існує хоча б одна пара цілих чисел , таких ,що то ірраціональне число.