和米饭最搭配的炒菜:一道看似简单但很难的数学证明题