On Cauchy's theorem relating to the factors of \((x+y)^n-x^n-y^n\). (Q1553389)

Das Cauchy'sche Theorem, mit welchen sich die drei obenstehenden Arbeiten (siehe auch JFM 10.0299.02 und JFM 10.0299.03) beschäftigen, lautet: Der Ausdruck \[ (x+y)^n-x^n-y^n \] ist durch \(x^2+xy+y^2\) theilbar, wenn \(n\) eine positiven ganze Zahl von der Form \(6m-1\) oder \(6m+1\) ist; im letzteren Falle ist derselbe auch noch durch \((x^2+xy+y^2)^2\) theilbar. In der ersten kurzen Notiz giebt Glaisher dem erwähnten Ausdrucke die Form \[ P_n=(b-c)^n+(c-a)^n+(a-b)^n \] und findet, dass \(P_n\) durch \(P_2, P_3\) und \(P_4\) theilbar wird, wenn \(n\) von der Form \(6m+1\) ist. In der zweiten Abhandlung setzt Muir \[ (x+y)^n+(-x)^n+(-y)^n=S_n \] und beweist die rekurrente Formel \[ 6S_n=3S_2S_{n-2}+2S_3S_{n-3}, \] Ferner zeigt er, dass der Ausdruck \((x+y+z)^n-x^n-y^n-z^n\), worin \(n\) eine ungrade ganze Zahl bedutet, stets durch \[ \frac13 \{(x+y+z)^3-x^3-y^3-z^3\} \] getheilt werden kann. In der dritten Abhandlung, deren Schluss noch nicht erschienen ist, leitet Glaisher dieselben Resultate in anderer Weise her, indem er von der Form \(\alpha^n+\beta^n+\gamma^n\) mit der Bedingungsgleichung \(\alpha+\beta+\gamma=0\) ausgeht und verallgemeinert dieselben in mancher Beziehung.