Brahmagupta–Fibonacci_identity