Function Perpendicular Lines

line AB and line CD are perpendicular. The symbol ⊥ is used to denote perpendicularity.

Format:

AB ⊥ CD

Input:

Output:

Details:

Conditional properties that reference this function:

• if AB ⊥ BC, then ∠ABC is a right angle (link)
• if ∠ABC is a right angle, then AB ⊥ BC (link)
• 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)

Comments

Please log in to add comments