Demostraciones Matemáticas

Por: Jonathan Miguel Mendoza

Demostración del Teorema de la distancia
Hipótesis: Sean P(XP, YP) y Q(XQ, YQ) dos puntos cualesquiera del plano

2 2
Tesis: 𝑑𝑃𝑄 = √(𝑋𝑄 − 𝑋𝑃 ) + (𝑌𝑄 − 𝑌𝑃 )

 En la siguiente figura P(XP, YP), Q(XQ, YQ) y Rm(Xm, Ym); luego trazamos los
vectores: ⃗⃗⃗⃗⃗
𝐎𝐏, ⃗⃗⃗⃗⃗⃗⃗⃗⃗
𝐎𝐑 𝐦 𝐲 𝐎𝐐⃗⃗⃗⃗⃗⃗ , representados respectivamente por:
⃗⃗⃗⃗⃗
𝐎𝐏 = ⃗⃗⃗ 𝐕 , ⃗⃗⃗⃗⃗⃗⃗⃗⃗
𝐎𝐑 𝐦 = ⃗⃗⃗⃗𝐌 𝐲 𝐎𝐐 ⃗⃗⃗⃗⃗⃗ = ⃗⃗⃗⃗
𝐭

Observaciones:
⃗⃗⃗⃗
𝑽 + ⃗⃗⃗⃗⃗⃗
𝑾 = ⃗⃗⃗𝒕 por suma vectorial
⃗⃗⃗⃗
𝑽 = (𝑿𝑷 , 𝒀𝑷 ); ⃗⃗⃗𝒕 = (𝑿𝑸 , 𝒀𝑸 )
⃗⃗⃗⃗⃗⃗
𝑾 = ⃗⃗⃗𝒕 − ⃗⃗⃗⃗
𝑽 despejando a W
 ⃗⃗⃗⃗⃗⃗
𝑾 = (𝑿𝑸 , 𝒀𝑸 ) − (𝑿𝑷 , 𝒀𝑷 ) por sustitución
⃗⃗⃗⃗⃗⃗
𝑾 = (𝑿𝑸 − 𝑿𝑷 , 𝒀𝑸 − 𝒀𝑷 )
Así que: ‖⃗⃗⃗⃗⃗⃗
𝑾 ‖ = ‖⃗⃗⃗𝒕 − ⃗⃗⃗⃗
𝑽‖
𝟐
⃗⃗⃗⃗ ‖ = (𝑿𝑸 − 𝑿𝑷 )𝟐 + (𝒀𝑸 − 𝒀𝑷 )𝟐
‖𝑾

⃗⃗⃗⃗ ‖ = √(𝑿𝑸 − 𝑿𝑷 )𝟐 + (𝒀𝑸 − 𝒀𝑷 )𝟐 L.Q.Q.D

‖𝑾

Demostración del Teorema del Punto Medio

Si el punto Rm (XR, YR) es el punto medio entre los puntos
P(XP, YP) y Q(XQ, YQ), entonces, las componentes del vector
⃗⃗⃗⃗⃗⃗⃗⃗⃗⃗
𝑶𝑹𝒎 = ⃗⃗⃗⃗ ⃗⃗⃗⃗⃗⃗⃗ = 𝑾
𝑴 corresponden al punto medio del vector 𝑷𝑸 ⃗⃗⃗⃗
Por proporcionalidad en la figura anterior y la condición de
unidireccionalidad o alineación de tres puntos, en este caso
los tres puntos son: P(XP, YP), Rm (XR, YR) y Q(XQ, YQ) se
cumple que:
𝒀𝑹 − 𝒀𝑷 𝒀𝑸 − 𝒀𝑹 𝒀𝑸 − 𝒀𝑷
= = =𝝆
𝑿𝑹 − 𝒀𝑷 𝑿𝑸 − 𝑿𝑹 𝑿𝑸 − 𝑿𝑷
Donde ρ (Rho) es la razón de proporcionalidad o de división
segmentaria.
En nuestro caso ρ = 1, ya que Rm es el punto bisectriz de del
vector PQ. Estos es el segmento (P Rm) = Segmento (RmQ)
[𝐬𝐞𝐠𝐦𝐞𝐧𝐭𝐨 (𝐏 𝐑𝐦)]
=𝟏
[𝐒𝐞𝐠𝐦𝐞𝐧𝐭𝐨 (𝐑𝐦𝐐)]
̅̅̅̅
𝑷𝑸 ̅̅̅̅̅̅̅
𝑹𝒎 𝑸
= =𝝆=𝟏
̅̅̅̅̅̅̅
𝑹𝒎 𝑸 𝑷𝑹𝒎 ̅̅̅̅̅̅̅
Si en la expresión siguiente hacemos 𝝆 = 𝟏, entonces, nos
queda que:
𝒀𝑹 − 𝒀𝑷 𝒀𝑸 − 𝒀𝑹 𝒀𝑸 − 𝒀𝑷
= = =𝝆=𝟏
𝑿𝑹 − 𝒀𝑷 𝑿𝑸 − 𝑿𝑹 𝑿𝑸 − 𝑿𝑷
Esto también se puede escribir así:
𝒀𝑹 − 𝒀𝑷 𝑿𝑹 − 𝑿𝑷 𝑿𝑸 − 𝑿𝑷
= = =𝝆=𝟏
𝒀𝑸 − 𝒀𝑹 𝑿𝑸 − 𝑿𝑹 𝒀𝑸 − 𝒀𝑷
Despejando YR de la siguiente igualdad tenemos:
𝒀𝑹 − 𝒀𝑷
= 𝝆 → 𝒀𝑹 − 𝒀𝑷 = 𝝆(𝒀𝑸 − 𝒀𝑹 )
𝒀𝑸 − 𝒀𝑹
Por la propiedad distributiva:
𝒀𝑹 − 𝒀𝑷 = 𝝆(𝒀𝑸 − 𝒀𝑹 ) → 𝒀𝑹 − 𝒀𝑷 = 𝝆𝒀𝑸 − 𝝆𝒀𝑹
Agrupando términos semejantes:
𝒀𝑹 − 𝒀𝑷 = 𝝆𝒀𝑸 − 𝝆𝒀𝑹 → 𝒀𝑹 + 𝝆𝒀𝑹 = 𝝆𝒀𝑸 + 𝒀𝑷
𝒀𝑹 + 𝝆𝒀𝑹 = 𝝆𝒀𝑸 + 𝒀𝑷
𝒀𝑹 (𝟏 + 𝝆) = 𝝆𝒀𝑸 + 𝒀𝑷
𝝆𝒀𝑸 + 𝒀𝑷
𝒀𝑹 = , 𝒑𝒆𝒓𝒐 𝝆 = 𝟏
𝟏+𝝆
Nos queda:
𝒀𝑸 +𝒀𝑷
𝒀𝑹 = Ordenada del punto medio
𝟐
Análogamente demostramos la abscisa del punto medio,
ahora usamos la relación:
𝑿𝑹 − 𝑿𝑷
=𝝆
𝑿𝑸 − 𝑿𝑹
Despejando a XR de la expresión anterior tenemos:
𝑿𝑹 − 𝑿𝑷
= 𝝆 → (𝑿𝑹 − 𝑿𝑷 ) = 𝝆(𝑿𝑸 − 𝑿𝑹 )
𝑿𝑸 − 𝑿𝑹

(𝑿𝑹 − 𝑿𝑷 ) = 𝝆(𝑿𝑸 − 𝑿𝑹 ) → 𝑿𝑹 − 𝑿𝑷 = 𝝆𝑿𝑸 − 𝝆𝑿𝑹

Agrupando términos semejantes tenemos que:
𝑿𝑹 − 𝑿𝑷 = 𝝆𝑿𝑸 − 𝝆𝑿𝑹 → 𝑿𝑹 + 𝝆𝑿𝑹 = 𝑿𝑷 + 𝝆𝑿𝑸
Extrayendo Factor Común tenemos:
𝑿𝑹 + 𝝆𝑿𝑹 = 𝑿𝑷 + 𝝆𝑿𝑸 → 𝑿𝑹 (𝟏 + 𝝆) = 𝑿𝑷 + 𝝆𝑿𝑸
𝑿𝑷 + 𝝆𝑿𝑸
𝑿𝑹 (𝟏 + 𝝆) = 𝑿𝑷 + 𝝆𝑿𝑸 → 𝑿𝑹 =
(𝟏 + 𝝆)
𝑿𝑷 + 𝝆𝑿𝑸
𝑿𝑹 = , 𝑷𝒆𝒓𝒐 𝒅𝒊𝒋𝒊𝒎𝒐𝒔 𝒒𝒖𝒆: 𝝆 = 𝟏
(𝟏 + 𝝆)
𝐗𝐏 + 𝐗𝐐
𝐗𝐑 = Abscisa del punto medio
𝟐

 Otra forma de demostrar el las coordenadas del Punto Medio

Es utilizando un método analítico Euclídeo, en la figura anterior
Por el postulado de adición de segmentos tenemos:
̅̅̅̅
𝑂𝐶 = ̅̅̅̅
𝑂𝐴 + ̅̅̅̅̅
𝐴𝐵 + ̅̅̅̅
𝐵𝐶 (1)
̅̅̅̅ = 𝐴𝐵
𝐴𝐶 ̅̅̅̅ + 𝐵𝐶̅̅̅̅ ; 𝐴𝐵
̅̅̅̅ = 𝐵𝐶
̅̅̅̅ Por ser el punto B bisectriz del
segmento 𝐴𝐶̅̅̅̅ (2)
̅̅̅̅ = 𝑋𝑅 − 𝑋𝑃 Por definición de longitud de un segmento (3)
𝐴𝐵
̅̅̅̅ = 𝑋𝑄 − 𝑋𝑅 (4)
𝐵𝐶
̅̅̅̅ = 𝐵𝐶
𝐴𝐵 ̅̅̅̅ Por ser el punto B bisectriz del segmento 𝐴𝐶
̅̅̅̅ (5)

XR - XP = XQ - XR Propiedad de sustitución de (3) y (4) en (5)

2XR = XQ + XP
𝟏
𝑿𝑹 = (𝑿𝑸 + 𝑿𝑷 ) Abscisa del Punto Medio
𝟐

De forma Análoga se puede demostrar la Ordenada del

Punto Medio.
Por el postulado de adición de segmentos tenemos:
̅̅̅̅
𝑶𝑭 = ̅̅̅̅̅
𝑶𝑫 + ̅̅̅̅
𝑫𝑬 + ̅̅̅̅
𝑬𝑭 (1)
̅̅̅̅̅
𝑫𝑭 = ̅̅̅̅
𝑫𝑬 + ̅̅̅̅
𝑬𝑭; 𝒑𝒆𝒓𝒐 ̅̅̅̅
𝑫𝑬 = ̅̅̅̅
𝑬𝑭 (2)
̅̅̅̅
Por ser el punto E bisectriz del segmento 𝐷𝐹
̅̅̅̅
𝑫𝑬 = 𝒀𝑹 − 𝒀𝑸 Por definición de longitud de un segmento. (3)
̅̅̅̅
𝑬𝑭 = 𝒀𝑷 − 𝒀𝑹 (4)
̅̅̅̅
Por ser el punto E bisectriz del segmento 𝐷𝐹
̅̅̅̅
𝑫𝑬 = ̅̅̅̅
𝑬𝑭 (5)
𝒀𝑹 − 𝒀𝑸 = 𝒀𝑷 − 𝒀𝑹 Por la propiedad de sustitución de
(3) y (4) en (5)
Agrupando términos semejantes en la igualdad
𝒀𝑹 − 𝒀𝑸 = 𝒀𝑷 − 𝒀𝑹 → 𝒀𝑹 + 𝒀𝑹 = 𝒀𝑷 + 𝒀𝑸
𝒀𝑹 + 𝒀𝑹 = 𝒀𝑷 + 𝒀𝑸
Sumando términos semejantes:
𝟐𝒀𝑹 = 𝒀𝑷 + 𝒀𝑸
Despejando 𝒀𝑹 en la igualdad tenemos:
𝟏 𝟏
(𝟐𝒀𝑹 ) = (𝒀𝑷 + 𝒀𝑸 ) Aplicando el inverso multiplicativo
𝟐 𝟐
por monotonia
𝟏
𝒀𝑹 = (𝒀𝑷 + 𝒀𝑸 ) Propiedad del inverso multiplicativo
𝟐

𝟏
𝒀𝑹 = (𝒀𝑷 + 𝒀𝑸 ) Ordenada del Punto Medio.
𝟐