If $G$ is an Eulerian graph with edges $a$, $b$ sharing a vertex $v$, is it true that $G$ has an Eulerian trail in which $a$, $b$ are consecutive? Give a proof if it's true,and provide a counterexample if it's false
My intuition is that this is true and I tried to prove it by contradiction.
Assume if $G$ is an Eulerian graph with edges $a$, $b$ sharing a vertex $v$, the $G$ does not have an Eulerian trail in which $a$, $b$ are consecutive.
I don't really know how to proceed next. A property of Eulerian graph is that all the vertices have even degree. Can I use this to proceed with the proof? Thanks for any help.
As Ofir says, this is not true. A good way to try to approach this problem would be to say that $G$ has an Euler trail in using the edges $xy$ and $yz$ consecutively if and only if there is a trail in $G-\{xy,yz\}$ which starts at $x$ and finishes at $z$, and covers all the edges. Such a trail exists if and only if $G-\{xy,yz\}$ has $d(x),d(z)$ odd and all other degrees even, and is connected. The first condition will always hold ($G$ has all degrees even, and by removing those two edges we change $d(x),d(z)$ by $1$ and $d(y)$ by $2$), but the second condition need not hold, and Ofir gives an example where it doesn't.
So what you can say is that $G$ has an Euler trail in using the edges $xy$ and $yz$ consecutively if and only if removing those two edges leaves a connected graph.