【絶対値の性質8-1】 三角不等式 |
|
【絶対値の性質8-2】・どんな実数x,yでも、 |
|
【絶対値の性質8-3】 |
|
→[絶対値の性質] →[トピック一覧:絶対値] →総目次 |
証明 【三角不等式】 |x+y|≦|x|+|y|[左辺の2乗について]|x+y|2 =(x+y)2 ∵絶対値の性質|x|2 = x2 =x2+2xy+y2 [右辺の2乗について]( |x|+|y| )2 =|x|2+2|x||y|+|y|2 |
|
=x2+2|x||y|+y2 ∵ 絶対値の性質:|x|2=x2, |y|2=y2 =x2+2|xy|+y2 ∵ 絶対値の性質: |xy| = |x| |y| [左辺2乗と右辺2乗の比較作業]つねに、xy≦ |xy| ∵ 絶対値の性質: |x| ≧ x 正確には、xy≧0なら、xy= |xy| xy<0なら、xy<|xy| よって、 (左辺2乗)≦(右辺2乗) 正確には、xy≧0なら、(左辺2乗)=(右辺2乗) xy<0なら、(左辺2乗)<(右辺2乗) [結論]左辺:|x+y|≧0、右辺:|x|+|y|≧0で、 (左辺2乗)≦(右辺2乗)であるので、、 左辺:|x+y|≦|x|+|y|:右辺 正確には、 xy≧0、つまり、xyの符号がそろっているなら、 |x+y|=|x|+|y| xy<0、つまり、xyの符号がそろっていないなら、 |x+y|<|x|+|y| |
→[絶対値の性質] →[トピック一覧:絶対値] →総目次 |
証明 【絶対値の性質】 ||x|−|y||≦|x−y|(i) x,y≧0のとき 絶対値の定義より、|x|=x、|y|=yだから 左辺: | |x|−|y| |=|x−y| =右辺 (ii) x,y≦0のとき 左辺: | |x|−|y| |=|−x+y| ∵x,y≦0のとき、絶対値の定義より、|x|= −x、|y|=−y =|(−1)(x−y)|=|−1|・|x−y| ∵|xy|=|x| |y| =|x−y| ∵|−1|=1 =右辺 (iii) x≧0,y≦0のとき 左辺: | |x|−|y| |=|x+y| ∵x≧0,y≦0では絶対値の定義より、|x|=x、|y|=−y ≦|x|+|y| ∵|x+y|≦|x|+|y| = x−y ∵x≧0,y≦0では絶対値の定義より、|x|=x、|y|=−y ≦|x−y| ∵|a|≧a つまり、 | |x|−|y| |≦|x−y| (iv) x≦0,y≧0のとき 左辺: | |x|−|y| |=|−x−y| ∵x≦0,y≧0では絶対値の定義より、|x|= −x、|y|=y =|(−1)・(x+y)|=|−1|・|x+y| ∵|xy|=|x| |y| =|x+y| ∵|−1|=1 ≦|x|+|y| ∵|x+y|≦|x|+|y| = −x+y ∵ x≦0,y≧0では絶対値の定義より、|x|= −x、|y|=y ≦|−x+ y| ∵|a|≧a =|(−1)(x−y)|=|−1|・|x−y| ∵|xy|=|x| |y| =|x−y| ∵|−1|=1 つまり、 | |x|−|y| |≦|x−y| |
→[絶対値の性質] →[トピック一覧:絶対値] →総目次 | ||