14/06/27 10:51:12.98 T57wr5Mq.net
たとえば、「√3が無理数」を背理法で証明してみましょう。
～～～～～～～～～～～～～～～～～～～～～～～～
「p、qを互いに素である整数とすると、√3=p/qと表すことができる。」と仮定します（◎）。
このとき、
(√3)^2=(p/q)^2
3q^2=p^2
よって、p=3nとおける（nは整数)
3q~2=9n~2
q~2=3n~2
よって、q=3mとおける（mは整数）
したがって、p/q=3n/3mとなる。（○）
これは、「p,qが互いに素」であるに矛盾する。
よって、「p、qを互いに素である整数とすると、√3=p/qと表すことができる。」という前提は偽である。
したがって、√3は無理数である。
～～～～～～～～～～～～～～～～～～～
あなたの主張は「◎を前提にすれば○になるよ」という(1)背理の確認です。