>>>545
>> (但し(t,s)∈T)
> これが既に致命的な間違い

Tの元はTの定義から
a(x'_1+x'_2,y')-a(x'_1,y')-a(x'_2,y')とb(x',y'_1+y'_2)-b(x',y'_1)-b(x',y'_2)とc(rx',y')-cr(x',y')とd(x',ry')-dr(x',y')
(但し,a,b,c,d∈R)の一次結合
a(x'_1+x'_2,y')-a(x'_1,y')-a(x'_2,y')+b(x',y'_1+y'_2)-b(x',y'_1)-b(x',y'_2)+c(rx',y')-cr(x',y')+d(x',ry')-dr(x',y')
つまり,
(ax'_1+ax'_2-ax'_1-ax'_2+bx'-bx'-bx'+crx'-crx'+dx'-drx',ay'-ay'-ay'+by'_1+by'_2-by'_1-by'_2+cy'-cry'+dry'-dry')
の形で書けますよね。間違ってますでしょうか?