已知 , 则

但是