適当に図を描いてたら発見したのだが、あまり簡明な証明が思いつかない。「二等辺三角形ABC（AB=AC)のACを１辺として外側に正三角形DACを描く。このとき、角DBCは３０°。」