Certificate Programs
Courses
Building Blocks
Types
Functions
Properties
Conditional Properties
Proofs
Why Logicwalk?
Log In
Get Started
Proof: Equiangular Then Equilateral
Let's prove the following theorem:
if m∠
Z
Y
X
= m∠
Y
Z
X
, then distance
X
Y
= distance
X
Z
Z
X
Y
Proof:
View as a tree
|
View dependent proofs
|
Try proving it
Given
1
m∠
Z
Y
X
=
m∠
Y
Z
X
Proof Table
#
Claim
Reason
1
distance
X
Y
=
distance
X
Z
if
m∠
Z
Y
X
=
m∠
Y
Z
X
, then
distance
X
Y
=
distance
X
Z
(Two Angles Equal Then Isosceles)
Comments
Please
log in
to add comments