theorem Th9: :: NEWTON01:9

for m being Nat
for a1, b1 being Complex holds (a1 |^ (m + 1)) + (b1 |^ (m + 1)) = ((((a1 |^ m) + (b1 |^ m)) * (a1 + b1)) + ((a1 - b1) * ((a1 |^ m) - (b1 |^ m)))) / 2