PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2019 | 11 | 37-62
Tytuł artykułu

Euclid’s theory of proportion revised

Treść / Zawartość
Warianty tytułu
PL
Euclid’s theory of proportion revised
Języki publikacji
EN
Abstrakty
PL
Teoria pola po raz pierwszy została opisana w pracy Chou, Gao, Zhang w 1994 roku. W kolejnej pracy (Janicic, Narboux, Quaresma 2012) zaprezentowano nowy system aksjomatów teorii pola i program przeznaczony do automatycznego dowodzenia twierdzen. W artykule chcemy przedstawić interpretację teorii pola w geometrii analitycznej na płaszczyznie kartezjanskiej R×R z porządkiem leksykograficznym. Również pokażemy nową metodę dowodzenia twierdzeń geometrycznych (szczególnie twierdzeń z ksiegi VI Elementów Euklidesa), w której pole trójkąta wystepuje w dowodach (szczególnie w proporcji) jako element pierwotny (wzór na pole trójkąta wprowadza się, jako aksjomat). Podobną metodę stosował Euklides na objektach geometrycznych bez użycia liczb. W omawianej teorii pole trójkąta jest liczbą, a twierdzenie VI.1 Elementów, podstawowe dla teorii Euklidesa, jest przyjmowane jako aksjomat. W artykule również omówimy mało znaną własność, która jest modyfikacją twierdzenia VI.1: w miejsce proporcji trójkątów o wspólnej wysokości, wykorzystuje proporcje trójkątów o wspólnej podstawie.
Słowa kluczowe
Twórcy
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ojs-doi-10_24917_20809751_11_3
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.