09/06/24 21:37:09 3UgTK6tk0
証明すべき式から式変形を始めてはいけないとよく言うけど、
証明すべき式から同値性を保って変形していって、
自明な式を導けば論理的に問題はないんじゃないの？
たとえばx^2-2x+1>=0を示すのに、
「x^2-2x+1>=0⇔(x-1)^2>=0 これは成り立つ」とやってはだめ？
09/06/24 21:37:09 3UgTK6tk0
証明すべき式から式変形を始めてはいけないとよく言うけど、
証明すべき式から同値性を保って変形していって、
自明な式を導けば論理的に問題はないんじゃないの？
たとえばx^2-2x+1>=0を示すのに、
「x^2-2x+1>=0⇔(x-1)^2>=0 これは成り立つ」とやってはだめ？