无环图还是无圈图

任取一点，任取它的入度点，反复取入度点，终止时即为所求，若永不终止，必有重复点，与无环矛盾

反设G中所有点的入度不小于1，其中一个点为u1，并设G的阶为n。则必有一顶点指向u1，设为u2，则必有一顶点指向u2，设为u3，则必有一顶点指向u3，若为u1，则存在3阶有向圈u1u2u3，矛盾。指向u3的点记为u4，…直至uk（k为正整数），指向uk的不为之前任何一点，否则有圈。故必有一点uk+1指向uk，由G为有限图，该操作有限次后必终止。故G中必有圈，这与条件矛盾

多谢各位，另外有没有硬刚正面的做法？反证法什么的，感觉太软。