Certificate Programs
Courses
Building Blocks
Types
Functions
Properties
Conditional Properties
Proofs
Why Logicwalk?
Log In
Get Started
if △
A
B
C
∼ △
X
Y
Z
, then (
distance
C
B
) / (
distance
Z
Y
) = (
distance
B
A
) / (
distance
Y
X
)
View as a table
|
Try proving it
Start from the conclusion and work back up the proof. Click the arrow to show the parents.