rational triangle