The Postal Owl

Ahoj, nechci být rýpal, jenom si myslím, že některé připomínky nejsou validní, snad nejsem příliš zaujatý. Struktura důkazu je dokázat větu pro hodnoty $8 \leq h \leq 11$ ($h$ jako hodnota), poté dokazuji hodnoty $12 \leq h$. V první části podle mě nemůže být nejasnost. V druhé části zavádím proměnné $k$, $l$ a $m$, kde $k \geq 4, m \geq 1$ a $l \in \{0, 1, 2\}$ Tyto proměnné nemají žádný jiný význam, než vyjádřit jinak hodnotu $h$. Proč platí $3\cdot k + l \geq 12$ je podle mě triviální. Uplně stejně jako že $3\cdot k + l= 3\cdot m + 9 + l$. $3 \cdot 3 + l$ opravdu jiných hodnot dle definice $l$ nabývat nemůže. Je to $\{9+0; 9+1; 9+2\} = \{9; 10 ;11\}$ Slovu což se vyhýbám, ale zde je podle mě jednoznačné. Například z > $3\cdot m$ pro $m≥1$, což dokážeme zaplatit mincemi o hodnotě 3 je jasné, že myslím, že $3\cdot m$ lze zaplatit nějakým počtem mincí ($m$ mincemi) o nominální hodnotě 3 Stejnětak u druhého což, kde se jedná o dříve uvedené hodnoty $\{9; 10 ;11\}$, které jsem popsal v druhé části. > Kdybych ti zadal číslo n, jak zjistím jak ho skládat? To sice není původní zadání, ale z důkazu je to podle mě jednoznačně vidět: Rozdělím hodnotu na dvě části, aby jedna byla násobkem tří a druhá byla jedna z hodnot $\{9; 10 ;11\}$

Preview