a，b互素的性质

一，互素的定义和充要条件（蜀裴恒等式）

证明根号3是无理数

二，互素的性质（用蜀裴恒等式证明）

利用该性质证明欧几里得引理

例题一

三，最高次项系数为1的整系数n次方程有有理根则该根一定是整数（也就是说根要么是整数要么无理数） 证明

用到了性质六

和a b互素且a能被b整除那么b＝±1这个性质