An application of symbolic methods. (Q1543338)

In \S 235 der Disquisitiones arithmeticae hat Gauss einen Satz von 23 Gleichungen gegeben, von denen die letzten zwölf aus den ersten elf gemäss den in der Fussnote pag. 243 (Ges. Werke) gegebenen Weisungen abgeleitet werden. Da die Bewahrheitung der Gleichungen (12) bis (23) ziemlich mühselig ist, so weist der Verfasser nach, wie dieselbe durch die Anwendung der symbolischen Darstellung binärer Formen vereinfacht werden kann.