このformula_58の元は「拡張された円分多項式」と呼ばれ、次の形で定義される。