\cos(\alpha)\notin Q