Plastilina y Bolitas; Si y solo si

La relacion Logica Si y solo si, es una abreviacion de la demostracion del tipo:

y

Esto es, que la hipotesis y la consecuencia se implican mutuamente.

Se parte de:

y se desarrolla por el metodo que mas nos convenga.

Para el regreso, se toma el consecuente B como hipotesis y se intenta llegar a A, que ahora se convierte en el consecuente, por el metodo que mas nos guste.

Se demuestran ambos lados la ida y el regreso.

Ejemplos:

1. La Guerra iniciara si y solo si hay seres humanos tan estupidos como para iniciarla.
2. El Sheik busca novia, pero solo le interesan las rubias monumentales. (traducido sería: Una mujer solo puede ser novia del Sheik si y solo si es una rubia monumental)
3. f' es creciente si y solo si f'>0

Definicion Formal:

En ciertas circunstancias, el antecedente y el consecuente se implican mutuamente, en una construccion logica coherente ambos pueden construirse en base a sus Axiomas y Teoremas basicos. Simplemente en la naturaleza suceden fenomenos que dependen uno del otro simultaneamente, como la velocidad y el tiempo, la continuidad y los limites, etc., se escribe de diferentes formas

A sii B

A si y solo si B

Si A sucede entonces B sucede, pero a la vez, si B sucede, entonces A sucede

Demostracion Geometrica Clasica

La Demostracion Geometrica clasica hace uso de dos herramientas, la Regla y el Compas, el razonamiento es logico estructurado, mas cercano a la Filosofia, que a la moderna Matematica, porque es mucho mas puro.

Pongamos un ejemplo:

Demostrar que el punto medio de la hipotenusa de un Triangulo rectangulo es equidistante de sus tres vertices.

Aqui hay que tomar en consideracion varios Axiomas:

1. En un circulo, sus radios son del mismo tamaño, esto nos sirve para cuando oimos la palabra equidistante, sabemos que hay una circunferencia asociada.
2. Las distancias se trtazan sobre radios o la diagonal.
3. Los asociados a los triangulos en general.

Demostración

Esta se hara por construccion geometrica:

1. Construimos el triangulo rectangulo:

Lo hacemos dentro de una circunferencia que nos convenga, el punto medio de la hipotenusa nos conviene colocarlo al centro, ya que de esta forma, tenemos dos radios iguales:

Ahora desde el centro levantamos una perpendicular a la diagonal, para encontrar el otro vertice del triangulo

Como se ve, hemos creado dos triangulos rectangulos ΔAOB y ΔBOC, cuyos catetos son congruentes y todos valen r, tienen los mismos angulos rectos, y por ser isosceles, sus ángulos son todos α.

Hasta el momento solo hemos construido juiciosamente nuestra figura, ahora procedamos con la demostracion

2. Demostremos que es rectangulo:

El ΔAOB es rectángulo e isosceles

⇒

La suma de sus angulos debe de dar 180°

Esto es:

α + α + 90° = 180°

2α + 90° = 180°

Asi que

α = 45°

Como el angulo del vertice C es de 2α y

2α = 90°

⇒

ΔACB es rectangulo

Paso 3 Demostrar equidistancia

Como el Punto Medio es el Centro de la Circunferencia y los tres vertices del triangulo esta a un radio de distancia de el

⇒

Son equidistantes

⊡QED

Sergio Téllez