Definition:Half Turn

From ProofWiki
Jump to navigation Jump to search

Definition

Context: Euclidean geometry.

A half turn is a rotation $r_\pi$, that is:

whose angle is a straight angle: $180 \degrees$ or $\pi$ radians.