Możemy uzasadnić, że w ostrosłupie prawidłowym czworokątnym krawędź boczna jest dłuższa niż połowa przekątnej podstawy, obserwując, że gdyby krawędź boczna miała długość równą połowie przekątnej