ご回答誠に有難うございます。

>> http://beauty.geocities.jp/yuka26076/study/Number_Theory/prop207__00.jpg
>> がBernoulli多項式の定義だと思います。
>  B_n(x)
>   = \sum_{i=0}^n { n \choose i } B_i x^{n-i}
> ですが, こういう式については x^0 は常に 1 であるとする
> 約束です.

たとえx=0ででもでしょうか?
それともBernoulli数での議論に於いてだけは便宜上0^0=1と定義するとという取り決めなのでしょうか?

0^0=1を採用したら後はお陰さまでうまく証明できました。