Math: Geometry Problem 1010: Regular Nonagon or Enneagon, Diagonals, Metric Relations. Level: School, College.

In a regular nonagon or enneagon ABCDEFGHI, AE and CD extended meet at J, AE and DH meet at K. Prove that
AJ.AK - DJ.DK = AG²