digplanet beta 1: Athena
Share digplanet:

Agriculture

Applied sciences

Arts

Belief

Chronology

Culture

Education

Environment

Geography

Health

History

Humanities

Language

Law

Life

Mathematics

Nature

People

Politics

Science

Society

Technology

In 1932, G. D. Birkhoff created a set of four postulates of Euclidean geometry sometimes referred to as Birkhoff's axioms. These postulates are all based on basic geometry that can be confirmed experimentally with a scale and protractor. Since the postulates build upon the real numbers, the approach is similar to a model-based introduction to Euclidean geometry. Other often-used axiomizations of plane geometry are Hilbert's axioms and Tarski's axioms.

Birkhoff's axiom system was utilized in the secondary-school text Basic Geometry (first edition, 1940; see References). Birkhoff's axioms were also modified by the School Mathematics Study Group to provide a new standard for teaching high school geometry, known as SMSG axioms.

## Postulates

Postulate I: Postulate of Line Measure. A set of points {A, B, ...} on any line can be put into a 1:1 correspondence with the real numbers {a, b, ...} so that |b − a| = d(A, B) for all points A and B.

Postulate II: Point-Line Postulate. There is one and only one line, , that contains any two given distinct points P and Q.

Postulate III: Postulate of Angle Measure. A set of rays {ℓ, m, n, ...} through any point O can be put into 1:1 correspondence with the real numbers a (mod 2π) so that if A and B are points (not equal to O) of and m, respectively, the difference am − a (mod 2π) of the numbers associated with the lines and m is $\angle$AOB. Furthermore, if the point B on m varies continuously in a line r not containing the vertex O, the number am varies continuously also.

Postulate IV: Postulate of Similarity. Given two triangles ABC and A'B'C'  and some constant k > 0, d(A', B' ) = kd(A, B), d(A', C' ) = kd(A, C) and $\angle$B'A'C'  = ±$\angle$BAC, then d(B', C' ) = kd(B, C), $\angle$C'B'A'  = ±$\angle$CBA, and $\angle$A'C'B'  = ±$\angle$ACB.

## References

• Birkhoff, George David. 1932. "A Set of Postulates for Plane Geometry (Based on Scale and Protractors)," Annals of Mathematics 33.
• Birkhoff, George David and Ralph Beatley. 1959. Basic Geometry 3rd ed. Chelsea Publishing Co. [Reprint: American Mathematical Society, 2000. ISBN 978-0-8218-2101-5]

Original courtesy of Wikipedia: http://en.wikipedia.org/wiki/Birkhoff's_axioms — Please support Wikipedia.
A portion of the proceeds from advertising on Digplanet goes to supporting Wikipedia.
 1 videos found
 what is "model theory"?Model theory (thought not described as such in the book) is a method of description used in the "freshperson" maths book from 1960, Birkhoff and Maclane's "A...
 1 videos found

We're sorry, but there's no news about "Birkhoff's axioms" right now.

 Limit to books that you can completely read online Include partial books (book previews) .gsc-branding { display:block; }

Oops, we seem to be having trouble contacting Twitter

You can talk about Birkhoff's axioms with people all over the world in our discussions.