A basic result from trigonometry states that for two points formula_6 and formula_7 on the unit circle written in polar coordinates their Euclidean distance ||"x" − "y"|| is given as