Доказательство: Пусть даны две прямые a и b. Предположим, что они имеют более одной общей точки - точки M и N. Тогда через две точки M и N проходила бы не одна, а две прямые - прямые a и b. Но это противоречит аксиоме. Конец доказательства.
Что мне не нравится в доказательстве: Хорошо, мы доказали, что две разные прямые не могут иметь две общие точки. Но для меня ситуация выглядит так, что мы доказали только этот частный случай. А если мы возьмем три общие точки или больше? Не похоже, чтобы аксиома запрещяла, чтобы две разные прямые имели три общие точки.
Умом-то я понимаю, что если две прямые имеют более одной общей точки, то они являются одной и той же прямой. Но вот строго доказать, увы, не могу. И мне кажется, что для этого хватит все той же аксиомы. А вся моя проблема проистекает из-за неверного понимания самой аксиомы, которая скорее всего запрещяет и случаи с большим количеством общих точек.
Окружность, уравнение которой x^2+y^2 = 4 - это окружность с центром в начале координат радиусом 2., поскольку уравнение окружности таково: (x - a)^2 + (y - b)^2 = R^2 с центром в точке O(a;b) Радиуса R. Из условия имеем: (x - 0)^2 + (y - 0)^2 = 2^2. Далее, Из условия AB = BM. Рассмотрим это со следующего ракурса: AB = BM - радиусы некоторой окружности. На рисунке как бы мы не проводили хорду АВ, АВ будет равна ВМ и точка М будет лежать на той самой окружности. И хорда АМ большой окружности будет делится надвое радиусом в точке меньшей окружности (B, B1, B2 ... Bn). Получается, множество точек М - это некая окружность с центром B(2;0) радиусом 4. И уравнение такой окружности будет иметь вид: (x-2)^2 + y^2 = 16.
Объяснение:
Доказательство: Пусть даны две прямые a и b. Предположим, что они имеют более одной общей точки - точки M и N. Тогда через две точки M и N проходила бы не одна, а две прямые - прямые a и b. Но это противоречит аксиоме. Конец доказательства.
Что мне не нравится в доказательстве: Хорошо, мы доказали, что две разные прямые не могут иметь две общие точки. Но для меня ситуация выглядит так, что мы доказали только этот частный случай. А если мы возьмем три общие точки или больше? Не похоже, чтобы аксиома запрещяла, чтобы две разные прямые имели три общие точки.
Умом-то я понимаю, что если две прямые имеют более одной общей точки, то они являются одной и той же прямой. Но вот строго доказать, увы, не могу. И мне кажется, что для этого хватит все той же аксиомы. А вся моя проблема проистекает из-за неверного понимания самой аксиомы, которая скорее всего запрещяет и случаи с большим количеством общих точек.
МОЛОДЦЫ ДЕРЖИТЕСЬ УДАЧИ ВАМ -^-)