По сути дела, мы сейчас определили некоторое
отображение
j
из множества всех
евклидовых прямоугольников
во множество всех
обыкновенных дробей.
Это отображение по указанным выше
правилам сопоставляет любому заданному евклидову прямоугольнику
x
вполне определенную дробь
j(x)
и, как можно показать, является
взаимно-однозначным отображением.
То есть в контексте этого отображения
каждому евклидову прямоугольнику соответствует
одна и только одна обыкновенная дробь
и наоборот:
каждой обыкновенной дроби соответствует
один и только один
евклидов прямоугольник.
Для того, чтобы
мгновенно посмотреть, как выглядит евклидов прямоугольник,
отвечающий дроби
m/n с числителем
m и
знаменателем
n, вы можете воспользоваться услугами
визуализатора
со
Страницы 7.1.2.3.1.