简介：文[1]关于论证20个小孩最多共有3个祖父，几乎完全用语言文字分两步进行，先证3个小孩最多3个祖父，再证其余的小孩也是如此．证明过程繁锁，文字推理晦涩冗长．下面关键使用常用的数学建模思想方法整体考虑，简洁明了地论证了上述问题．
一道奥赛试题的简证
