勒让德倍元公式的推导过程