Sympyで簡単に平面幾何の問題をとく ref: http://qiita.com/konnyakmannan@github/items/b83cce4d2b0800516939