discharging函数和三色问题

由于Ｇｒｏｅｔｚｓｃｈ，下面的构形是三色可约的：一个五边形连接４个３度的顶点。在Ｇｒｏｅｔｚｓｃｈ三色定理和Ｇｒｕｅｎｂａｕｍ三色定理的证明过程中，证明上述构形的存在性是关键的一步。本文动作２ｄｉｓｃｈａｒｇｉｎｇ函数加以证明。