---

Step * 1 of Lemma opp-side-congruence-lemma


1. e : EuclideanPlane
2. a : Point
3. b : Point
4. A : Point
5. B : Point
6. c : Point
7. d : Point
8. C : Point
9. D : Point
10. ab ≅ AB
11. ac ≅ AC
12. bc ≅ BC
13. ad ≅ AD
14. bd ≅ BD
15. a # b
16. d leftof ba
17. c leftof ab
18. D leftof BA
19. C leftof AB
20. a # b ∧ c # a ∧ a # d
21. cab ≅a CAB ∧ bad ≅a BAD ∧ cad ≅a CAD
⊢ cd ≅ CD
BY
{ EasyGeometry }

---

Latex:

---

Latex:

1.  e  :  EuclideanPlane
2.  a  :  Point
3.  b  :  Point
4.  A  :  Point
5.  B  :  Point
6.  c  :  Point
7.  d  :  Point
8.  C  :  Point
9.  D  :  Point
10.  ab  \mcong{}  AB
11.  ac  \mcong{}  AC
12.  bc  \mcong{}  BC
13.  ad  \mcong{}  AD
14.  bd  \mcong{}  BD
15.  a  \#  b
16.  d  leftof  ba
17.  c  leftof  ab
18.  D  leftof  BA
19.  C  leftof  AB
20.  a  \#  b  \mwedge{}  c  \#  a  \mwedge{}  a  \#  d
21.  cab  \mcong{}\msuba{}  CAB  \mwedge{}  bad  \mcong{}\msuba{}  BAD  \mwedge{}  cad  \mcong{}\msuba{}  CAD
\mvdash{}  cd  \mcong{}  CD


By

---

Latex:
EasyGeometry

---

Home Index