MathDB
b | a^3, c | b^3 , a | c^3 => abc | (a+b+c)^{13}

Source: Norwegian Mathematical Olympiad 1999 - Abel Competition p2b

February 11, 2020
dividesdivisiblenumber theory

Problem Statement

If a,b,ca,b,c are positive integers such that ba3,cb3b | a^3, c | b^3 and ac3a | c^3 , prove that abc(a+b+c)13abc | (a+b+c)^{13}