Step * 1 1 of Lemma colinear-implies-midpoint


1. BasicGeometry
2. Point
3. Point
4. Point
5. B
6. Colinear(A;M;B)
7. MA ≅ MB
⊢ B(AMB)
BY
(gColinearCases THEN Auto) }

1
1. BasicGeometry
2. Point
3. Point
4. Point
5. B
6. Colinear(A;M;B)
7. MA ≅ MB
8. B ≡ A
⊢ B(AMB)

2
1. BasicGeometry
2. Point
3. Point
4. Point
5. B
6. Colinear(A;M;B)
7. MA ≅ MB
8. M-B-A
⊢ B(AMB)

3
1. BasicGeometry
2. Point
3. Point
4. Point
5. B
6. Colinear(A;M;B)
7. MA ≅ MB
8. B-A-M
⊢ B(AMB)


Latex:


Latex:

1.  e  :  BasicGeometry
2.  M  :  Point
3.  A  :  Point
4.  B  :  Point
5.  A  \#  B
6.  Colinear(A;M;B)
7.  MA  \mcong{}  MB
\mvdash{}  B(AMB)


By


Latex:
(gColinearCases  6  THEN  Auto)




Home Index