The eleven postulates are sufficient to prove 3.11.
Lemma 1 A line and a point not on it, two different lines in a plane, or two parallel lines define a plane.
Two points on a line and a point not on it define a plane by #7. If two lines are different there's a point on the second that's not on the first (by #6), so by the first part they define a plane. By definition two parallel lines are different lines in a plane so define it by the second part.
Lemma 2 If $a,b,t$ are different coplanar lines and $a$ is parallel to $b$ and $t$ is not parallel to $a$ then $t$ is a transversal of $a$ and $b$.
By definition $t$ intersects $a$ so call the point of intersection $A$ defining an angle $\angle at\ne 0$ (by #3). Let $S$ be a point on $b$ then $SA$ defines a line $s$ (by #6) which is a transversal of $a$ and $b$ (by definition). Then $s$ cuts off angles $\angle sb=\angle sa$ (by #10) and $\angle st\ne \angle sa$ (by #4 because they are coincident), so $t$ is not parallel to $b$ by $\angle st\ne \angle sb$ and #10, and is a transversal (by definition).
Proposition If $a,b,c$ are different lines with $a$ parallel to $b$ and $b$ parallel to $c$ then $a$ is parallel to $c$.
If the lines are coplanar then let $t$ be a line intersecting $b$, then applying Lemma 2 twice it is a common traversal of $a,b,c$. By #10 $\angle ta=\angle tb=\angle tc$ and by #11 $a$ is parallel to $c$.
If the lines are not coplanar, then let $C$ be a point on $c$. By Lemma 1 $a$ and $b$ are in a plane $\pi_1$, $b$ and $c$ are in a different plane $\pi_2$, and $a$ and $C$ are in a plane $\pi_3$. By #9 $\pi_2$ and $\pi_3$ intersect in a line $l$ that contains $C$.
$l$ cannot intersect $b$ in any point $B$, otherwise $a$ and $B$ are in both $\pi_1$ and $\pi_3$, so $\pi_1\equiv\pi_3$ by Lemma 1, $b\equiv \pi_1\cap\pi_2\equiv\pi_3\cap\pi_2\equiv l$ which would require $C$ to be on $b$, contradicting that $b$ and $c$ are parallel. So $l$ does not intersect $b$ but it intersects $c$ at $C$. Since $b,c,l$ are coplanar in $\pi_2$, by Lemma 2 they cannot all be different, so $l\equiv c$.
$l$ cannot intersect $a$ in any point $A$, otherwise $b$ and $A$ are in both $\pi_1$ and $\pi_2$, so $\pi_1\equiv\pi_2$ by Lemma 1, contradicting that $a,b,c$ are not coplanar. Since $l\equiv c$ and $a$ are both in $\pi_3$ and do not intersect it follows that $a$ is parallel to $c$.
Instead of taking $x,y$ as the variables to solve for, write $(x,y)$ $= (x_1,y_1)+t(x_2-x_1,y_2-y_1) $ $= (x_3,y_3)+u(x_4-x_3,y_4-y_3)$ and solve for $t$ and $u$. Then it doesn't matter a bit whether your line segments are horizontal or vertical or whatever, and you can check for being within the segments just by looking at whether $0 < t < 1$ and $0 < u < 1$.
Note that if the line segments are parallel you'll get zero in your denominator, and if they're almost parallel you'll get something very small there; you may want to take care about that unless something in your setup guarantees that the line segments aren't close to being parallel.
Best Answer
By locating your coordinate axes with origin at B and the x-axis pointing along BC, you can assume that B has coordinates (0,0) and C had coordinates (c,0) for some c and A has coordinates (a,h) for some a and h.
Then the midpoint of BA is (a/2, h/2) and the midpoint of CA is ( (a+c)/2, h/2 ). The line joining these two points then has slope zero, which is the same as the slope of BC.