Nasir al-Din al-Tusi
ウォリスはピタゴラスの定理を相似な三角形を使って証明したとされている。しかし、アラビアの数学者サービト・イブン＝クッラ（901年没）が6世紀前にピタゴラスの定理のあらゆる三角形への一般化を行っていた。ウォリスがサービトの業績を知っていた可能性は高い。ウォリスはナスィールッディーン・トゥースィーの息子 Sadr al-Tusi の業績、特に平行線公準も知っていた。ウォリスは平行線公準についても後に考察を残している。