に対し， を 次の項が0でない 次多項式で，内積に関して互いに直交するものとする． は定数倍を除いて一意に決まる． は と直交し， とは直交しない． 偶関数と奇関数が直交することから， 証明． より， と正規化すると が決まる．これを Legendre 多項式 …