Serge77> А что за общая мера?
По сути наибольший общий делитель. Обозван общей мерой в геометрии для двух отрезков (я так встречал). Если есть такой отрезок, который укладывается на каждый из данных двух отрезков целое число раз, то говорят, что этот отрезок - общая мера тех двух заданных. Если такая мера существует, то говорят, что данные два отрезка соизмеримы.
Алгоритм Евклида по поиску НОД, кстати, очень удобно иллюстрировать на отрезках.
Поскольку по определению рациональные числа - частные двух целых чисел, каждое из которых строго кратно единице, то числитель и знаменатель у рациональной дроби заведомо соизмеримы.