>>609
 ab≠bc から △adc > △abc を出すのはどうやるんでつか?