Function Distance

Distance from point A to point B

Format:

distance AB

Input:

Output:

Details:

Properties that reference this function:

Conditional properties that reference this function:

• if (ray BD bisects ∠ABC) and (m∠BPD = 180) and (PM ⊥ MB) and (PN ⊥ NB), then distance PM = distance PN (link)
• if (distance PM = distance PN) and (PM ⊥ MB) and (PN ⊥ NB), then ray BP bisects ∠ABC (link)
• if m∠ABC = 180, then (distance AB) + (distance BC) = distance AC (link)
• if M is the midpoint of line AB, then distance AM = distance MB (link)
• if (distance AM = distance MB) and (m∠AMB = 180), then M is the midpoint of line AB (link)
• if ABCD is a square, then distance AB = distance BC (link)
• if (ABCD is a rectangle) and (distance AB = distance BC), then ABCD is a square (link)
• if m∠abc = 90, then area of △ABC = (((distance AB) ⋅ (distance BC)) ⋅ 1) / 2 (link)
• if (distance AB = distance DE) and (m∠ABC = m∠DEF) and (distance BC = distance EF), then area of △ABC = area of △DEF (link)
• if (distance AB = distance DE) and (m∠ABC = m∠DEF) and (distance BC = distance EF), then △ABC ≅ △DEF (link)
• if (m∠ABC = m∠DEF) and (distance BC = distance EF) and (m∠BCA = m∠EFD), then △ABC ≅ △DEF (link)
• if (distance AB = distance DE) and (distance BC = distance EF) and (distance CA = distance FD), then △ABC ≅ △DEF (link)
• if (m∠ABC = m∠DEF) and (distance BC = distance EF) and (m∠BCA = m∠EFD), then area of △ABC = area of △DEF (link)
• if △ABC ≅ △DEF, then distance AB = distance DE (link)
• if △ABC ≅ △DEF, then distance BC = distance EF (link)
• if △ABC ≅ △DEF, then distance CA = distance FD (link)
• if (distance AB = distance BC) and (distance BC = distance CD) and (distance CD = distance DA) and (m∠ABC = 90), then ABCD is a square (link)
• if ABCD is a square, then area of quadrilateral ABCD = (distance AB) ⋅ (distance AB) (link)
• if ABCD is a rhombus, then distance AB = distance BC (link)
• if (ABCD is a parallelogram) and (distance AB = distance BC), then ABCD is a rhombus (link)
• if (ABCD is a parallelogram) and (distance CD = distance DA), then ABCD is a rhombus (link)
• if (ABCD is a parallelogram) and (distance DA = distance AB), then ABCD is a rhombus (link)
• if △ABC is an equilateral triangle, then distance AB = distance BC (link)
• if △ABC is an equilateral triangle, then distance AB = distance AC (link)
• if (distance AB = distance BC) and (distance BC = distance CA), then △ABC is an equilateral triangle (link)
• if quadrilateral ABCD is an isosceles trapezoid, then distance AD = distance BC (link)
• if slope of line AB = 0, then distance AB = (the x coordinate of point B) - (the x coordinate of point A) (link)
• if (m∠ABC = m∠DEF) and (m∠BCA = m∠EFD) and (m∠CAB = m∠FDE) and ((distance AB) / (distance DE) = (distance BC) / (distance EF)) and ((distance BC) / (distance EF) = (distance CA) / (distance FD)), then △ABC ∼ △DEF (link)
• if △ABC ∼ △DEF, then (distance CB) / (distance FE) = (distance CA) / (distance FD) (link)
• if △ABC ∼ △DEF, then (distance CA) / (distance FD) = (distance BC) / (distance EF) (link)
• if △ABC ∼ △DEF, then (distance AC) / (distance DF) = (distance AB) / (distance DE) (link)
• if △ABC ∼ △DEF, then (distance CA) / (distance FD) = (distance AB) / (distance DE) (link)
• if △ABC ∼ △DEF, then (distance AB) / (distance DE) = (distance BC) / (distance EF) (link)
• if △ABC ∼ △DEF, then (distance BA) / (distance ED) = (distance CA) / (distance FD) (link)
• if △ABC ∼ △DEF, then (distance CA) / (distance FD) = (distance CA) / (distance FD) (link)
• if △ABC ∼ △DEF, then (distance CA) / (distance FD) = (distance BA) / (distance ED) (link)
• if △ABC ∼ △DEF, then (distance BC) / (distance EF) = (distance CA) / (distance FD) (link)
• if △ABC ∼ △DEF, then (distance ED) / (distance BA) = (distance DF) / (distance AC) (link)
• if △ABC ∼ △DEF, then (distance DF) / (distance AC) = (distance FE) / (distance CB) (link)
• if △ABC ∼ △DEF, then (distance FD) / (distance CA) = (distance EF) / (distance BC) (link)
• if △ABC ∼ △DEF, then (distance EF) / (distance BC) = (distance DE) / (distance AB) (link)
• if △ABC ∼ △DEF, then (distance EF) / (distance BC) = (distance DF) / (distance AC) (link)
• if (points A B and C are collinear) and (distance AC > distance BC), then m∠ABC = 180 (link)
• if ∠ABC is a right angle, then tangent of (m∠BCA) = (distance AB) / (distance BC) (link)
• if ∠ABC is a right angle, then sine of (m∠BCA) = (distance AB) / (distance AC) (link)
• if ∠ABC is a right angle, then cosine of (m∠BCA) = (distance BC) / (distance AC) (link)

Comments

Please log in to add comments