先猜想，再拖动参数，最后用图形把定义、公式、公理和定理“做出来”。