How to prove a mathematical theory - Scott

Kennedy
In what ways do mathematical proofs apply to architecture? To computer programming? Can you think of other
professions that may use similar logic?
De qu manera se aplican las pruebas matemticas a la arquitectura? a la programacin de computadoras?
Puedes pensar en otras profesiones que puedan utilizar una lgica similar?

The property that anything is congruent to itself is called

La propiedad de que todo es congruente consigo mismo se llama
A) The symmetric property (La propiedad de simetra)
B) The reflexive property (La propiedad reflexiva)
C) cThe transitive property (La propiedad transitvia)
D) The commutative property (La propiedad conmutativa)
E) The Pythagorean Theorem (El teorema de Pitgoras)

What effects do you think Euclid had on Mathematics? In what ways did it progress because of his contributions?
Qu efectos crees que tuvo Euclides en las Matemticas? De qu manera progres debido a sus
contribuciones?

What do the letters Q.E.D. signal? Que nos indica las letras Q.E.D.?
A) The end of a proof (El final de una prueba)
B) The beginning of a proof (El comienzo de una prueba)
C) The given information (La informacin dada)
D) The midpoint of a line segment (El punto medio de un segmento de lnea)
E) the hypotenuse of a triangle (la hipotenusa de un tringulo)

Many law students take a course in formal logic. How does the form of the geometric proof that Mr. Kennedy
describes apply to the law?
Muchos estudiantes de derecho toman un curso de lgica formal. Cmo la forma de la prueba geomtrica que el
seor Kennedy describe aplica a la ley?

What is Euclid famous for?

Por qu es famoso Euclides?

A) Being the first to study geometry (Fue el primero en estudiar la geometra)

B) Coining the term "congruent" (Acu el trmino "congruentes")
C) Discovering Pi (Descubri Pi)
D) Inventing theorems (Invent los teoremas)
E) Introducing mathematical proofs to the world (Introdujo las pruebas matemticas al mundo)

Kennedy refers to the rules of the game. These are

Kennedy se refiere a "las reglas del juego". Estas son
A) Theorems (Los teoremas)
B) Proofs (las demostraciones)
C) Definitions (Las definiciones)
D) Axioms (Los axiomas)
E) Formulas (Las frmulas)

How much money could you win by proving a Milennium Problem?

Cunto dinero se puede ganar al probar un problema del Milenio?
A) $1,000

B) $100,000 C) $1,000,000

D) $5,500,000

E) $100,000,000

Euclid of Alexandria revolutionized the way that mathematics is written, presented or thought about,
and introduced the concept of mathematical proofs. Discover what it takes to move from a loose theory
or idea to a universally convincing proof.
Euclides de Alejandra revolucion la forma en que la matemtica est escrito, presentado o pensado, e
introdujo el concepto de pruebas matemticas. Descubre lo que se necesita para pasar de una teora
suelto o idea para una prueba universalmente convincente.
Additional Resources for you to Explore
Another popular type of proof is a proof by contradiction. This is also known as an indirect proof.
Search the internet for explanations and examples of this type of proof. How might this approach be
valuable in proving someone is innocent of a crime?
Search the internet for Euclids Elements and read about the parallel postulate and the controversy
surrounding its improveability.
Read about the millennium problems, and the mathematicians who have won a million dollars. Andrew
Wiles proved Fermats last theorem several years ago. Read about his struggle with this difficult
problem. Could you have gone through that?
Research Godels incompleteness theorem. It basically states that we can NEVER prove
EVERYTHING He proved it!

Recursos adicionales para explorar

Otro tipo popular de la prueba es una prueba por contradiccin. Esto tambin se conoce como una
prueba indirecta. Buscar en la Internet para obtener explicaciones y ejemplos de este tipo de pruebas.
Cmo podra este enfoque valioso para demostrar que alguien es inocente de un crimen?
Buscar en la Internet para los Elementos de Euclides y leer sobre el postulado de las paralelas y la
controversia que lo rodea es improveability.
Lea acerca de los problemas del milenio, y los matemticos que han ganado un milln de dlares.
Andrew Wiles demostr el ltimo teorema de Fermat hace varios aos. Lea acerca de su lucha con este
problema difcil. Podra haber pasado por eso?
Teorema de incompletitud de Gdel Investigacin. Bsicamente dice que nunca podemos probar
TODO ... l lo demostr!

Scott Kennedys Classroom http://www.mrkennedymath.doodlekit.com

Scott Kennedys Youtube channel http://www.youtube.com/user/scottjkennedy28
Introduction to geometric proofs http://www.sophia.org/introduction-to-geometric-proof-tutorial
The Millennium Problems http://www.claymath.org/millennium/

Euclids Elements http://www.claymath.org/library/historical/euclid/