足球门票15元一张,降价后观众增加了一倍,收入增加了20%,一张门票降价了多少元?