Grushin平面上的Brunn-Minkowski不等式和等周不等式

首先证明了Grushin球不是Grushin平面上等周问题的解,然后得到了Brunn-Minkowski不等式在Grushin平面上是不成立的。