HDU 1279 如何验证角谷猜想在数学中的应用?