外接半径をR、b=CAとする。CD=b cos C、∠OCD=90°−A、OC=Rより[OCD]=(1/2)Rb cos C cos A。同様にAF=b cos A、∠OAF=90°−Cから[OAF]も同じである。