勒让德倍量公式证明