Не плутати з Медіаною.

У математиці — медіанта двох дробів, які зазвичай складаються з чотирьох натуральних чисел і , визначається як .

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

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

Дерево Штерна — Броко забезпечує перерахування всіх додатних раціональних чисел через медіанти в найнижчих членах, отримані ітеративним обчисленням медіанти за простим алгоритмом.

Властивості 'Нерівність медіанти: важливою властивістю медіанти, яка також пояснює її назву, є те, що вона лежить строго між двома дробами, медіантою яких вона є. Якщо і , то

Це випливає з:

і

Припустимо, що пара дробів і задовольняє співвідношення . Тоді медіанта є найпростішим дробом в інтервалі , тобто дріб із найменшим знаменником. Точніше, якщо дріб з додатним знаменником лежить строго між і , то його чисельник і знаменник можна записати як і з двома позитивними дійсними (фактично раціональними) числами . Щоб зрозуміти, чому має бути більше 0, покажемо, що

і

має бути додатнім. Визначальне відношення

тоді означає, що $\lambda _{1},\lambda _{2}$ мають бути цілими числами, розв’язуючи систему лінійних рівнянь

для . Тому . Справедливо і зворотне: нехай пара нескоротних дробів має властивість, що нескоротний дріб із найменшим знаменником, що лежить в інтервалі , дорівнює медіані двох дробів. Тоді виконується визначальне співвідношення . Цей факт можна довести, наприклад за допомогою теореми Піка, яка виражає площу плоского трикутника, вершини якого мають цілі координати, через кількість внутрішніх точок решітки(строго) всередині трикутника та кількість точок решітки на межі трикутника. Розглянемо трикутник з трьома вершинами , , . Його площа дорівнює

Точка всередині трикутника може бути параметризована як

де

Формула Піка

також пам'ятаємо, що всередині трикутника повинна бути точка решітки , відмінна від трьох вершин, якщо (тоді площа трикутника буде ). Відповідний дріб лежить(строго) між заданими дробами і має знаменник

при

Відповідно, якщо і є нескоротними дробами на одиничному інтервалі так, що (тобто вони є сусідніми елементами послідовності Фарея) тоді

де є функцією знака питання Мінковського.

Зазвичай медіанти зустрічаються при вивченні неперервних дробів і, зокрема, дробів Фарея. Послідовність Фарея визначається як (упорядкована за величиною) послідовність скоротних дробів (з взаємно простими a, b), така що . Якщо два дроби є сусідніми дробами послідовності , то визначальне відношення , згадане вище, є загалом дійсним, і тому медіанта є простим дробом на інтервалі , у значенні дробу з найменшим знаменником. Таким чином, медіанта першою з’явиться в послідовності Фарея порядку і є «наступним» дробом, який з'явиться в будь-якій послідовності Фарея між і . Це показує, як будуються послідовності Фарея зі збільшенням n.

Історія Поняття медіанти двох дробів увів Хинчин А. Я. Цепные дроби. — М.: Физматлит, 1961. 112 с. у теорії ланцюгових дробів з метою кращого з'ясування взаємного розташування і закону послідовного утворення проміжних дробів. Однак, у теорії ланцюгових дробів, для дослідження проміжних дробів, термін «медіанти» не приживсяЛенг С. Введение в теорию диофантовых приближений. — М.: Мир, 1970. — 104 с.. В інших математичних науках, наприклад, у математичному аналізіФихтенгольц Г. М. Курс дифференциального и интегрального исчисления. Т.1. — М.-Л.: Гостехлит, 1947. — 680 с. і в теорії звичайних диференціальних рівняньСтепанов В. В. Курс дифференциальных уравнений. — М.: Физматлит, 1959. — 468с. властивості медіанти n відношень дійсних чисел використовувалися при доведенні деяких положень, хоча саме визначення поняття медіанти не наводилось. Побічно, найширшого використання медіанта n відношень дійсних чисел набула в прикладній математиці, зокрема в математичній статистиці.Сэлтон Г. А. Автоматическая обработка, хранение и поиск информации. — М.: Сов. радио, 1973. — 560 с.Шварц Г. Выборочный метод. Руководство по применению статистических методов оценивания. — М.: Статистика, 1978. — 213 с.Крэйн М., Лемуан О. Введение в регенеративный метод анализа моделей. — М.: Наука, 1982. — 104 с. Але визначення медіанти в цих роботах також не наведено. Клайн М. Математика. Утрата определенности. — М.: Мир, 1984. — 434 с., по суті, заново «відкрив» медіанти, запропонувавши «футбольну арифметику» додавання дробів. Таке додавання М. Клайн використовував для визначення середньої результативності футбольного гравця-нападника за дві гри. Він також розглянув випадки визначення ефективності торгівлі та середньої швидкості автомобіля на основі швидкостей на двох ділянках шляху.

Нині медіанта використовується в демографіїСёмкин Б. И., Соболева Т. А. Оценка темпов изменения общей численности населения городов Приморского края // География и природные ресурсы. № 4. 2005. С. 118—123. і біологіїСёмкин Б. И., Горшков М. В., Варченко Л. И. Об изменениях содержания воды в однолетних побегах хвойных древесных растений в умеренной климатической зоне // Сибирский экол. журн. 2008. № 4. Т. 15. С. 537—544..

Визначення медіанти графічним способом

Додатне раціональне число є одиницею у формі , де — додатні натуральні числа; тобто . Таким чином, множина додатних раціональних чисел є декартовим добутком з самим собою; тобто . Точка з координатами представляє раціональне число , а кут нахилу відрізка, що з’єднує початок координат із цією точкою, дорівнює відображенню . Оскільки не обов’язково повинні бути взаємно простими, точка представляє одне й лише одне раціональне число, але раціональне число може бути представлено більш ніж однією точкою; напр. – усі представлення раціонального числа . Це незначна модифікація формального визначення раціональних чисел, яка обмежує їх додатними значеннями та змінює порядок доданків у впорядкованій парі , щоб відрізок був рівним раціональному числу.

Дві точки , де є двома представленнями (можливо еквівалентних) раціональних чисел та . Відрізки, що з’єднують початок координат із і , утворюють дві суміжні сторони в паралелограмі. Вершиною паралелограма, протилежною до початку координат, є точка , яка є медіантою та .

Площа паралелограма дорівнює , що також є величиною перехресного добутку векторів і . З формального визначення еквівалентності раціонального числа випливає, що площа дорівнює нулю, якщо і еквівалентні. У цьому випадку один відрізок збігається з іншим, оскільки їх нахили рівні. Площа паралелограма, утвореного двома послідовними раціональними числами в Дерево Штерна — Броко, завжди дорівнює 1.Austin, David. Trees, Teeth, and Time: The mathematics of clock making, Feature Column from the AMS.

Узагальнення Поняття медіанти можна узагальнити на дробів, і має місце узагальнена середня нерівністьBensimhoun, Michael (2013). "A note on the mediant inequality" (PDF)., факт, який, здається, вперше помітив Коші. Точніше, зважений медіант дробів визначається . Можна показати, що знаходиться десь між найменшою та найбільшою частками серед .

Приклади використання Бінарне дерево Штерна — Броко Функція Мінковського

Див. також

Ряд Фарея Дерево Штерна — Броко

Примітки

Лінки Mediant Fractions at cut-the-knot MATHPAGES, Kevin Brown: Generalized Mediant