Up | English 分数値の場合  


同じ分数倍が対応することを,以下で確認。




「n/m」の意味から,つぎのようになる:




cの対応先をc' とする:




「比例関係」の定義より,m倍にはm倍が対応する:




同様に,n倍にはn倍が対応する:



c' がa' と b' をm:nに共約している図が得られた!

そこで,分数倍の定義より,つぎのようになる:



結局,n/m 倍には n/m 倍が対応する!