2平方数定理(2)

前回と同じ設定です。 正の整数nに対し、 A(n)＝｛(a1^f1,a2^f2) | a1,a2,f1,f2∈Z,a1>a2>0,f1>0,f2>0,a1f1＋a2f2＝n｝なる集合を考える。 また、π＝(a1^f1,a2^f2)∈A(n)に対し、 C(π)＝((f1＋f2)^a2,f1^(a1-a2))とおく。 今回はこの条件だけでなく、添付画像のような新たな定義を追加します。 このとき、 π∈B(n)に対して、 (1)T(π)∈B(n)　(2)T(T(π))＝π を求めよ。 という問題です。 前回のようにf1やa1などを別の文字に置き換えればよいのでしょうか？B(n)やT(π)が複雑で、どのように導けば良いのか分かりません… よろしくお願いいたします…