Первая аксиома стереометрии: Через любые три точки, не лежащие на одной прямой можно провести плоскость и притом, только одну. Вторая аксиома стереометрии: Если две точки прямой лежат в некоторой плоскости, то все точки прямой лежат в этой плоскости.
Так как любые 2 из данных трех определяют прямую, то первое выражение можно перефразировать так: Через прямую l и точку вне ее проходит плоскость, притом только одна. Прямая является бесконечным множеством точек, поэтому их можно выбрать на прямой любое количество 3; 10; 1000, - важно только то, что все эти точки лежат на одной прямой. Ну, а само доказательство выглядит так: три различные точки прямой и данная точка образуют конфигурацию точек, удовлетворяющую аксиоме 1. В плоскости , задаваемой этой конфигурацией, содержатся все точки прямой l (аксиома 2). Единственность плоскости гарантируется аксиомой 1.
Если гипотенуза АВ параллельна оси Ох, то точки А и В - противоположные. A(-x1; y1); B(x1; y1); |AB| = 2x1 Точка С лежит между ними. C(x2; y2); -x1 < x2 < x1 |AC|^2 = (x2+x1)^2 + (y1-y2)^2 |BC|^2 = (x2-x1)^2 + (y1-y2)^2 По теореме Пифагора |AC|^2 + |BC|^2 = |AB|^2 (x2+x1)^2 + (y1-y2)^2 + (x2-x1)^2 + (y1-y2)^2 = 4x1^2 x2^2 + 2x1*x2 + x1^2 + 2(y1-y2)^2 + x2^2 - 2x1*x2 + x1^2 - 4x1^2 = 0 2x2^2 + 2(y1-y2)^2 - 2x1^2 = 0 x2^2 + (y1-y2)^2 - x1^2 = 0 (y1 - y2)^2 = x1^2 - x2^2 Вспомним, что это парабола y = x^2, и y1 = x1^2; y2 = x2^2 (x1^2 - x2^2)^2 = x1^2 - x2^2 Число равно своему квадрату, значит, оно равно 0 или 1. (x1^2 - x2^2) = (y1 - y2) = 0 или 1 Но 0 разность ординат точек А и С равняться не может, значит, y1 - y2 = 1 Но разность ординат - это и есть высота треугольника.
0,0(0 оценок)
Полный доступ
Позволит учиться лучше и быстрее. Неограниченный доступ к базе и ответам от экспертов и ai-bota
Оформи подписку
