درستی وارون قضیهٔ فیثاغورس را میتوان اثبات کرد. برای هر سه عدد مثبت a و b و c که در عبارت a۲ + b۲ = c۲ صدق کنند؛ میتوان مثلثی پیدا کرد با طول ضلعهای a و b و c که حتماً دارای زاویهای راست (۹۰ درجه) میان ضلعهای a و b است. چنین اعدادی را اعداد فیثاغورسی مینامند.