a^+b^+c^大于等于ab+cd+ac的推导过程?