等腰梯形的腰长为6,底角的正切值为√2/4,下底长为12√2,则上底长?