For example, I have 100,000 USD in my IB account, then how much money I can use to short a 3X/-3X ETF? Thanks.
Did you run IB's margin simulator? He's probably a noob who thinks shorting levered ETFs is free money.. It's a surprisingly widely-held misconception.
Enter your order in TWS, and check margin impact. As I recall, if you right-click on the order line, you will see the selection. Many short 3X ETFs do have some issues that are unusual, and you can't assume anything without checking the instrument.
Exactly, set up the order and before transmit it shows you the margin impact. I do it all the time to size positions.