请问有什么可以进行大规模数学推导的好题吗？

例如，这个（我做了）?。