与えられた
#x + ypropz#
#=> x + y = mz ……. 1#ここで、m =比例定数
#=>(x + y)/ z = m#
#=>(x + y + z)/ z = m + 1 …. 2#
再び
#y + zpropx#
#=> y + z = nx …….. 3#ここで、n =比例定数
#=>(y + z)/ x = n#
#=>(x + y + z)/ x = n + 1 …… 4#
2を4で割る
#x / z =(m + 1)/(n + 1)= k(例えば)#
#=> x = kz …… 5#
1と5によって、
#kz + y = mz#
#=> y =(m-k)z#
#=> y / z =(m-k)…… 6#
2を6で割ると、
#(x + y + z)/ y =(m + 1)/(m-k)= c "他の定数"#
#=>(x + y + z)/ y -1 = c -1#
#=>(x + z)/ y = c -1 = "定数"#
それゆえ
#z + xpropy#
証明済み