Just to actualize my thread which hasn't get reply for 5 days since posting.
Can someone look at it?
Theorem in book states that if (A,B,C) and (A', B', C') are two ordered sets of three non-colinear points in plane alpha and if is AB=A'B', BC = B'C' and AC=A'C', then there is isometry I which translates plane alpha into plane alpha: I(alpha) = alpha and then is I(A) = A', I(B) = B' and I(C) = C'.
I don't have proof of that theorem in book so I tried to prove it.
My proof is based on proving that for any given line segment in plane alpha in regard to A,B,C there is congruent line segment in plane alpha in regard to A',B',C'. There can be more cases of where line segment can be located but I will consider just one.
1) If there is some line segment MN in plane alpha then line that contains MN must intersect at least two lines formed by A,B,C points. Lets say that line MN intersects line BC and line AC in points X and Y. Then we can find X' and Y' on lines B'C' and A'C' such that (A,C,Y) = (A',C',Y') and (B,C,X) = (B',C',X'). Then AC=A'C', CX = C'X' and AX = A'X'.
Since AY = A'Y' we have that from (A,C,X) = (A',C',X') follows that XY = X'Y'. From that we can easy find and prove that MN=M'N'.
From that follows that I(alpha) = alpha.
Can someone look at my proof?
I cannot verify what you have done because I am not sure of what axioms you are following. However, it seems that you may have access to a reasonably good mathematics library. If so find Modern Geometries by James R. Smart. In that text there is a very good proof of the following theorem: A motion of the plane is uniquely determined by an isometry of one triangle onto another.
I am following axioms of incidence, order, parallels and congruence.
Relevant axiom of congruence used in this proof is:
If and are two sets of three non-colinear points and and are points on rays and such that , , and then is also .
And also theorem that if A,B,C are three points on line m and A',B' points on line m' such that AB=A'B' then there is unique point C' on line m' such that is AC=A'C' and BC=B'C'.
I have only two books on Geometry. One is high-school book and one is university book on Euclidian and hyperbolic geometry.I am not sure of what axioms you are following. However, it seems that you may have access to a reasonably good mathematics library. If so find Modern Geometries by James R. Smart. In that text there is a very good proof of the following theorem: A motion of the plane is uniquely determined by an isometry of one triangle onto another.
I would like to have good math library on Geometry, but money is little problem... Only what I can find free on Internet.
OReilly I see that you are learning "Modern Geometry" (that is the way I heard it is called) it looks really interesting, hope to one day know it. But why did you chose it out of all the possibilities you had? It seems to me that this branch of math is one of the least studied (maybe set/logic theory are even more rare).
For the great Plato, where did you learn it from? College of by thyself from a textbook?