G.G-CO.C.9

Code Standard Coding: 
G.G-CO.C.9
Code Standard standard: 

Prove theorems about lines and angles. Theorems include: vertical angles are congruent; when a transversal crosses parallel lines, alternate interior angles are congruent and corresponding angles are congruent; and points on a perpendicular bisector of a line segment are exactly those equidistant from the segment’s endpoints.

Code Standard Domain: 
Congruence (G-CO)
Code Standard Cluster: 
G.G-CO.C Prove geometric theorems.
Code Standard Conceptual Category: 
Geometry - G
Code Standard Course: 
Geometry
Is this Mathematics?: 
yes
Is this ELA?: 
no