User:Inthar/Sandbox: Difference between revisions
m →Conjectures: this probably fails badly, there are many good approximations that are not convergents or stacks. |
No edit summary |
||
| (8 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
== | == Theorem 9 (Ternary product words) == | ||
If a [[product word]] of two MOS words of the same length is ternary, then it is pairwise-MOS. | |||
== | === Proof === | ||
Assume that the product of two MOS words ''v''('''a''', '''b''') and ''w''('''c''', '''d''') contains exactly three letters, say ('''a''', '''c'''), ('''a''', '''d'''), ('''b''', '''c'''). Equating ('''a''', '''c''') and ('''a''', '''d''') recovers ''v'', and equating ('''a''', '''c''') and ('''b''', '''c''') recovers ''w''. What does equating ('''a''', '''d''') and ('''b''', '''c''') do? | |||