7. Сущность аксиоматического метода.

Одна из целей включения аксиом в шк. учебник – сформировать базу для построения док-в. Удачно подобранная система аксиом призвана обеспечить рациональное, простое построение всего курса. Надо иметь в виду, что в качестве аксиом обычно выбирается уже известные факты или близкие к наглядному представлению учащихся.

При этом новым для учащихся является, главным образом, не содержание аксиом, а предельно точный математический язык, на котором они формулируются. Приведение аксиом в начале курса означает систематизацию ранее известных знаний и дополнение их новыми знаниями. В начале курса происходит активное усвоение учащимися математической терминологии, необходимой для изучения всего курса.

Дидактические формы приведения аксиом в учебнике могут быть различными.

Прежде всего выясним вопрос: На использование какой методики ознакомления учащихся с аксиомами ориентируют существующие пособия. Вначале слова «аксиома», «терема», «доказательство» даже не употребляются, вместо них говорят: «основное свойство», «свойство», «объяснение». Вместо выражений «скажите определение» или «сформулируйте определение» используются выражения «какая фигура называется...» или «что такое...»

Термины «аксиома», «теоремах», «доказательство» вводятся и разъясняются лишь после того, как учащиеся приобретут некоторый опыт применения аксиом в доказательствах. В результате осуществляется неформальное и ненавязчивое введение аксиом, а разъяснение их роли становится более конкретным и убедительным.

Остановимся на методике изучения основных свойств.

Аксиомы принадлежности:

I1. Каковы бы ни были две точки А, В, существует прямая а, проходящая через эти точки.

I2. Каковы бы ни были две точки А и В, существует не более одной прямой, проходящей через эти точки.

I3. На каждой прямой лежат по крайней мере две точки. Существуют по крайней мере три точки, не лежащие на одной прямой.

I4. Каковы бы ни были три точки А, В, С, не лежащие на одной прямой, существует плоскость α, проходящая через эти точки. На каждой плоскости лежит хотя бы одна точка.

I5. Каковы бы ни были три точки, не лежащие на одной прямой существует не более одной плоскости, проходящей через эти точки

I6. Если две точки А и В прямой а лежат в плоскости α, то каждая точка прямой а лежит в плоскости α.

В этом случае говорят, что прямая а лежит в плоскости α или плоскость α проходит через прямую а.

I7. Если две плоскости α и β имеют общую точку А, то они имею по крайней мере еще одну общую точку В.

I8. Существуют по крайней мере четыре точки, не лежащие в одной плоскости.

Исходя из этих аксиом, можно доказать ряд теорем, большинство из которых в школьном курсе геометрии не доказываются, так как они наглядно очевидны.

2. Аксиомы порядка.

Предполагается, что точка на прямой может находиться в известном отношении к двум другим точкам той же прямой; это отношение выражается словами «лежать между». Если точка В лежит между точкой А и точкой С, то мы запишем так: А - В - С. При этом должны быть удовлетворены следующие четыре аксиомы.

II1. Если А - В - С, то А, В, С - различные точки одной прямой и С - В - А.

II2. Каковы бы ни были две точки А и В, существует по крайней мере одна точка С на прямой АВ, такая, что А - В - С.

II3. Среди любых трех точек прямой существует не более одной точки, лежащей между двумя другими.

II4 (аксиома Паша). Пусть А, В, С - три точки, не лежащие на одной прямой, а а - прямая в плоскости ABC, не проходящая ни через одну из точек А, В, С. Тогда если прямая а проходит через точку отрезка АВ, то она проходит также через точку отрезка АС или ВС.

Аксиомы откладывания отрезков и углов.

Аксиома параллельных прямых.