①対称性とは 文字を入れ替えても式の意味が変わらない 例)xyz+xy+yz+zx 文字x,y,zは自由に入れ替え可能 ②なぜ大小関係に落とし込めるか 2つの数a,cに関して、考え得る可能性は (ⅰ) a > c (ⅱ) a = c (ⅲ) a < c 本来はこの3通りに場合分けを考えればよいはずだが、実際のところ文字を入れ替えても式が変わらないならば、 (ⅲ)についてa,cを入れ替えれば(ⅰ)に等しい。 つまり、場合分け自体に意味が無くなることがわかる。 畢竟結論まで場合分けをする手間を遅らせることが可能になるわけだ。