Vermutlich habt ihr ja unter den gemachten Voraussetzungen definiert :
x p/q = y <=> xp = yq
Sei also y = (ab)p/q ==> yq= (ab)p
Um zu zeigen, dass y = arbr nehmen wir an
a p/q = x und b p/q = z und haben zu zeigen y = x*z
Es ist yq = (ab)p = ap * bp = xq * zq = (xz)q
Und weil alles positiv ist folgt y = xz.