>>731
角度が与えられているので，ジオソﾀﾝのいうとおり
複素数平面に置き換えて解いた方が楽だと思いますＹＯ．
線分の長さのみで処理すると，さまざまな場合わけが生じるので
計算が煩雑になると思います。直角三角形であるから，Cを中心とした
回転でA(またはB)を動かしてB(またはA)に一致させてしまったほうが
（･∀･）ｲｲ!と思うんです。この場合，c≧0という条件で，線分AB
の「上方」にCが存在することもわかるので，場合わけも不要になります。