Aloha :)
Willkommen in der Mathelounge... \o/
Behauptung: AB=AC⟺AHAB=AHAC mit A,B,C∈Cn×n
⟹ Die Hin-Richtung ist wegen der Eindeutigkeit der Matrixmultiplikation klar:AB=AC⟹AH⋅AB=AH⋅AC
⟸ Für die Rück-Richtung betrachte:AHAB=AHAC⟹AHAB−AHAC=0⟹AH(AB−AC)=0Nach dem Satz vom Nullprodukt ist AH=0 oder (AB−AC)=0:AH=0⟹A=0⟹AB=0∧AC=0⟹AB=ACAB−AC=0⟹AB=AC