>>677
CTの長さを求める
ATとBTの比が出る
△ATBは直角三角形