正三角形長方形定理

数学ネタです。
名前のない定理のようなので名前をつけました。
それがタイトルになってます。

定理　図で△ABC が正三角形、◻︎ADEFが長方形の時、△ABD＋△ACF＝△BCE

上図が証明の図です。BE＝EJ、AJ垂直CL、その他の説明は省きます。
数学好きな人なら見ただけで方針は分かると思います。

この証明が完成した後、もっと美しい証明が4つ完成しましたが、それは現時点で非公開です。
ちなみに今も研究中です。