18/12/18 12:04:58.72 Rxviyods.net
>>125
一応、実数yについて |y|＝0 となるための必要十分条件はyの値が y＝0 になることの証明。
(必要性)：実数yについて、y＜0 とする。絶対値の定義から、|y|＝-y。また、-y＞0。従って、|y|＞0。
しかし、これは仮定に反し矛盾する。背理法が適用出来るから、背理法を適用すると、実数yは y≧0 を満たす。
従って、絶対値の定義と仮定とから、|y|＝y、故に y＝0 となる。
(十分性)：仮定から y＝0 だから、絶対値の定義から、|y|＝y、故に |y|＝0 を得る。
上のように、内容的には高1ですることのみで示せる。
というか、絶対値の定義から直観的には明らかなことだと思うが。