佐武線型ノート

156：Мечислав(☆12) ◆QRDTxrDxh6：2007/06/12(火) 01:11:46: R(x)の元としての0を0/1と解釈して一般性を失わない.
(f_1(x)/f_2(x))O0,(g_1(x)/g_2(x))O0とするとf_1(x)R0,g_1(x)R0.
Rが(2,4)を満たすことから
　　　　　　　　　　f_1(x)g_1(x)-1･1=f_1(x)g_1(x)R0.
よって
　　　　　　　　　　(f_1(x)/f_2(x))･(g_1(x)/g_2(x))O0.

以上よりOはR(x)上の関係で(2,1),(2,2),(2,3),(2,4)を満たす.■

新着レスの表示

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板