>>641です。
>>648さん、>>654さんありがとうございました。
特に>>648さんには証明までして下さってありがとうございました。
思ってたより、きれいな数式になるんですが、何か公式名とかついているんでしょうか？