cos(pi/(23))==-1/2(-1)^(22/23)[1+(-1)^(2/23)]

こんな式を見かけたのですが正しいのですか？