Derive half angle formula from double angle. Again, you already know these; you’re just getting c...