Brahmagupta–Fibonacci identity (source code)

= Brahmagupta–Fibonacci identity
{wiki=Brahmagupta–Fibonacci_identity}