Another generalization of Mason's ABC-theorem

Abstract

We show a generalization of Mason's ABC-theorem, with the only conditions that the greatest common divisor has been divided out and no proper subsum of the (possibly multivariate) polynomial sum f_1 + f_2 + ... + f_n = 0 vanishes. As a result, we show that the generalized Fermat-Catalan equation for polynomials: g_1^{d_1} + g_1^{d_2} + ... + g_n^{d_n} = 0 has no non-constant solutions if the greatest common divisor of the terms equals one, no proper subsum vanishes and the hyperbolic sum 1/d_1 + 1/d_2 + ... + 1/d_n is at most 1/(n-2). Furthermore, we show that the generalized Fermat-equation for polynomials g_1^d + g_1^d + ... + g_n^d = 0 has no 'interesting' solutions if d >= n(n-2).