1.2: Повнота
Використовуйте наступні аксіоми та визначення перетину та паралелі як визначення геометрії Фано.
більше речей
- Існує хоча б один рядок.
- На кожній лінії рівно три точки.
- Не всі точки знаходяться на одній лінії.
Дослідіть геометрію Фано наступним чином.
- Намалюйте лінію за допомогою Geogebra.
- Додайте третю точку до лінії.
- Зверніть увагу, що Аксіома 3 вимагає ще одного пункту. Намалюйте одну.
- Чи потрібно додати ще якісь рядки? Якщо так, зробіть це.
- Скільки ліній в цій геометрії?
- Додайте аксіому: кожна точка знаходиться принаймні на одній лінії.
- До вашої лінії з трьома точками, а одна точка не на цій лінії додайте будь-які лінії, необхідні цій новій аксіомі.
- Переконайтеся, що ці лінії задовольняють Axiom 2.
- Скільки ліній в цій геометрії?
- Чи можуть бути додані ще якісь рядки? Якщо так, зробіть це, і переконайтеся, що аксіоми задоволені.
- Скільки ліній в цій геометрії?
- Що говорять відповіді на 5, 9 і 11 про цю спробу побудови геометрії?
- Що потрібно для усунення складності, зазначеної в попередньому питанні?