>366
y=xに対して対称だから、微分したのが1になって、さらに接するならばx=yになることから必要条件が導けて、それが十分性も満たすことが言えればおしまいな気がする。
計算してないけど、計算に何かテクニックが必要なの?