对于线段a和b,如果存在线段d,使a、b都恰好是d的整数倍,则称线段d为线段a和b的“公度”;否则称线段a和b“无公度”。无公度的线段是存在的,例如,正方形的边和对角线就是无公度的。人们最初就是通过无公度的线段发现了无理数。