实现 `rotate(angle, vectors)` 函数，接受笛卡尔坐标向量数组，并将这些向量旋

def rotate(angle, vectors):
    """将向量组vectors中的所有元素都逆时针旋转角度angle"""
    polars = [to_polar(v) for v in vectors]
    return [to_cartesian((l, a+angle)) for l,a in polars]