08/01/23 22:10:41
>>106
＞ただ、このセンスはむしろ京大的かもしれんね。
京大＝106、共に性格が悪いと言う事かｗ
必要十分条件という表現は間違っていた。（表現自体が必要十分条件でなかったという自己矛盾OTZ）
しかし【(sinA)^3(sinB)^3(sinC)^3＞S^3 】であることは
【(sinA)^3,(sinB)^3,(sinC)^3がどれもS以上】であることの
必要条件であるが、十分条件ではない。
十分でない事を否定しても証明した事にはならない。
『√2を有理数n/mと仮定すると矛盾するから無理数』という代表的な背理法の例にすると
√2≠3/2だからといって√2が無理数である証明した事にはならない。