Allen Chou says to YSITD https://www.quora.com/What-is-the-area-of-the-shaded-region-of-this-triangle