Directed angles
Directed Angles is a method to express angles that can be very useful in angle chasing problems where there are configuration issues.
Definition
Given any two non-parallel lines and , the directed angle is defined as the measure of the angle starting from and ending at , measured counterclockwise and modulo (or say it is modulo ). With this definition in place, we can define , where and are lines (rather than segments).
An equivalent statement for is that, is positive if the vertices , , appear in clockwise order, and negative otherwise, then we take the angles modulo (or modulo ).
Note that in some other places, regular notation is also used for directed angles. Some writers will also use sign instead of a regular equal sign to indicate this modulo nature of a directed angle.
Warning
- The notation introduced in this page for directed angles is still not very well known and standard. It is recommended by many educators that in a solution, it is needed to explicitly state the usage of directed angles.
- Never take a half of a directed angle. Since directed angles are modulo , taking half of a directed angle may cause unexpected problems.
- Do not use directed angles when the problem only works for a certain configuration.
Important Properties
- Oblivion: .
- Anti-Reflexivity: .
- Replacement: if and only if , , are collinear.
- Right Angles: If , then .
- Addition: .
- Triangle Sum: .
- Isosceles Triangles: if and only if .
- Inscribed Angle Theorem: If points , , is on a circle with center , then .
- Parallel Lines: If , then .
- Cyclic Quadrilateral: Points , , , lie on a circle if and only if .
Application
The slope of a line in a coordinate system can be given as the tangent of the directed angle between -axis and this line. (Remember the tangent function has a period , so we have our "modulo " part in tangent function)
Other than that, direct angles can be very useful when a geometric (usually angle chasing) problem have a lot of configuration issues. We can avoid solving the same problem twice (sometimes even multiple times) by applying direct angles.
Here are some examples with directed angles:
- Proof of the Miquel's Point
- Proof of the Orthic Triangle
- Proof of the Pascal's Theorem
- 2002 IMO Shortlist Problems G4
- 2010 IMO Shortlist Problems G1
- 1998 APMO Problem 4