Let $H$ and $K$ be the partite sets of the bipartition of $G-u$. Let $w$ be a vertex different from both $u$ and $v$; without loss of generality we may assume that $w\in H$. Now remember that $v$ was a cut vertex of $G$, so that $G-v$ has at least two components. Let $C$ be the component of $G-v$ that contains $w$.
Suppose that $x$ is a vertex of $G-v$ that is not in $C$. Then there is no edge between $w$ and $x$ in $G-v$, since there are no edges between different components of $G-v$. This means that there is no edge between $w$ and $x$ in $G$, since removing $v$ from $G$ would not have affected such an edge. $H$ and $K$ are the partite sets of a spanning biclique for $G-u$, so if $x$ were in $K$, $G-u$ would have an edge between $w$ and $x$, and hence so would $G$. We just saw that this is not the case, so $x$ cannot be in $K$ and must therefore be in $H$. This shows that every vertex of $G-v$ that is not in $w$’s component $C$ of $G-v$ must belong to the partite set $H$, the one that contains $w$.
Now what about a vertex $x$ of $G-v$ that is in $C$ (but isn’t $w$)? Let $y$ be any vertex of $G-v$ that is not in $C$. There is no edge in $G-v$ between $x$ and $y$, since they are in different components, and since neither of them is $v$, there is no edge between them in $G$, either. But then there is no edge between them in $G-u$, which means that they must be in the same partite set of the spanning biclique. We just showed that $y$ is in $H$, so $x$ is also in $H$.
We have now shown that every vertex of $G-u$ that is also in $G-v$ must belong to $H$, the same partite set that contains $w$. On the other hand, $K\ne\varnothing$. The only vertex of $G-u$ that isn’t in $G-v$ is $v$ itself, so $v$ must be the one vertex in $K$: $K=\{v\}$, which implies that $v$ is adjacent to every vertex in $H$. $H$ contains every vertex of $G-u$ except $v$, so $|H|=n-2$, and therefore $\deg_Gv\ge n-2$. But then
$$\deg_{G'}v=(n-1)-\deg_Gv\le(n-1)-(n-2)=1\;:$$
$v$ has degree at most $1$ in $G'$. Since $G$ is self-conjugate, $G$ also has some vertex of degree at most $1$.
Finally, if $\deg_{G'}v$ were $0$, $G$ would also have a vertex of degree $0$, so neither $G$ nor $G'$ would be connected. This, however, is impossible: for any graph $G$, at least one of $G$ and $G'$ is connected. Thus, $\deg_{G'}v=1$, and $G$ also has a vertex of degree $1$.
Let $\varphi$ be the isomorfism $\varphi: G\rightarrow \overline G$ and let $\theta$ be the isomorphism $\theta:H\rightarrow \overline H$.
Consider the function $\sigma: F\rightarrow \overline F: f(v)=\left\{
\begin{array}{ll}
\varphi(v) & v\in G \\
\theta(v) & v\in H
\end{array}\right
.$
We have to show that $\sigma(uv)$ is not an edge of $F$ if and only if $uv$ is not an edge of $F$ ( this would prove $\sigma$ is an isomorphism).
We clearly only need to check the case $u\in G$ and $v\in H$.
Notice that $d(\theta(v))$=n-d(v)-1$ for all $v\in H$. So we have:
$uv\in F \iff d(v)<n/2\iff n/2<n-d(v)\iff n/2\leq n-d(v)-1=d(\theta(v))\iff \varphi(u)\theta(v)\not\in F\iff \sigma(uv)\not \in F$
Best Answer
For any $n\in\mathbb N,$ here's how you can construct a self-complementary graph of diameter $2$ and order $4n+1.$
Choose a graph $G$ of order $n.$
Start with a $C_5$ graph, with vertices $A,B,C,D,E$ and edges $AB,BC,CD,DE,EA.$
Replace each of the vertices $B$ and $E$ with a copy of $G,$ and replace each of the vertices $C$ and $D$ with a copy of the complementary graph $\overline G.$
More precisely: The graph has vertex set $A\cup B\cup C\cup D\cup E$ where $A,B,C,D,E$ are disjoint sets and $|A|=1$ and $|B|=|C|=|D|=|E|=n.$ The induced subgraphs on $B$ and $E$ are isomorphic to $G,$ the induced subgraphs on $C$ and $D$ are isomorphic to $\overline G.$ There are edges joining all vertices in $A$ to all vertices in $B,$ all vertices in $B$ to all vertices in $C,$ all vertices in $C$ to all vertices in $D,$ all vertices in $D$ to all vertices in $E,$ and all vertices in $E$ to all vertices in $A.$ On the other hand, there are no edges between $A$ and $C,$ or between $C$ and $E,$ or between $E$ and $B,$ or between $B$ and $D,$ or between $D$ and $A.$
In other words: Just use the most obvious construction of a self-complementary graph of order $4n+1.$
Example: For $G=K_2$ it looks like