传送门:http://acm.hdu.edu.cn/showproblem.php?pid=6441 题意:给你 n , a , 让你求 b , c ,满足 a ^ n + b ^ n = c ^ n. 思路:根据费马大定理内容:当n >2时,关于x, y, z的方程 x^n + y^n = z^n 没有正整数解。所以只需要考虑n为0,1,2时即可。 n = 0时,无解 n = 1时,随
视频链接,创作不易记得投币:人工智能数学验证工具LEAN4【入门介绍4】次幂世界-如何描述费马大定理_哔哩哔哩_bilibili import Game.Levels.Power.L09add_sq World "Power" Level 10 Title "Fermat's Last Theorem" namespace MyNat Introduction " We now hav