欧几里得扩展求逆元。

如图，图片中第6行“x*=1/gcd”是什么意思？

这是欧几里得扩展求逆元，我感觉像是判断有没有解，但又说不出原因

可以参考这篇文章，讲的很详细： 扩展欧几里得算法 - 小张人 - 博客园 拓展欧几里得算法 先来看看一个重要的基本定理 裴蜀定理 对于整数a,b，他们关于x,y的线性不定方程$ax+by=d$，设$gcd(a,b)=g$，则可证明$g|d$，换句话说，就是 g是a,b的最小 https://www.cnblogs.com/zhanhonhao/p/11329772.html