卖专利的交易平台:已知tanx=3tany(0<y<x<pai/2),求u=x-y的最大值