Zauważ, że
. Kolejną prawidłowością jest iloczyn tangensa alfa i tangensa kąta dopełniającego do
, czyli
. Konkludując, dowód kończymy równaniem
, czyli czymś prawdziwym – udowodniliśmy równanie.