比例式は,「=ニ4 とおく、2(》9二る=ん 2(々+*)ニ
らればよい。 また, メキ0 yキ0をキ0 である・
2(y寺る) _ 2(々+*) 。 2(*キ) とおくと,
\ る
2ッ+タ9=婦 ……①
2(z+*)=y ……②
2(x+ツ=をz …③
また, *キ0 yキ0。 <キ0 である.
①+⑨+⑨ より, 4(xキッ+る=を(テキッ2)
だから, 4(*キッキる)一を(*エッオる)0
(x+ャる)(4一=0
したがって, メキッオ<三0 または 4ん三0
(i) *エッオ<ー0 のとき, オタニーテ
これを⑪に代入して, 一2ァzz
ァキ0 より, を=ニー2
(⑬) 4一をー0 のとき, を4
このとき, ①, ②, ⑧を解くと, 。ァニッニタ
N これは, ィキ0 ャキ0, 々キ0 を満たす
が 2(*+リ=ん4z からんの値を#
すべてのぇか,
(分馬)キ0
各辺の辺々を加え:
移項して整理する.
ェキyz で両辺:
割つってはいけない
とに注意
(この段階では
*キッオタテ0
の可能性がある.)