Немного офтопа:
По поводу box2d, я его не смотрел, но может вдруг пригодится. На геймдеве устроили коллективный перевод документации на русский (: Тут можно глянуть:
http://docs.google.com/View?docid=dfh3v794_41gtqs6wf4
Тема форума:
http://www.gamedev.ru/code/forum/?id=87747
Правда не знаю как сильно флешевый порт от оригинала отличается.
UPD: Слуш, можешь рассказать как ты хочешь делать Collision detection для многоугольников? По методу разделяющих осей? Или как?