>>15
内接円の存在を用いてブラマグプタをもうちょい簡略化しようという目論見だよ