三角形ABC中,DE是AC的垂直平分线,AE=3cm,三角形ABC的周长为13cm,求三角形ABC的周长