Einerkomplement-Lemma beweisen: Zeige, dass [a‘] 1 = - [a] 1

Question

Ich muss das Einerkomplement-Lemma beweisen:

Zeige, dass [a‘] 1  = - [a] 1.

Als Beweisansatz ist klar das [a‘] 1  + - [a] 1= 0 sein muss.

Allerdings kann ich ja schlecht das lemma über das lemma beweisen.

Answer 1

wenn du die beiden addierst, erhältst du eine Bitfolge, die aus lauter Einsen
besteht, denn es wird ja immer eine 0 und eine 1 addiert und so entsteht
auch niemals ein Übertrag.
Die Bitfolge mit n Vorkomma und k Nachkommastellen, die aus lauter 1en
besteht, repräsentiert aber die Zahl 0.