命題 $p: |x+y| = |x-y|$ と $q: xy=0$ が与えられています。命題pとqの関係性を考察する問題です。代数学絶対値命題同値不等式2025/5/311. 問題の内容命題 p:∣x+y∣=∣x−y∣p: |x+y| = |x-y|p:∣x+y∣=∣x−y∣ と q:xy=0q: xy=0q:xy=0 が与えられています。命題pとqの関係性を考察する問題です。2. 解き方の手順∣x+y∣=∣x−y∣|x+y| = |x-y|∣x+y∣=∣x−y∣ の両辺を2乗します。(x+y)2=(x−y)2(x+y)^2 = (x-y)^2(x+y)2=(x−y)2x2+2xy+y2=x2−2xy+y2x^2 + 2xy + y^2 = x^2 - 2xy + y^2x2+2xy+y2=x2−2xy+y24xy=04xy = 04xy=0xy=0xy = 0xy=0これは命題qと同じです。したがって、命題pが真であれば、命題qも真です。つまり、p ⟹ qp \implies qp⟹qが成り立ちます。逆に、命題q:xy=0q: xy=0q:xy=0が真の場合、すなわちxy=0xy=0xy=0ならば、4xy=04xy=04xy=0なので、(x+y)2=x2+2xy+y2=x2+y2(x+y)^2 = x^2+2xy+y^2 = x^2+y^2(x+y)2=x2+2xy+y2=x2+y2、(x−y)2=x2−2xy+y2=x2+y2(x-y)^2 = x^2-2xy+y^2 = x^2+y^2(x−y)2=x2−2xy+y2=x2+y2。よって(x+y)2=(x−y)2(x+y)^2 = (x-y)^2(x+y)2=(x−y)2なので、∣x+y∣=∣x−y∣|x+y| = |x-y|∣x+y∣=∣x−y∣となり、命題pも真です。つまり、q ⟹ pq \implies pq⟹pが成り立ちます。以上より、p ⟺ qp \iff qp⟺qなので、pとqは同値です。3. 最終的な答えpとqは同値である。