Для начала предположим, что дробь (a^2b^2)/(a^2+b^2) сократима. То есть существует целое число k > 1, такое что (a^2b^2)/(a^2+b^2) = (ka')/(kb'), где (a',b') = 1.

Умножим обе части равенства на (a^2+b^2):

a^2 b^2 = k a' (a^2 + b^2)
a^2 b^2 = k (a'^ a^2 + a' * b^2)

Раскроем скобки во втором уравнении:

a^2 b^2 = k a'^ a^2 + k a' b^2
a^2 b^2 = a'^ k a^2 + a' k b^2

Перенесем все члены в одну часть уравнения:

0 = a'^ k a^2 + a' k b^2 - a^2 * b^2

Теперь можно выразить a^2 * b^2 как кратные другим членам:

0 = (a'^ k - b^2) a^2 + (a' k - a^2) b^2

Теперь мы видим, что a^2 является делителем правой части уравнения. Но так как (a,b) = 1, значит a не является делителем b^2 (и наоборот), что противоречит данному утверждению. Следовательно, изначальное предположение о сократимости дроби было ложным, и дробь (a^2*b^2)/(a^2+b^2) действительно несократима.