Question

ぴ

背理法の問題なんですが、
マーカーの部分は
「x^2＞yz かつ y^2＜xy ⇒x=y と仮定する」
と書いてもいいですか？

309 x, y, zは実数とする。x°>yz かつ y°<xz ならば xキyで
あることを,背理法を用いて証明せよ。
x

309 x> yz かつ y<xz かつ x=yであると
仮定する。
y> yz
ア<yz
の
x> yz にx=yを代入して
yくxz にx=yを代入して
のと2は矛盾する。
よって,x> yz かつ y?<xz ならば xキy
2
である。