证明：对于一个具有n个顶点的无向连通图G，G恰好拥有n-1条边是G为树的充分必要条件

充分性：

首先利用反证法证明一个结论：
n个顶点的图若有n-1条边，则图中至少有一个顶点的度为1：
显然连通图所有顶点的度都大于0，反设不存在度为1的顶点，则所有顶点的度都大于等于2，
图的边数≥n×2/2=n>n-1,矛盾。所以，图中至少有一个顶点的度为1。

接下来利用数学归纳法证明：
当n=1，n=2时，图是唯一的，其显然是一棵树，结论成立
假设当n=k时结论成立，则当n=k+1时：
由于图中至少存在一个顶点度数为1，从图中删除此顶点与连接它的边，显然图依然连通。删除后的图顶点数为k，边数为k-1，由假设知它是一棵树。我们再把刚才删掉的顶点和边加到原位置，相当于在树的某个结点处加了一个孩子结点，显然它依然是一棵树。所以这个图本来就是一棵树，结论成立。
由数学归纳法，n=k时此结论成立（k=1，2，3，…)
证毕

必要性：

同样利用数学归纳法：
当n=1时，树没有边，显然成立
假设当n=k时结论成立，则当n=k+1时：
从树中删掉一个叶子节点及它的边，显然它还是一棵树，具有k个顶点。由假设可知它的边数为k-1。将删掉的边和点复原，显然边数为k=n-1，结论成立。
由数学归纳法，n=k时此结论成立（k=1，2，3，…)
证毕