Certificate Programs
Courses
Building Blocks
Types
Functions
Properties
Conditional Properties
Proofs
Why Logicwalk?
Log In
Get Started
151
if (
m∠
A
B
C
=
m∠
D
E
F
) and (
m∠
B
C
A
=
m∠
E
F
D
) and (
m∠
C
A
B
=
m∠
F
D
E
) and ((
distance
A
B
) / (
distance
D
E
) = (
distance
B
C
) / (
distance
E
F
)) and ((
distance
B
C
) / (
distance
E
F
) = (
distance
C
A
) / (
distance
F
D
)), then △
A
B
C
∼ △
D
E
F
Comments
Please
log in
to add comments