Partition of lattice into symmetric chains 
Let $C_1 \subsetneq C_2 \subsetneq C_3 \subsetneq \cdots \subsetneq C_k$ be a chain in the subset lattice $(2^{[n]},\subseteq)$. A chain is considered symmetric if $|C_1| + |C_k| = n$ and $|C_{i+1}| = |C_i| +1$ for all $i=1,2,\ldots,k-1$. 
  Show that the poset $2^{[n]}$ can be partitioned into $C\left(n,\lfloor n/2 \rfloor\right)$ pairwise disjoint symmetric chains.

 A: I will assume $n$ is even. The odd case is similar, but harder to write out explicitly.
First partition the subset lattice into the subsets $A_k$ containing subsets of $2^{n}$ of length $k$. Now, $|A_{n/2}| = {n \choose n/2}$ and it will be our goal to find a correspondence between symmetric pairwise disjoint chains and $A_{n/2}$.
We will use the following observation: given any element $\alpha \in A_{n/2}$ there is a bijection $\phi_{\alpha}$ between the proper subsets of $\alpha$ and proper supersets of $\alpha$. Therefore we can use the following "greedy" algorithm: pick an element $\alpha \in A_{n/2}$. Extend it to a chain as long as possible by picking the not-already-used elements from the lower levels $A_k$, $k < n/2$ and the corresponding (under $\phi_{\alpha}$) elements from the upper levels. Cross out these elements (so that we won't use them again and the constructed chains are pairwise disjoint). Continue in the same manner until all $n \choose n/2$ chains are constructed.
We only need to prove that this process doesn't stop early. But this is simple because the function $|A_k|$ is decreasing from $k=n/2$ to $k=0$, so that if there is nothing to choose from at level $j$ it is because all the elements of $A_j$ (and lower levels) and already crossed out.
Illustration of the algorithm for $n=4$. We denote the elements by $\{a,b,c,d\}$, so that  $A_2 = \{ab, ac, ad, bc, bc, cd\}$ (I am denoting subsets by concatenation to ease writing).
First we pick $ab$ and extend it to chain $C_0 = \emptyset \subset a \subset ab \subset abc \subset abcd$. Next we go to $ac$ and extend it to $C_1 = c \subset ac \subset acd$. Continuing in this manner we get $C_2 = d \subset ad \subset abd$, $C_3 = b \subset bc \subset bcd$, $C_4 = bd$ and $C_5 = cd$.
A: There is already one answer, so I will try to present a different approach and some intuition. The Hasse diagram of your lattice is $n$-dimensional hypercube. Your claim is equivalent to that this cube can be covered with $\binom{n}{n/2}$ disjoint (directed) paths.
Some thing to think of: if you were to create a largest family $\mathcal{F}$ of incomparable elements, then it would have size $\binom{n}{n/2}$, that is the family of all the sets of size $\frac{n}{2}$. 
$$\mathcal{F} = \Big\{ A \in 2^{[n]} \ \Big|\ \frac{n}{2} = |A| \Big\}.$$
Any two different are incomparable, because they have the same size. Moreover, any other set $A$ would have some comparable element in this family. If $|A| < n/2$ then there would be $B \in \mathcal{F}$ such that $A \subset B$ and if $|A| > n/2$ then there would be $B \in \mathcal{F}$ such that $B \subset A$. (Of course, this is not a proof that $\mathcal{F}$ is the biggest, only that $\mathcal{F}$ is maximal.)
Now, to create $\binom{n}{n/2}$ disjoint paths, we start with vertices corresponding to $\mathcal{F} = \mathcal{F}_{n/2}$ and work two ways: towards $\varnothing$ (with functions $f$) and towards $[n]$ (with functions $g$). Set
$$\mathcal{F}_k = \Big\{ A \in 2^{[n]} \ \Big|\ k = |A| \Big\}.$$
For $k \leq \frac{n}{2}$ let $f_{k} : \mathcal{F}_{k-1} \to \mathcal{F}_{k}$ be any injection such that $A \subset f(A)$, similarly, for $k \geq \frac{n}{2}$ let $g_{k} : \mathcal{F}_{k+1} \to \mathcal{F}_{k}$ be any injection such that $g(A) \subset A$. The proof that such functions exist is easy, quite natural and tedious, so I will skip it here.
To create a path, pick any vertex $A \in 2^{[n]}$ such that $|A| < \frac{n}{2}$ and follow $$A,\ \ f_{|A|}(A),\ \ f_{|A|+1}(f_{|A|}(A)),\ \ f_{|A|+2}(f_{|A|+1}(f_{|A|}(A))),\ \ldots,$$ or pick $B \in 2^{[n]}$ with $|B| > \frac{n}{2}$ and follow $B, g(B), g(g(B)), \ldots$, until you reach $\mathcal{F}$. Any vertex $A$ or $B$ is covered because it belongs to $\mathcal{F}_{|A|}$ or $\mathcal{F}_{|B|}$, and $f$ and $g$ are injective, therefore, the resulting paths are disjoint. Moreover, any vertex is connected via some path to an element of $\mathcal{F}$, but $|\mathcal{F}| = \binom{n}{n/2}$, hence, there are at most $\binom{n}{n/2}$ paths total. Finally, each element of $\mathcal{F}$ creates one path (possibly $1$-vertex, $0$-edges path, but still), so there are exactly $\binom{n}{n/2}$ paths and this concludes the proof.
I hope this helps ;-)
A: The problem is made easy with the following Lemma. Call a ranked poset $P$ a symmetric chain order if it can be partitioned into symmetric chains $x_1\le x_2\le \dots\le x_k$, where $\text{rank } x_1+\text{rank }x_k=\text{rank }P$ and $\text{rank }x_{i+1}=\text{rank }x_i+1$.

Lemma: If $P$ and $Q$ are symmetric chain orders, then so is $P\times Q$.

The result follows since $2^{[n]}=2^{[1]}\times 2^{[1]}\times\dots\times 2^{[1]}$, and $2^{[1]}$ is a single symmetric chain.
Proof of Lemma: Write $P=\bigcup_n C_n $ and $Q=\bigcup_{n} D_n$ as disjoint unions of symmetric chains. Then 
$$
P\times Q=\bigcup_{n,m} C_n\times D_m
$$
so we need only show how to write a product of chains $C_n\times D_m$ as a disjoint union of symmetric chains. This is best proven with a picture:

Image source: 
http://www.hewwolff.org/GoogleProof/proof.html. 
