Доказательство теоремы Пифагора в IX веке: Исторический обзор