tgx+ctgx=2.5x