>>325
>p|a^2 = (b+ ωc)(b-ωc)

成り立ってなくね？
ω^2 + ω + 1 = 0 でしょ？
(b+ ωc)(b-ωc) = b^2 + c^2 + ωc^2 ≠ a^2 = b^2 + c^2 - bc では？