# Geometry/Proof
## Introduction

Unlike science which has theories, mathematics has a definite notion of proof. Mathematics applies deductive reasoning to create a series of logical statements which show that one thing implies another.
Consider a triangle, which we define as a shape with three vertices joined by three lines. We know that we can arbitrarily pick some point on a page, and make that into a vertex. We repeat that process and pick a second point. Using a ruler, we can connect these two points. We now make a third point, not on the line through the first two points, and using the ruler connect it to each of the other points. We have constructed a triangle.
In mathematics we formalize this process into axioms, and carefully lay out the sequence of statements to show what follows. All definitions are clearly defined. In modern mathematics, we are always working within some system where various axioms hold.

## Two-Column Proof

The most common form of explicit proof in high school geometry is a two column proof consists of five parts: the given, the proposition, the statement column, the reason column, and the diagram (if one is given).

### Example of a Two-Column Proof

Now, suppose a problem tells you to solve $x+1=2$ for $x$, showing all steps made to get to the answer. A proof shows how this is done:
Given: $x+1=2$
Prove: x = 1
| Statement | Reason |
| $x+1=2$ | Given |
| $x=1$ | Property of subtraction |
We use "Given" as the first reason, because it is "given" to us in the problem.

## Written Proof

Written proofs (also known as informal proofs, paragraph proofs, or 'plans for proof') are written in paragraph form. Other than this formatting difference, they are similar to two-column proofs.
Sometimes it is helpful to start with a written proof, before formalizing the proof in two-column form. If you're having trouble putting your proof into two column form, try "talking it out" in a written proof first.

### Example of a Written Proof

We are given that x + 1 = 2, so if we subtract one from each side of the equation (x + 1 - 1 = 2 - 1), then we can see that x = 1 by the definition of subtraction.

## Flowchart Proof

A flowchart proof or more simply a flow proof is a graphical representation of a two-column proof. Each set of statement and reasons are recorded in a box and then arrows are drawn from one step to another. This method shows how different ideas come together to formulate the proof.

### Navigation

* Geometry
* Part I—Euclidean Geometry:
** Chapter 1. Geometry/Points, Lines, Line Segments and Rays
** Chapter 2. Geometry/Angles
** Chapter 3. Geometry/Properties
** Chapter 4. Geometry/Inductive and Deductive Reasoning
** Chapter 5. Geometry/Proof
** Chapter 6. Geometry/Five Postulates of Euclidean Geometry
** Chapter 7. Geometry/Vertical Angles
** Chapter 8. Geometry/Parallel and Perpendicular Lines and Planes
** Chapter 9. Geometry/Congruency and Similarity
** Chapter 10. Geometry/Congruent Triangles
** Chapter 11. Geometry/Similar Triangles
** Chapter 12. Geometry/Quadrilaterals
** Chapter 13. Geometry/Parallelograms
** Chapter 14. Geometry/Trapezoids
** Chapter 15. Geometry/Circles/Radii, Chords and Diameters
** Chapter 16. Geometry/Circles/Arcs
** Chapter 17. Geometry/Circles/Tangents and Secants
** Chapter 18. Geometry/Circles/Sectors
** Appendix A. Geometry/Postulates & Definitions
** Appendix B. Geometry/The SMSG Postulates for Euclidean Geometry
* Part II—Coordinate Geometry:
** Geometry/Synthetic versus analytic geometry
* Two and Three-Dimensional Geometry and Other Geometric Figures
** Geometry/Perimeter and Arclength
** Geometry/Area
** Geometry/Volume
** Geometry/Polygons
** Geometry/Triangles
** Geometry/Right Triangles and Pythagorean Theorem
** Geometry/Polyominoes
** Geometry/Ellipses
** Geometry/2-Dimensional Functions
** Geometry/3-Dimensional Functions
** Geometry/Area Shapes Extended into 3rd Dimension
** Geometry/Area Shapes Extended into 3rd Dimension Linearly to a Line or Point
** Geometry/Polyhedras
** Geometry/Ellipsoids and Spheres
** Geometry/Coordinate Systems (currently incorrectly linked to Astronomy)
* Traditional Geometry:
** Geometry/Topology
** Geometry/Hyperbolic and Elliptic Geometry
** Geometry/Projective Geometry
** Geometry/Neutral Geometry
** Geometry/Inversive Geometry
* Modern geometry
** Geometry/Unified Angles
** Geometry/Groups
** Geometry/Algebraic Geometry
** Geometry/Differential Geometry
** Geometry/Algebraic Topology
** Geometry/Noncommutative Geometry
* Geometry/An Alternative Way and Alternative Geometric Means of Calculating the Area of a Circle