שיטת המשלים לשתיים (Two's Complement)

[0 ע י ד ן 0]

שיטת המשלים לשתיים (Two's Complement)

אני קצת מסתבך עם השיטה הזאת (לייצוג מספרים בינאריים). יש את המשפט שמצורף בתמונה, ואיתו אני צריך להוכיח את האלגוריתם הבא: האלגוריתם של מציאת ערך האוגר A A בעל n איברים, ומחלקים אותו בשתיים בחזקת k (תתיחסו ל-n בחזקה כ-k

(A) div 2ⁿ​

(האיבר הוא בשיטת המשלים לשתיים) האולגריתם הוא הזזת כל האיברים k מקומות ימינה, ומילוי החלל באגף השמאלי בסיבית הסימן ההוכחה אמורה להיות משוואה שבצד אחד שלה יש ייצוג של המספר לאחר הפעלת האלגוריתם, ובצד האחר שלה אמור להיות המשפט שבתמונה, לחלק לשתיים בחזקת k. אשמח מאוד לעזרה, הבעיה העיקרית שלי היא ייצוג A לאחר הפעלת האלגוריתם (בעזרת סיגמה)