车羊问题的一种简洁证明
在csdn上看到一篇关于车羊问题的文章（http://blog.csdn.net/naturebe/article/details/7272232），我编了个程序证明了结论，然后给出了一种简洁的数学证明。如下：
车羊问题（Car and Goats problem）又叫蒙提霍尔问题(Monty Hall Problem)或三门问题。这个问题来源于美国电视娱乐节目Let’s Make a Deal,问题的名字则来自该节目的主持人蒙提·霍尔(Monty Hall)。问题是这样的：参赛者会看见三扇关闭了的门，其中一扇的后面有一辆汽车，选中后面有车的那扇门就可以赢得该汽车，而另外两扇门后面则各藏有一只山羊。当参赛者选定了一扇门，但未去开启它的时候，节目主持人会开启剩下两扇门的其中一扇，露出其中一只山羊。主持人其后会问参赛者要不要换另一扇仍然关上的门。明确的限制条件如下：参赛者会被问是否保持他的原来选择,还是转而选择剩下的那一道 那么换与不换，哪种策略答对的机率高呢？
思考了一下，感觉换的概率可能是1/3，1/2,2/3,无法确定，于是写个程序找到正确答案先：
程序证明
