Elementary proof that there is no paradoxical decomposition using triangular pieces I am teaching a geometry course and I am trying to understand two definitions in the textbook ("Geometry with Geometry Explorer" by Michael Hvidsten.)
Definition: The area of a rectangle is its base times its height.
Definition:  If two figures can be made equivalent, we will say that they have the same area.
Here we say that two figures can be made equivalent if each can be split into the same finite number of polygons (without loss of generality, triangles) such that corresponding pairs are congruent.  Note that "split" does not exactly mean "partitioned" here, because we allow the edges of the triangles to overlap.
To me it seems that the first definition is defining "area" in a special case, and the second definition is defining "has the same area."  However, we are clearly meant to infer that if two rectangles "have the same area" in the second sense then they have the same "area" in the first sense.  Is this obvious?
Of course one can prove it using analytic methods because triangles are Lebesgue measurable.  However, the course takes a synthetic approach to geometry, so it would be better to avoid this.  So my question is the following:

Is there a proof in elementary synthetic geometry that two rectangles $R$ and $R'$ with different values for "base times height" (e.g. $1 \times 1$ and $2 \times 1$) cannot be split into finitely many triangles $T_i,\ldots,T_n$ and $T'_1,\ldots,T'_n$ respectively, with $T_i \cong T'_i$ for all $i \le n$?

 A: Edit: The answer refers to the old title, "Why is there no Banach-Tarski paradoxical decomposition using triangles?"
We address only the question in the title, which is different from the question in the body.
There is a finitely additive "measure" in the plane that (i) extends Lebesgue measure and (ii) is invariant under rigid motions. So suppose  that $A$ and $B$  $A$ and $B$ have distinct measures, with the measure of $A$ less than the measure of $B$. Then we cannot decompose $A$ into a finite number of (arbitrary) subsets and reassemble these to form $B$. 
A: I think what you want is in Chapter 5 of Hartshorne's book "Geometry: Euclid and Beyond", which covers Hilbert's synthetic theory of area. The theorem you want is a slight rewording of the statement in Andre's post, namely: there is a finitely additive function defined on all figures in the plane that extends the standard "length times height" area formula of a rectangle, and that is invariant under rigid motions. 
Here is an outline of the proof of this theorem. One first derives the standard "one half base times height" formula for a triangle. Then one subdivides each figure into triangles and adds their areas. Finally one proves that the result is well-defined independent of subdivision; this is Lemma 23.5 in Harshorne. I've skipped some steps of the outline in which one proves special cases of well-definedness, on the way to the general proof of well-definedness.
A: The best presentation I've seen of this, at an elementary level, is in the book Geometry. A metric approach with models, by Richard S. Millman and George D. Parker. (There was actually a thread on Mathoverflow on a similar topic, years ago, which is how I found this reference. Unfortunately, I couldn't locate the thread today. But you should look for it, as it includes sketches and other references.) 
In Millman-Parker, you want to look at Chapter 10, Area. The book develops the theory in a way that allows the authors to treat areas (for polygonal regions) for both Euclidean and Hyperbolic geometry, essentially simultaneously, before specializing in each case. This way, they first identify the features an area function should satisfy, and then proceed to show in each case that there is indeed essentially a unique such a function.  
For the Bolyai-Gerwein theorem itself, once one knows that areas are well defined, the presentation I like best is the one in Wagon's book on the Banach-Tarski paradox. The sketch there leaves a few details out, and for these, the nicest presentation I know of is in Howard Eves's A survey of geometry.
(Unfortunately, although elementary, the argument in the Millman-Parker book takes a while to present carefully -- and more so if one also includes the Bolyai-Gerwein theorem, which should be the case. It would be nice to start a discussion motivating the need for the development of Lebesgue measure with these results, and then a discussion of Hilbert's third problem, and Dehn's solution. I tried a sketch of this once, but not in full detail.)
