An anonymous formal investigation absolutely should happen. The OP seems to arguing that you shouldn't even question someone who claims they are being harassed, and that is what I take exception with. Both people in the situation should be treated as innocent until there is proof otherwise.