svar:
først observerer vi at hvis vi fargelegger rutenettet i en sjakk-fargelegging påvirker hvit og svart ikke hverandre så vi kan finne svaret på en av fargene og ta det i andre siden vi jobber med partall rutenett
så fra nå av snakker jeg om hvite ruter
definer hvit hest fargelegging som HH
lemma 1: kantene i en HH fargelegging er symmetrisk over diagonalene
bevis: hvis vi velger en rute langs kanten og fargelegger den violett er den del av to 3-ere det vil si plasser hvis 3 og bare 3 ruter er ved siden av én rute dette betyr at det må være én violett bandt de andre i 3-eren men de to er og del av en 4-er hvor derfor de andre to rutene må ha én violett og dette fortsetter helt til vi kommer til enden hvor vi har at 2 av rutene i en 3-er har én violett så den tredje må også være violett og siden prosessen beveger seg normalt på diagonalen den krysser blir det en speiling.
lemma 2: hvis vi har definert kantene i en fargelegging slik at de oppfyller lemma 1 fins det bare én HH fargelegging
bevis: siden vi har definert alle kantene og ingen av disse er deler av 4-ere men bare 3-ere eller 2-ere hvor 2 av rutene allerede er definert og at de tilsammen nabo med alle som er ett hakk inn blir alle disse definert og denne prosessen fortsetter bare at nå har vi 4-ere hvor 3 er definert men det fungerer på helt samme måte. og dette kan vi gjøre helt inn til midten så hele er definert.
claim 1: hele rutenettet er definert ved én kant
bevis: dette er bare å kombinere lemma 1 og 2 så vi får at 1012 kan definere rutenettet
claim 2: vi kan ikke definere hele rutenettet med 1011 eller ferre farger
bevis: ved å bruke lemma 1 over begge diagonalene får vi at vi bare trenger å vise at hvis vi har en trekant med grunnflate og høyde 1012
bilde med høyde og grunnflate 3:

- Skjermbilde 2024-08-01 122145.png (2.81 KiB) Viewed 49143 times
lemma 3: toppen av trekanten vil være definert av alle langs kanten
bevis definer violett som 1 og rød som 0
først observerer vi at hvis vi har definert alle unntatt en rute rundt en rute blir den siste xor av de tidligere og xor er komuttativt og (a xor a) = 0
så hvis vi har 3 av fire rundt en rute hvor de er (a xor b), b, (b xor c) ender vi opp med at den siste blir (a xor b xor c) dette er akuratt det som skjer i trekanten vår og dette fortsetter oppover hele som betyr at toppen er xor av alle rutene
dette gjør ferdig bevist for claim 2 så vi har at for hvit er det så vi har at svaret er