18/11/13 10:58:59.61 /PLTY/Dg.net
>>579
>>568で導出した
＞ 2w×ts/((ps-1)ps^(qs-cs-1))×pr^(qr-cr-1)=1
を変形した
ts/((ps-1)ps^(qs-cs-1)) = 1/(2wpr^(qr-cr-1))
は、明らかに分数です。
これにpr-1をかけたものも、少なくとも分母のprが残るので、分数です。
よって、
＞ tr' = (ts(pr-1))/((ps-1)ps^(qs-cs-1))
は、整数ではなく、分数になります。
（そしてpr^(qr-cr-1)はtr'との約分で消えます）