diofantiske trekanter