解题思路：已知三角形的两点坐标和第三点的纵坐标，可以想到坐标公式法：S=1/2*|x1(y2-y3)+x2(y3-y1)+x3(y1-y2)|。通过化简可以知道x3=（±4-(x1y2-x2y1))/(y1-y2))。

（当y1=y2且|x1y2-x2y1|!=4时，无解）

解题代码：

alt