Ця стаття містить правописні лексичні граматичні стилістичні або інші мовні помилки які треба виправити Ви можете допомо

Про "конструктивне число" в сенсі теорії множин див. .

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

Корінь квадратний з $2$ дорівнює довжині гіпотенузи у вигляді прямокутного трикутника з довжиною основи $1$ й, отже, є **конструктивним числом**.

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

В алгебрі число конструктивно тоді й лише тоді, коли воно може бути отримано з використанням чотирьох основних арифметичних операцій та вилучення квадратного кореня, але не з коренів вищого порядку, з конструктивних чисел, які завжди включають 0 та 1. Безліч конструктивних чисел можна повністю мовою теорії поля: конструктивні числа утворюють раціональних чисел: найменше розширення поля, яке закрито під квадратні корені. Це призводить до перетворення геометричних питань про циркуль та лінійку в алгебру. Це перетворення призводить до вирішення багатьох відомих математичних проблем, які не піддавалися розв'язуванню багато століть.

Геометричні визначення

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

Нехай $O$ та $A$ є двома заданими точками в евклідовій площині. Безліч точок, які можуть бути побудовані за допомогою циркуля та лінійки, починаючи з $O$ та $A$ , будемо позначати $S$ та елементи, які будуть називатися конструктивними точками. Висновок, $O$ та $A$ за визначенням, елементи $S$ . Щоб більш точно описати елементи $S$ , зробимо наступні два визначення:

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

Тоді точки $S$ , крім $O$ та $A$ є:

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

Як приклад, середина побудованого відрізка $OA$ є конструктивною точкою. Щоб переконатися в цьому, зауважимо, що побудована окружність $C 1$ з центром $O$ і проходить через $A$ , перетинає коло, побудовану $C 2$ з центром $A$ і проходить через $O$ в конструктивних точках $P$ та $Q$ . Перетин побудованого відрізка $PQ$ з побудованим відрізком $OA$ є бажаною побудованою серединою.

Декартова система координат може бути введена там, де точка $O$ пов'язана з походженням, мають координати $(0, 0)$ і точка $A$ пов'язана з $(1, 0)$ . Точки $S$ тепер можуть бути використані для зв'язку геометрії та алгебри, а саме, ми визначаємо

конструктивно число є координатою конструктивної точки.

Завдяки точці $A$ , 0 та 1 є конструктивними числами. Нехай $P$ — точка в $S$ , тобто конструктивна точка. Якщо $P$ лежить на $x$ - осі, то $OP$ — це побудований відрізок, а перша координата $P$ — в абсолютному значенні довжина цього побудованого відрізка. Якщо $P$ не лежить на $x$ - осі то нехай стопах перпендикуляра від $P$ до $x$ - осі бути точкою $Q$ . Точка $Q$ — побудована точка, так що $PQ$ та $OQ$ будуються відрізки. Абсолютними значеннями координат точки $P$ є, отже, довжини побудованих відрізків. Цей процес є оборотним, тому можна використовувати цей пристрій для забезпечення альтернативної характеристики конструктивних чисел, а саме:

0 — конструктивне число, будь-яке ненульове дійсне число $r$ — конструктивне число, якщо і тільки якщо $| r |$ — довжина побудованого відрізка.

Якщо $a$ та $b$ — ненульові довжини побудованих відрізків, то для отримання побудованих відрізків довжин $a + b$ , $a - b$ (якщо $a \geq b$ ), $ab$ та $.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num{display:block;line-height:1em;margin:0.0em 0.1em;border-bottom:1px solid}.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0.1em 0.1em}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);clip-path:polygon(0px 0px,0px 0px,0px 0px);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}a/b$ можна використовувати елементарні побудови циркулем та лінійкою. Останні два можуть бути виконані з побудовою на основі теореми Фалеса про пропорційні відрізки. Трохи менш елементарна побудова з допомогою цих інструментів на основі ^[en] і побудувати відрізок довжиною $\sqrt a$ від побудованого відрізка довжиною $a$ .

Побудова за допомогою циркуля та лінійки для конструктивних чисел
$a\cdot b$ заснована на теоремі Фалеса
${\frac {a}{b}}$ заснована на теоремі Фалеса
${\sqrt {a}}$ заснована на теоремі Лагранжа

Перетворення в алгебру

Якщо $a$ та $b$ є конструктивними числами з $b \neq 0$ , то $a \pm b$ , $a \times b$ , $a / b$ , та $\sqrt a$ для невідійманого $a$ конструктивне. Таким чином, множина конструктивних дійсних чисел утворює поле. Крім того, оскільки 1 є конструктивною кількістю, всі раціональні числа є конструктивними, а $ℚ$ , власне, підполе поля конструктивних чисел. Також будь-яке конструктивно число є алгебраїчним числом. Точніше,

якщо $γ$ є конструктивне дійсне число й $γ \notin ℚ$ , тобто кінцева послідовність дійсних чисел $α 1, ... , α n = γ$ таким чином, що $ℚ(α 1, ... , α i)$ є розширенням з $ℚ(α 1, ... , α i - 1)$ ступеня 2. Зокрема, $[ℚ(γ):ℚ] = 2 r$ для деякого цілого числа $r \geq 0$ .

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

$\mathbb {Q} =K_{0}\subseteq K_{1}\subseteq \dots \subseteq K_{n},$

де $γ$ в $K n$ і для всіх $0 \leq j < n$ , $[K j + 1 : K j] = 2$ .

Для ще одного формулювання цього результату, на цей раз з використанням геометричного визначення конструктивної точки, нехай $P$ буде непустою множиною точок в $ℝ 2$ та $K$ підполем $ℝ$ , породжених усіма координатами точок $P$ . Якщо точка $r = (x, y)$ конструктивна з точок $P$ , то градуси $[K (x): K]$ та $[K (y): K]$ є ступеня 2.

Використовуючи натуральну відповідність між точками $ℝ 2$ та комплексними числами (а саме, $(a, b) \Leftrightarrow a + bi$ ) деякі автори вважають за краще висловлювати результати у складному параметрі, визначаючи:

комплексне число є конструктивним тоді й лише тоді, коли її дійсна та уявна частини конструктивні дійсні числа.

Це може бути показано, способом, аналогічним реальному нагоди, що комплексне число конструктивне тоді й лише тоді, коли воно знаходиться в полі у верхній частині кінцевої вежі комплексних квадратичних розширень, починаючи з поля $ℚ(i)$ . Точніше, $z$ є конструктивними тоді й лише тоді, коли існує башта складних полів

$\mathbb {Q} (i)=F_{0}\subseteq F_{1}\subseteq \dots \subseteq F_{n},$

де $z$ знаходиться в $F n$ і для всіх $0 \leq j < n$ , $[F j + 1 : F j] \leq 2$ .

Отже, якщо комплексне число конструктивно, то $[ℚ(z) : ℚ]$ є ступень 2.

Ця алгебраїчна характеристика конструктивних чисел є важливою необхідною умовою конструктивності: якщо $z$ є конструктивною, то вона алгебраїчна, а її мінімальний незвідний поліном має ступінь 2, що еквівалентно твердженню, що розширення поля ' $ℚ(z)/ℚ$ має розмір ступеня 2. Зауважимо, що зворотне помилкове — це не достатня умова конструктивності, оскільки існують неконструктивні числа $z$ з $[ℚ(z) : ℚ] = 4$ .

Тригонометричні числа

Основна стаття:

Тригонометричні числа — ірраціональні косинуси або синуси кутів, які є раціональними кратними числами $π$ . Таке число конструктивно тоді й лише тоді, коли знаменник повністю зменшеної множини є ступень 2 або добуток ступеня 2 з добутку однієї чи більше простих чисел Ферма. Так, наприклад, $cos(π /15)$ є конструктивним, тому що $15$ — добуток двох простих чисел Ферма, $3$ та $5$ .

Дивіться тригонометричних чисел, виражених у вигляді квадратних коренів.

Неможливі побудови

Хоча дублювання куба неможливо, дублювання квадрата — немає.

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

У наступній діаграмі кожен рядок являє собою конкретну стародавню проблему будівництва. Ліва колонка дає назву проблеми. Друга колонка дає еквівалентну алгебраїчному формулюванню проблеми. Іншими словами, розв'язання проблеми є твердженням тоді й лише тоді, коли кожне число в заданому наборі чисел конструктивне. Нарешті, останній стовпець містить простий контрприклад. Іншими словами, число в останньому стовпці є елементом набору в одному рядку, але не конструктивне.

Проблема будівництва	Пов'язаний набір чисел	Контрприклад
Подвоєння куба	$\left\{{\sqrt[{3}]{x}}:x{\text{ is constructible}}\right\}$	${\sqrt[{3}]{2}}$ не конструктивне, тому що його мінімальний поліном має ступінь 3 над Q
Трисекція кута	$\left\{\cos \left({\frac {\arccos x}{3}}\right):x{\text{ is constructible}}\right\}$	$\cos \left({\frac {\arccos(1/2)}{3}}\right)=\cos 20^{o}$ не конструктивна, тому що $\cos 20^{o}$ має мінімальний поліном ступеня 3 над Q
Квадратура круга	$\left\{r{\sqrt {\pi }}:r{\text{ is constructible}}\right\}$	${\sqrt {\pi }}$ не конструктивне, тому що вона не є алгебраїчною над Q
^[en]	$\left\{e^{2\pi i/n}:n\in \mathbb {N} ,n\geq 3\right\}$	$e^{2\pi i/7}$ не є конструктивними, оскільки 7 не є простим Ферма, а також не є продуктом $2^{k}$ й одним або декілька простих чисел Ферма

Історія

Народження поняття конструктивних чисел нерозривно пов'язане з історією трьох неможливих побудов циркулем та лінійкою: дублювання куба, трисекція кута, і квадратура кола. Обмеження використання тільки циркуля та лінійки в геометричних побудовах часто приписують Платону через проходження в Плутарху. Згідно Плутарху, Платон дав дублювання проблеми куба (деліанської) проблеми до Евдокса, Архіта й Менехма, який розв'язував проблему з допомогою механічних засобів, отримавши докір від Платона за те, що не розв'язував проблему з використанням (Plut., Quaestiones convivales VIII. ii, 718ef). Однак, це приписування оскаржується, що пов'язано, частково, з існуванням іншої версії історії (приписується Ератосфену за ^[en], яка говорить, що всі три рішення знайдені, але вони були занадто абстрактні, щоб мати практичне значення. Оскільки ^[en] (близько 450 р. до н. е.) приписується дві побудови за допомогою циркуля та лінійки, Прокл — цитуючи Евдема (близько 370—300 до н. е.) — коли йому стали доступні інші методи, це призвело до того, що деякі автори висунули гіпотезу про те, що Енопід увів обмеження.

Обмеження на циркуль та лінійку важливе для того, щоб зробити ці побудови неможливими. Наприклад, трисекція кута може бути зроблена багатьма засобами, деякі з яких були відомі древнім грекам квадратриса Гіппія Елідського, то конічні перетини Менехма або маркований лінійка (neusis) Архімеда — всі вони були використані, і ми можемо додати більш сучасний підхід з допомогою складання паперу.

Хоча це не одна з трьох класичних задач на побудову, задача побудови правильних многокутників за допомогою лінійки та циркуля зазвичай розглядається поряд з ними. Греки знали, як будувати правильні $n$ -кутники з $n = 2 h, 3, 5$ (для будь-якого цілого $h \geq 2$ ) або добутку будь-яких двох або трьох з цих чисел, але інші правильні $n$ -кутники вислизали від них. Потім, у 1796 році, вісімнадцятирічний студент Карл Фрідріх Гаусс оголосив у газеті, що побудував правильний 17-кутник лінійкою та циркулем.Побудова Гауса була швидше алгебричною, ніж геометричним; насправді, він фактично не будував многокутник, а показав, що косинус центрального кута є конструктивним числом. Аргумент був узагальнений у своїй книзі 1801 року , що дає достатню умову для побудови правильного n-кутника. Гаусс стверджував, але не доводив, що умова також необхідна, і кілька авторів, зокрема, Фелікс Кляйн, [26] також приписують йому цю частину докази. attributed this part of the proof to him as well.

У роботі 1837 р. П'єр Лоран Ванцель довів алгебраїчно, що проблеми

подвоєння куба та

трисекції кута

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

Спробу доказу неможливості набудувати коло надав Джеймсом Грегорі у Vera Circuli et Hyperbolae Quadratura (1667). вирішити задачу з використанням алгебраїчних властивостей $π$ . Лише в 1882 році Фердинанд фон Ліндеман строго довів свою неможливість, поширивши роботу Шарля Ерміта та довівши, що $π$ є трансцендентними числами.

Дослідження конструктивних чисел, по суті, було ініційоване Рене Декартом у La Geometrie, додаток до своєї книги «Міркування про метод», опублікований в 1637 році. Проблема старовинної лінійки та циркуля, поставлена Паппом.

Див. також

Примітки

Fraileigh, 1994, p. 426
John A. Beachy, William D. Blair; Abstract Algebra; Definition 6.3.1 [ 6 лютого 2012 у Wayback Machine.]
Kazarinoff, 2003, p. 10
Kazarinoff, 2003, p. 15
Kazarinoff, 2003, p. 46
Інший напрямок представлено у Moise, 1974 Мойсе, який замінює слово «конструктивний» словом «сурд (ірраціональне число)» протягом усіх своїх обговорень
Kazarinoff, 2003, p. 18
Moise, 1974, p. 227
Herstein, 1986, p. 237
Herstein, 1986, pp. 236–237
Moise, 1974, p. 224
Fraleigh, 1994, pp. 426–427
Smart, pp. 216–217
Fraleigh, 1994, p. 429
Roman, 1995, p. 59
Stewart, 1989, pp. 54–55
Roman, 1995, p. 207
Rotman, 2006, p. 361
Rotman, 2006, p. 362
Stewart, 1989, p. 51
Fraleigh, 1994, pp. 429–430
Fraleigh, 1994, p. 504
Kazarinoff, 2003, p. 28
(1986), , Dover Books on Mathematics, Courier Dover Publications, с. 4, ISBN , архів оригіналу за 5 липня 2019, процитовано 26 лютого 2019.
Kazarinoff, 2003, p. 29
Klein, Felix (1956) [1930], Famous Problems of Elementary Geometry, Dover, с. 16
Kazarinoff, 2003, p. 30
Wantzel, P. L. (1837), , Journal de Mathématiques Pures et Appliquées, 1 (2): 366—372, архів оригіналу за 7 червня 2011, процитовано 26 лютого 2019
Boyer, Carl B. (2004) [1956], History of Analytic Geometry, Dover, с. 83—88, ISBN

Список літератури

Fraleigh, John B. (1994), A First Course in Abstract Algebra (вид. 5th), Addison Wesley, ISBN
Herstein, I. N. (1986), Abstract Algebra, Macmillan, ISBN
Kazarinoff, Nicholas D. (2003) [1970], Ruler and the Round /Classic Problems in Geometric Constructions, Dover, ISBN
Moise, Edwin E. (1974), Elementary Geometry from an Advanced Standpoint (вид. 2nd), Addison Wesley, ISBN
Roman, Steven (1995), Field Theory, Springer-Verlag, ISBN
Rotman, Joseph J. (2006), A First Course in Abstract Algebra with Applications (вид. 3rd), Prentice Hall, ISBN
Stewart, Ian (1989), Galois Theory (вид. 2nd), Chapman and Hall, ISBN

Посилання

Вікісховище має мультимедійні дані за темою: Конструктивне число

Chris Cooper: Galois Theory [ 17 лютого 2019 у Wayback Machine.]. Lectures notes, Macquarie University, § 6 Ruler and Compass Constructability, pp. 55-63 [ 28 лютого 2019 у Wayback Machine.](англ.)
Weisstein, Eric W. Constructible Number(англ.) на сайті Wolfram MathWorld.
Constructible Numbers [ 28 лютого 2019 у Wayback Machine.] at Cut-the-knot(англ.)

[1] Fraileigh, 1994, p. 426

[2] John A. Beachy, William D. Blair; Abstract Algebra; Definition 6.3.1 [ 6 лютого 2012 у Wayback Machine.]

[K10-3] Kazarinoff, 2003, p. 10

[4] Kazarinoff, 2003, p. 15

[5] Kazarinoff, 2003, p. 46

[6] Інший напрямок представлено у Moise, 1974 Мойсе, який замінює слово «конструктивний» словом «сурд (ірраціональне число)» протягом усіх своїх обговорень

[7] Kazarinoff, 2003, p. 18

[8] Moise, 1974, p. 227

[9] Herstein, 1986, p. 237

[10] Herstein, 1986, pp. 236–237

[11] Moise, 1974, p. 224

[12] Fraleigh, 1994, pp. 426–427

[13] Smart, pp. 216–217

[14] Fraleigh, 1994, p. 429

[15] Roman, 1995, p. 59

[16] Stewart, 1989, pp. 54–55

[17] Roman, 1995, p. 207

[18] Rotman, 2006, p. 361

[19] Rotman, 2006, p. 362

[20] Stewart, 1989, p. 51

[F429-21] Fraleigh, 1994, pp. 429–430

[22] Fraleigh, 1994, p. 504

[23] Kazarinoff, 2003, p. 28

[24] (1986), , Dover Books on Mathematics, Courier Dover Publications, с. 4, ISBN , архів оригіналу за 5 липня 2019, процитовано 26 лютого 2019.

[25] Kazarinoff, 2003, p. 29

[26] Klein, Felix (1956) [1930], Famous Problems of Elementary Geometry, Dover, с. 16

[27] Kazarinoff, 2003, p. 30

[28] Wantzel, P. L. (1837), , Journal de Mathématiques Pures et Appliquées, 1 (2): 366—372, архів оригіналу за 7 червня 2011, процитовано 26 лютого 2019

[29] Boyer, Carl B. (2004) [1956], History of Analytic Geometry, Dover, с. 83—88, ISBN