EDIT: Habe eine Klammer um den vermuteten Nenner ergänzt.
Das ist dann die alternierende Summe von Binomialkoeffizienten in jeweils einer Zeile des Pascaldreiecks. Das gibt vermutlich immer 0 (entweder man denkt das oder rechnet erst mal für n=1, n=2, n=3, n=4... die Summe aus, bis man die Vermutung hat).
Die Verankerung ist so auch schon gemacht und du machst noch einen Induktionsschritt.