600年前一名外国数学家发现的立体图形面数顶点数.相加的和与菱数有一个什么不变的关系