В настоящей работе рассмотрены некоторые аспекты одних из новых математических конструкций - ступенчатых представлений на графах, которые в данном случае предлагаются для исследования периодических дробей.
Вложение | Размер |
---|---|
modelirovanie_stupenchatyh_predstavleniy_racionalnyh_drobey_.doc | 492.5 КБ |
Республиканский фестиваль
исследовательских работ
учащихся 9-11 классов
«паруса науки»
Естественные науки: математика
Моделирование ступенчатых представлений рациональных дробей с простым знаменателем.
Алексеев Антон
Елабужский район, г.Елабуга
МБОУ «СОШ № 8», 11 класс
Научный руководитель: Кругленко В.И.
Набережные Челны
2012
Оглавление
рациональных дробях ………………………………………….. 7
граф-решетках и их характеристики……………………….…..10
Введение
В связи с новейшими исследованиями в различных областях знаний появляются объекты, которые в рамках классических теорий сложно описываются или вообще нет теоретических подходов для исследований. Это современные проблемы криптографии в математике и информатике, проблемы анализа сложных биологических процессов в клетках живых организмов, проблемы динамики поведения в молекулярных структурах при увеличении количества взаимодействующих элементов в химии и физике, проблемы космологии и др. Все эти новые возникающие вопросы требуют от математиков разработки новых математических теорий в то время как существующие устаревают даже с применением компьютерных технологий. Для примера можно взять простую рациональную дробь N/M. Она столетиями подвергалась изучению. Написано множество теорем, замечено много необычного в поведении. И до сих пор остаются нерешенными некоторые постановки. Конечно это связано с самим придуманным понятием целых чисел, изучению которых посвящен целый раздел математики – теория чисел. Отметим хотя бы одну странность. Почему используется именно десятичная система счисления, не семеричная, не тридцатитрехричная. Ну а другие что, не важные? Правда с появлением цифровой техники выходит на первый план – двоичная. Она между прочим заслуживает большего внимания, чем остальные, включая и десятичную. Она единственная особая, из-за того, что крайняя. Какие понятия предложить, чтобы все системы счисления были равнозначны?
Ведь в разложении той же рациональной дроби в разных системах счисления последовательности ведут по-разному. Они периодические, а если взять разложения иррациональных? Эти «миры» как кажется достойны более пристального внимания. Недаром некоторые математики и программисты, хотя бы интуитивно или ради интереса вычисляют числа, например не с десятью или шестнадцатью знаками после запятой, а с миллионом или с миллиардом. Как известно француз Фабрис Беллар в 2010 году вычислил число Пи с около 2,7 триллионами знаками[1] . Все-таки заметим (далее будет понятно почему), что вычисления проводились в двоичной системе счисления, а затем переводились в десятичную, а в остальные смысла вроде бы и нет. Более того, в конце 2012 года в Японии вычисляли число Пи уже с десятью триллионами знаками. Можно сказать, в рекламных целях своей техники этот процесс будет продолжаться. Даже в системах компьютерной математики, например, такой как MATHEMATICA вычисляются числа с миллионами знаков. В работах некоторых авторов еще один взгляд на анализ таких чисел «не рекламный». Математиков привлекает не сама точность, а распределение всевозможных подпоследовательностей. В работах [4,5,6] и других и предлагается один из таких подходов. Расчетные последовательности предлагаются проводить для геометрического представления на пространствах-графах. Для представления можно выбрать графы такие, что актуальна будет любая система счисления. В данной работе проводится компьютерное моделирование поведения рациональных периодических дробей с простым знаменателем на однородной двухмерной граф-решетке с введенной в нее двухмерной симметричной и асимметричной координатных системах с помощью понятий ступенчатых представлений. Выбор симметричной или асимметричной координатной системы определялся условием замкнутости ступенчатого представления Ф(2/3,1/p) на граф-решетке.
2.1 Виды координатных систем для двухмерных граф-решеток.
В [4,5] предлагается следующий способ введения координатных систем. В граф, в котором степень каждой вершины L=а1*а2*а3……*аN, вводится N-мерная координатная система графа. При каждой вершине каждому ребру присваиваются числа от 0 до а1-1 так, чтобы количества разных чисел были равными L / а1 . Затем при каждой вершине всем группам ребер с одинаковыми числами присваиваются еще значения от 0 до а2-1 так, чтобы количества этих разных чисел были равными L / а1а2 и т. д. Например, для L=12 можно ввести 1 одномерную, 4 двухмерных и 3 трехмерных системы. В нашем частном случае для двухмерной граф-решетки L=1*4=2*2 можно ввести 1 одномерную и 1 двухмерную. Ниже на рисунках приведены примеры таких возможных систем.
0 2 0 1 | 2 0 2 2 | 2 0 3 1 | 2 3 2 2 | 1 2 | 1 0 | 1 2 | 1 0 |
3 0 3 2 | 3 1 3 1 | 1 0 2 3 | 0 0 2 0 | 3 2 | 3 0 | 3 2 | 3 0 |
1 0 2 1 | 0 0 3 3 | 3 0 1 2 | 1 3 0 3 | 1 2 | 1 0 | 1 2 | 1 0 |
1 0 2 2 | 2 0 1 3 | 2 0 2 2 | 1 0 1 2 | 3 2 | 3 0 | 3 2 | 3 0 |
Рис. 1 Одномерные произвольная и симметричная координатные системы.
0,1 0,1 1,0 1,0 | 0,0 0,0 1,1 0,1 | 1,0 1,0 0,0 0,0 | 0,1 1,0 0,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 |
0,0 1,0 0,0 0,1 | 0,1 1,1 0,0 1,0 | 1,1 0,1 1,1 0,1 | 1,1 1,0 0,0 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 |
1,0 0,0 1,0 1,0 | 1,0 0,0 1,1 0,0 | 0,0 1,1 0,1 1,0 | 1,1 0,1 1,1 0,1 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 |
0,1 1,0 0,0 1,0 | 0,1 0,1 0,0 0,1 | 1,0 0,0 1,0 1,0 | 0,0 0,1 0,0 1,1 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 |
Рис. 2 Двумерные произвольная и асимметричная координатные системы.
1,0 0,0 | 1,0 0,1 | 1,0 0,0 | 1,0 0,1 | 0,0 1,1 | 1,0 0,1 | 0,0 1,1 | 1,0 0,1 |
1,1 0,0 | 1,1 0,1 | 1,1 0,0 | 1,1 0,1 | 1,0 0,1 | 0,0 1,1 | 1,0 0,1 | 0,0 1,1 |
1,0 0,0 | 1,0 0,1 | 1,0 0,0 | 1,0 0,1 | 0,0 1,1 | 1,0 0,1 | 0,0 1,1 | 1,0 0,1 |
1,1 0,0 | 1,1 0,0 | 1,1 0,0 | 1,1 0,1 | 1,0 0,1 | 0,0 1,1 | 1,0 0,1 | 0,0 1,1 |
Рис. 3 Двумерные симметричные координатные системы двух видов.
1,0 0,0 | 1,0 0,1 | 1,0 0,0 | 1,0 0,1 | 1,0 0,0 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 |
1,1 0,0 | 1,1 0,1 | 1,1 0,0 | 1,1 0,1 | 1,1 0,0 1,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 |
1,0 0,0 | 1,0 0,1 | 1,0 0,0 | 1,0 0,1 | 1,0 1,1 0,0 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 |
1,1 0,0 | 1,1 0,0 | 1,1 0,0 | 1,1 0,1 | 1,0 1,0 1,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 | 1,0 1,1 0,1 0,0 |
Рис. 4 Неоднородная КС. Симметричная переходит в асимметричную КС.
Затененная часть – зона перехода.
Их бесконечное множество, но особенно выделяется асимметричная КС (рис.2) В ней при каждой вершины графа один и тот же периодический элемент (рис.5.А). В первой симметричной КС (рис.3) четыре периодических элемента (рис.5. В). Именно они были применены в дальнейших расчетах.
А) В)
Рис. 5. Периодические элементы А и В примененные в расчетах КС.
2.2 Основные известные используемые теоремы о рациональных дробях.
Теорема. Представление дроби m/n в любой системе счисления по основанию N, где m,n- натуральные числа, m < n, - периодическая дробь, длина наименьшего периода которой не превосходит n - 1.
Доказательство. Чтобы получить первую цифру после запятой, мы умножаем т на основание системы счисления N и делим (с остатком) полученное число на n. Вообще весь процесс деления уголком - повторяемое вновь и вновь умножение очередного остатка на N и деление (с остатком) на n.
Если на каком-то шаге получится нулевой остаток, то дробь - конечная. Конечную дробь, приписав к ней справа бесконечно много нулей, естественно считать периодической с периодом длины 1. По условию, 1 < n - 1, так что в этом случае утверждение теоремы выполнено.
Если же процесс деления никогда не закончится, то будут получаться только ненулевые остатки, т.е. числа от 1 до n - 1. Значит, не позже чем на n-м шаге остаток повторится. С этого момента процесс деления зациклится, что и требовалось доказать.
Теорема. Если знаменатель несократимой правильной дроби взаимно прост с основанием системы счисления N, то дробь представима в виде чисто периодической N-ричной дроби.
Теорема. Если a и b взаимно просты, то период десятичной дроби, равной a/b, имеет такую же длину, как период десятичной дроби 1/b.
Теорема. Если p есть простое число, отличное от 2 и 5, то длина периода дроби 1/p является делителем числа p–1.
Доказательства этих теорем и других можно найти в работах [2,3]. Выделяется так называемая малая теорема Ферма (1640г.). Доказательства многих базируются на ней. Вследствие ее знаменитости приведем одно из ее изящных доказательств.
Теорема. Если p- простое число и m — произвольное, то mp – m делится на p.
Доказательство. Возьмем правильный p-угольник (p-простое) и m различных цветов. Подсчитаем количество способов раскраски вершин данной фигуры в эти цвета, полагая что, раскраски получаемые поворотом фигуры одинаковые. Каждую вершину фигуры можно окрасить в один из m цветов. Тогда всего будет m∗m∗...∗m (p раз) вариантов раскраски вершин p-угольника в m различных цветов, считая раскраски получаемые поворотом фигуры различными. Поэтому результат делим на количество поворотов p-угольника, а их всего p. Некоторые способы раскраски мы посчитали один раз, а конкретнее те способы, когда все вершины покрашены в один цвет, всего этих способов - p. Следовательно способов раскраски - (mp-m)/p +m. Но количество целое! Следовательно (mp-m)/p тоже целое.
На языке Паскаль [6] была написана программа, которая вычисляла простые числа p в различных диапазонах и вычисляла длину периода дроби 1/p в различных системах счисления. Ниже в таблице представлено эмпирическое наблюдение для дроби в двоичной СС для некоторых p. Если длина периода - число нечетное, то вид периода - А. Если длина периода - число четное, то вид периода – AÂ, где Â – инверсия А.
Число p | Вид числа | Вид периода | Длина периода | Число периодов | Число p | Вид числа | Вид периода | Длина периода | Число периодов |
11 | 4к - 1 | AÂ | 10 | 1 | 101 | 4к + 1 | AÂ | 100 | 1 |
13 | 4к + 1 | AÂ | 12 | 1 | 103 | 4к - 1 | A | 51 | 2 |
17 | 4к + 1 | AÂ | 8 | 2 | 107 | 4к - 1 | AÂ | 106 | 1 |
19 | 4к - 1 | AÂ | 18 | 1 | 109 | 4к + 1 | AÂ | 36 | 3 |
23 | 4к - 1 | A | 11 | 2 | 113 | 4к+1 | AÂ | 28 | 4 |
29 | 4к + 1 | AÂ | 28 | 1 | 127 | 4к - 1 | A | 7 | 18 |
31 | 4к - 1 | A | 5 | 6 | 131 | 4к - 1 | AÂ | 130 | 1 |
37 | 4к + 1 | AÂ | 36 | 1 | 137 | 4к + 1 | AÂ | 66 | 2 |
41 | 4к + 1 | AÂ | 20 | 2 | 139 | 4к - 1 | AÂ | 139 | 1 |
43 | 4к - 1 | AÂ | 14 | 3 | 149 | 4к + 1 | AÂ | 148 | 1 |
47 | 4к - 1 | A | 23 | 2 | 151 | 4к - 1 | A | 15 | 10 |
53 | 4к + 1 | AÂ | 52 | 1 | 157 | 4к + 1 | AÂ | 52 | 3 |
59 | 4к - 1 | AÂ | 58 | 1 | 163 | 4к - 1 | AÂ | 162 | 1 |
61 | 4к + 1 | AÂ | 60 | 1 | 167 | 4к - 1 | A | 84 | 2 |
67 | 4к - 1 | AÂ | 66 | 1 | 173 | 4к + 1 | AÂ | 172 | 1 |
71 | 4к - 1 | A | 35 | 2 | 179 | 4к - 1 | AÂ | 178 | 1 |
73 | 4к + 1 | A | 9 | 8 | 181 | 4k + 1 | AÂ | 180 | 1 |
79 | 4к - 1 | A | 39 | 2 | 191 | 4к - 1 | A | 95 | 2 |
83 | 4к - 1 | AÂ | 82 | 1 | 193 | 4к + 1 | AÂ | 96 | 2 |
89 | 4к + 1 | A | 11 | 8 | 197 | 4к + 1 | AÂ | 196 | 1 |
97 | 4к + 1 | AÂ | 48 | 2 | 199 | 4к - 1 | A | 99 | 2 |
100049 | 4к + 1 | AÂ | 25012 | 4 | 100183 | 4к - 1 | A | 50091 | 2 |
100069 | 4к + 1 | AÂ | 33356 | 3 | 100189 | 4к + 1 | AÂ | 100188 | 1 |
100109 | 4к + 1 | AÂ | 100108 | 1 | 100193 | 4к + 1 | AÂ | 50096 | 2 |
100129 | 4к + 1 | A | 1043 | 96 | 100207 | 4к - 1 | A | 50103 | 2 |
100151 | 4к - 1 | A | 50075 | 2 | 100213 | 4к + 1 | AÂ | 100212 | 1 |
100153 | 4к + 1 | A | 12519 | 8 | 100267 | 4к - 1 | AÂ | 33422 | 3 |
граф-решетках и их характеристики.
В этом разделе представлены результаты моделирования видов ступенчатых представлений Ф(2/3, 1/p), где p - простое и их характеристик. Была выбрана двухмерная граф-решетка. Введена асимметричная координатная система вида рис. 2 и симметричная вида рис. 3. Числа были выбраны так, что все они были замкнуты или в симметричной КС или в асимметричной. Вычислялся объем ступенчатого представления – число занимаемых вершин графа, максимальный вес каждой вершины – максимальное число прохождений на периоде числа 1/p, размер прямоугольника – ширину и высоту, в который умещался образ. У некоторых чисел 1/p период не был равен (p-1), а был кратен (p-1). В этом случае представлены все возможные образы, которые формировались от разных периодов. На рисунках ниже слева представлен общий вид ступенчатого представления. Рядом справа представлен образ, который передает распределение плотностей прохождения через вершины. Чем темнее места, тем больший вес вершин графа. Для расчетов была использована готовая программа моделирования, написанная на языке DELPHI [7,8], которая частично корректировалась. Замечено, что учетверенная длина периода дает замкнутый образ или с симметричной координатной системой или с асимметричной. Если период вида 4*k+1, то представление замыкается на одном периоде. В последнем случае образ единственный, хотя число периодов равно двум.
Ступенчатое представление | Тип числа | Число период. | Период | Координ. система | Объем | Max вес | Размер |
Ф(2/3,1/100049) | 4*k+1 | 4 | 25012 | асимметр. | 5940 | 184 | 115*133 |
Ступенчатое представление | Тип числа | Число период. | Период | Координ. система | Объем | Max вес | Размер |
Ф(2/3,3/100049) | 4*k+1 | 4 | 25012 | асимметр. | 6898 | 160 | 205*109 |
Ступенчатое представление | Тип числа | Число период. | Период | Координ. система | Объем | Max вес | Размер |
Ф(2/3,5/100049) | 4*k+1 | 4 | 25012 | асимметр. | 6832 | 136 | 197*129 |
Ступенчатое представление | Тип числа | Число период. | Период | Координ. система | Объем | Max вес | Размер |
Ф(2/3,7/100049) | 4*k+1 | 4 | 25012 | асимметр. | 7644 | 160 | 181*203 |
Ступенчатое представление | Тип числа | Число период. | Период | Координ. система | Объем | Max вес | Размер |
Ф(2/3,1/100267) | 4*k-1 | 3 | 33422 | симметр. | 18536 | 72 | 281*281 |
Ступенчатое представление | Тип числа | Число период. | Период | Координ. система | Объем | Max вес | Размер |
Ф(2/3,5/100267) | 4*k-1 | 3 | 33422 | симметр. | 21288 | 60 | 385*385 |
Ступенчатое представление | Тип числа | Число период. | Период | Координ. система | Объем | Max вес | Размер |
Ф(2/3,11/100267) | 4*k-1 | 3 | 33422 | симметр. | 18048 | 63 | 273*273 |
Ступенчатое представление | Тип числа | Число период. | Период | Координ. система | Объем | Max вес | Размер |
Ф(2/3,1/100207) | 4*k-1 | 2 | 50103 | симметр. | 54616 | 23 | 489*489 |
Заключение
В работе рассмотрены некоторые аспекты одного из математических подходов изучения периодических дробей (с простым знаменателем). За основу принято направление, в котором формируемые последовательности представлялись геометрически на однородных двухмерных граф-решетках, используя конструкции ступенчатых представлений, описанных в работах [4,5]. Так как в графы вводилась двухмерная координатная система, то дроби выражались в двоичной системе счисления. Приведены возможные виды координатных систем, которые допускают построение ступенчатых представлений. Простые p выбирались достаточно большими (>100000), чтобы визуально можно было оценить сложность видов, хотя описание их простое. На бумажном носителе представлен общий вид геочисел и их плотностное распределение по вершинам на периоде. Проведены расчеты образов: занимаемый объем, максимальный вес вершин, геометрические размеры прямоугольника образа. Отмечены эмпирические наблюдения, которые требуют дальнейшей теоретической обработки.
Отметим также ту особенность, что метод ступенчатых представлений в этой работе предлагается применять для изучения последовательностей от разложений рациональных дробей. Они периодические, а если взять разложения иррациональных? Эти «миры» также достойны серьезного внимания. Недаром некоторые математики и программисты, хотя бы интуитивно или ради интереса вычисляют числа, например не с десятью или шестнадцатью знаками после запятой, а с миллионами или с миллиардами. Применять этот метод для изучения таких непериодических последовательностей также представляется возможным.
Также одна из целей этой работы - продемонстрировать некоторые возможности такого подхода и вызвать интерес к постановке новых задач в таком направлении.
Список используемой литературы.
«BHV-Санкт-Петербург»,1997
Какая бывает зима
Гном Гномыч и Изюмка. Агнеш Балинт
Золотая хохлома
Заповеди детства и юности
"Морская болезнь" у космонавтов