Pada abad ke-7, teorema Brahmagupta menentukan bahwa AF=FD .