UnADM

UNIVERSIDAD ABIERTA Y A DISTANCIA DE MEXICO

Asignatura:

Matemticas Discretas

Unidad 2
Actividad 3.

ALUMNO

Linares Ojeda Arturo David.

Matricula: ES1611312069

Unidad 1.
Actividad 3.

A travs de esta actividad, podrs realizar demostraciones sobre Teora de grficas.

Desarrollo:

1. Demuestre que en cualquier grafica se verifica:

a. La suma de todos sus grados es igual al doble del nmero de sus aristas
Dado G = (V, A) que es un grafo con vrtice:
V = {1 , 2 , , } y sea

|A| el nmero de aristas de G

Cada una de las aristas une dos vrtices luego al sumar los grados de estos, las
contamos, exactamente dos veces:

( ) = 2||
=1

Ejemplo:

Se tiene:

Este nmero coincide con el doble del nmero de aristas, n = 9

b. El nmero de vrtices de grado impar es par

Tenemos que:

( ) = 2||
=1

supondremos que tenemos q vrtices y p con grado par entonces el resto seria
tienen grado impar:
( )

( ) = 2

=1 ( ) = 2 =1( )
( )

( ) = 2 + 1

+1

=+1 ( ) = 2 =+1( ) + =+1(1)

= =+1 ( ) = 2 =+1( ) + ( 1 + 1)
= =+1 ( ) = 2 =+1( ) + ( )
=1 ( ) + =+1 ( )=2 =1( ) + 2 =+1( ) + ( )
=1 ( ) = 2 =1( ) + ( )
2 =1( ) + ( )= 2||
=( )= 2|| 2 =1( )
Es par

2. Demuestre que Una condicin necesaria para que una grfica o multgrafo admita
un camino de Euler es que el nmero de vrtices de grado impar sea 2 o ninguno.
El camino de Euler es un camino de un grafo o multgrafo que pasa por todos los vrtices
del mismo recorriendo cada arista del mismo exactamente una vez.

Dado G = (V, A) que es un grafo con vrtice:

El grafo de Euler queda denotado
V

=
Elegimos un punto dado que este no pertenezaca a V y
{
G=(V,A)

V=V U {}
1
,
A=A
U {, }
Esto
significa que si aadimos un punto nuevo como vertice al grafo con el que iniciamos
y2 las 2 aristas adyacentes al mismoy a los extremos:
, { , , , , , }

1 2

G es un grafo euleriano y tengamos que todos sus vertices son de grado par
Si x es cualquier vrtice:
,
xu xv
Con

()
V =()
{1 ,=2
,
, , }
El grado es par en G

Los unicos dos vertices de grado impar son u y v.

Si se niegan ambos miembros, y tenemos en cuenta la equivalencia lgica entre una

proposicin condicional y su contra recproca, tenemos:
Si el nmero de vrtices de grado impar es distinto de 2, entonces G no tiene ningn
camino de Euler