■ある恒等式(その10)
1/pq=1/(p+q)・(1/p+1/q)
1/p^2q^2=1/(p+q)^2・(1/p^2+1/q^2)+2/(p+q)^3・(1/p+1/q)
===================================
直接確かめることができる
1/(p+q)・(1/p+1/q)=1/(p+q)・(p+q)/pq=1/pq
1/(p+q)^2・(1/p^2+1/q^2)+1/(p+q)^3・(1/p+1/q)=1/(p+q)^2・(p^2+q^2)/p^2q^2+2/(p+q)^3・(p+q)/pq
=1/(p+q)^2・(p^2+q^2)/p^2q^2+2/(p+q)^2・pq/p^2q^2
=1/(p+q)^2・(p^2+2pq+q^2)/p^2q^2
=1/p^2q^2
===================================
微分して確かめてみよう
1/pq=1/(p+q)・(1/p+1/q)をpで微分
-1/p^2q=-1/(p+q)^2・(1/p+1/q)-1/(p+q)・1/p^2
qで微分すると
1/p^2q^2=2(p+q)/(p+q)^4・(1/p+1/q)+1/(p+q)^2・1/q^2+1/(p+q)^2・1/p^2 +
=1/(p+q)^2・(1/p^2+1/q^2)+2/(p+q)^3・(1/p+1/q)
===================================
1/p^3q^3を求めてみたい
1/p^2q^2=1/(p+q)^2・(1/p^2+1/q^2)+2/(p+q)^3・(1/p+1/q)をpで微分
-2/p^3q^2=-2/(p+q)^3・(1/p^2+1/q^2) + 1/(p+q)^2・(-2/p^3)-6/(p+q)^4 ・(1/p+1/q) +2/(p+q)^3・(-1/p^2)
-2/p^3q^2=1/(p+q)^3・(-2/p^2-2/q^2) + 1/(p+q)^2・(-2/p^3)-6/(p+q)^4 ・(1/p+1/q) +1/(p+q)^3・(-2/p^2)
-2/p^3q^2=-1/(p+q)^3・(4/p^2+2/q^2) + 1/(p+q)^2・(-2/p^3)-1/(p+q)^4 ・(6/p+6/q)
qで微分すると
4/p^3q^3=3/(p+q)^4・(4/p^2+2/q^2) -1/(p+q)^3・(-4/q^3) -2/(p+q)^3・(-2/p^3) +4/(p+q)^5 ・(6/p+6/q) -1/(p+q)^4 ・(-6/q^2)
4/p^3q^3=1/(p+q)^4・(12/p^2+6/q^2) +1/(p+q)^3・(4/q^3) +1/(p+q)^3・(4/p^3) +4/(p+q)^5 ・(6/p+6/q) +1/(p+q)^4 ・(6/q^2)
4/p^3q^3=1/(p+q)^4・(12/p^2+12/q^2) +1/(p+q)^3・(4/p^3+4/q^3) +1/(p+q)^5 ・(24/p+24/q)
1/p^3q^3=3/(p+q)^4・(1/p^2+1/q^2) +1/(p+q)^3・(1/p^3+1/q^3) +6/(p+q)^5 ・(1/p+1/q)
===================================
検算
3(p+q)/(p+q)^5・(p^2+q^2)/p^2q^2 +(p+q)^2/(p+q)^5・(p^3+q^3)/p^3q^3 +6/(p+q)^5 ・(p+q)/pq
3(p+q)/(p+q)^5・pq(p^2+q^2)/p^3q^3 +(p+q)^2/(p+q)^5・(p^3+q^3)/p^3q^3 +6/(p+q)^5 ・p^2q^2(p+q)/p^3q^3
3(p+q)pq(p^2+q^2)+(p+q)^2・(p^3+q^3)+6・p^2q^2(p+q)=(p+q)^5になればよい
3(p^2q+pq^2)(p^2+q^2)+(p^+2pq+q^2)・(p^3+q^3)+6p^3q^2+6p^2q^3
=3p^4q+3p^2q^3+3p^3q^2+3pq^4+p^5+p^2q^3+2p^4q+2pq^4+p^3q^2+q^5+6p^3q^2+6p^2q^3
=p^5+5p^4q+10p^3q^2+10p^2q^3+5pq^4+q^5=(p+q)^5
===================================