Let ABC be a triangle, and let O be its circumcenter. Let CO∩AB≡D. Let ∠BAC=α, and ∠CBA=β. Prove that OCOD=cos(α−β)cos(α+β)\\For clarification, CO represents the line CO, and AC represents the segment AC. Cases in which D doesn't exist should be ignored. geometrycircumcircletrigonometry